crypto/aes/aes_cbc.c:74: error: INTEGER_OVERFLOW_L2
  ([1, `length`] - 16):unsigned64.
Showing all 4 steps of the trace


crypto/aes/aes_cbc.c:56:1: <LHS trace>
54.   #include "aes_locl.h"
55.   
56. > void AES_cbc_encrypt(const unsigned char *in, unsigned char *out,
57.   		     const unsigned long length, const AES_KEY *key,
58.   		     unsigned char *ivec, const int enc) {

crypto/aes/aes_cbc.c:56:1: Parameter `length`
54.   #include "aes_locl.h"
55.   
56. > void AES_cbc_encrypt(const unsigned char *in, unsigned char *out,
57.   		     const unsigned long length, const AES_KEY *key,
58.   		     unsigned char *ivec, const int enc) {

crypto/aes/aes_cbc.c:61:2: Assignment
59.   
60.   	int n;
61.   	unsigned long len = length;
       ^
62.   	unsigned char tmp[16];
63.   

crypto/aes/aes_cbc.c:74:4: Binary operation: ([1, length] - 16):unsigned64
72.   			AES_encrypt(tmp, out, key);
73.   			memcpy(ivec, out, 16);
74.   			len -= 16;
         ^
75.   			in += 16;
76.   			out += 16;
