crypto/evp/evp_test.c:171: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `EVP_EncryptUpdate`.
Showing all 5 steps of the trace


crypto/evp/evp_test.c:136:1: Parameter `c->block_size`
134.   	}
135.   
136. > static void test1(const EVP_CIPHER *c,const unsigned char *key,int kn,
137.   		  const unsigned char *iv,int in,
138.   		  const unsigned char *plaintext,int pn,

crypto/evp/evp_test.c:171:6: Call
169.   	EVP_CIPHER_CTX_set_padding(&ctx,0);
170.   
171.   	if(!EVP_EncryptUpdate(&ctx,out,&outl,plaintext,pn))
            ^
172.   	    {
173.   	    fprintf(stderr,"Encrypt failed\n");

crypto/evp/evp_enc.c:278:1: <LHS trace>
276.   	}
277.   
278. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
279.   		      const unsigned char *in, size_t inl)
280.   	{

crypto/evp/evp_enc.c:278:1: Parameter `inl`
  276.   	}
  277.   
  278. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
  279.   		      const unsigned char *in, size_t inl)
  280.   	{

crypto/evp/evp_enc.c:329:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `EVP_EncryptUpdate` 
  327.   	else
  328.   		*outl = 0;
  329.   	i=inl&(bl-1);
          ^
  330.   	inl-=i;
  331.   	if (inl > 0)
