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


crypto/modes/ctr128.c:216:4: <LHS trace>
214.   		 */
215.   		if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
216.   			blocks = (1U<<28);
          ^
217.   		/*
218.   		 * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:216:4: Assignment
214.   		 */
215.   		if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
216.   			blocks = (1U<<28);
          ^
217.   		/*
218.   		 * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:216:4: <RHS trace>
214.   		 */
215.   		if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
216.   			blocks = (1U<<28);
          ^
217.   		/*
218.   		 * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:216:4: Assignment
214.   		 */
215.   		if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
216.   			blocks = (1U<<28);
          ^
217.   		/*
218.   		 * As (*func) operates on 32-bit counter, caller

crypto/modes/ctr128.c:225:4: Binary operation: ([1, 268435456] - [-oo, 268435455]):unsigned64
223.   		ctr32 += (u32)blocks;
224.   		if (ctr32 < blocks) {
225.   			blocks -= ctr32;
          ^
226.   			ctr32   = 0;
227.   		}
