crypto/modes/ctr128.c:242: error: INTEGER_OVERFLOW_L2
  ([1, 268435456] - [-oo, 268435455]):unsigned64.
Showing all 5 steps of the trace


crypto/modes/ctr128.c:233:13: <LHS trace>
231.            */
232.           if (sizeof(size_t) > sizeof(unsigned int) && blocks > (1U << 28))
233.               blocks = (1U << 28);
                   ^
234.           /*
235.            * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:233:13: Assignment
231.            */
232.           if (sizeof(size_t) > sizeof(unsigned int) && blocks > (1U << 28))
233.               blocks = (1U << 28);
                   ^
234.           /*
235.            * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:233:13: <RHS trace>
231.            */
232.           if (sizeof(size_t) > sizeof(unsigned int) && blocks > (1U << 28))
233.               blocks = (1U << 28);
                   ^
234.           /*
235.            * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:233:13: Assignment
231.            */
232.           if (sizeof(size_t) > sizeof(unsigned int) && blocks > (1U << 28))
233.               blocks = (1U << 28);
                   ^
234.           /*
235.            * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:242:13: Binary operation: ([1, 268435456] - [-oo, 268435455]):unsigned64
240.           ctr32 += (u32)blocks;
241.           if (ctr32 < blocks) {
242.               blocks -= ctr32;
                   ^
243.               ctr32 = 0;
244.           }
