crypto/evp/e_chacha20_poly1305.c:141: error: INTEGER_OVERFLOW_L2
  ([2, 268435456] - [1, 268435455]):unsigned64.
Showing all 5 steps of the trace


crypto/evp/e_chacha20_poly1305.c:131:13: <LHS trace>
129.            */
130.           if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
131.               blocks = (1U<<28);
                   ^
132.   
133.           /*

crypto/evp/e_chacha20_poly1305.c:131:13: Assignment
129.            */
130.           if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
131.               blocks = (1U<<28);
                   ^
132.   
133.           /*

crypto/evp/e_chacha20_poly1305.c:131:13: <RHS trace>
129.            */
130.           if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
131.               blocks = (1U<<28);
                   ^
132.   
133.           /*

crypto/evp/e_chacha20_poly1305.c:131:13: Assignment
129.            */
130.           if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
131.               blocks = (1U<<28);
                   ^
132.   
133.           /*

crypto/evp/e_chacha20_poly1305.c:141:13: Binary operation: ([2, 268435456] - [1, 268435455]):unsigned64
139.           ctr32 += (unsigned int)blocks;
140.           if (ctr32 < blocks) {
141.               blocks -= ctr32;
                   ^
142.               ctr32 = 0;
143.           }
