crypto/evp/e_chacha20_poly1305.c:145: error: INTEGER_OVERFLOW_L2
  ([1, 17179869184] - [1, 64]):unsigned64 by call to `ChaCha20_ctr32`.
Showing all 8 steps of the trace


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:144:9: Assignment
142.               ctr32 = 0;
143.           }
144.           blocks *= CHACHA_BLK_SIZE;
               ^
145.           ChaCha20_ctr32(out, inp, blocks, key->key.d, key->counter);
146.           len -= blocks;

crypto/evp/e_chacha20_poly1305.c:145:9: Call
143.           }
144.           blocks *= CHACHA_BLK_SIZE;
145.           ChaCha20_ctr32(out, inp, blocks, key->key.d, key->counter);
               ^
146.           len -= blocks;
147.           inp += blocks;

crypto/chacha/chacha_enc.c:112:1: <LHS trace>
110.   }
111.   
112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
113.                       size_t len, const unsigned int key[8],
114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:112:1: Parameter `len`
  110.   }
  111.   
  112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
  113.                       size_t len, const unsigned int key[8],
  114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:112:1: <RHS trace>
110.   }
111.   
112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
113.                       size_t len, const unsigned int key[8],
114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:112:1: Parameter `len`
  110.   }
  111.   
  112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
  113.                       size_t len, const unsigned int key[8],
  114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:151:9: Binary operation: ([1, 17179869184] - [1, 64]):unsigned64 by call to `ChaCha20_ctr32` 
  149.           out += todo;
  150.           inp += todo;
  151.           len -= todo;
                 ^
  152.   
  153.           /* advance counter */
