ssl/s3_srvr.c:2927: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `EVP_EncryptUpdate`.
Showing all 4 steps of the trace


ssl/s3_srvr.c:2927:3: Call
2925.   		p += EVP_CIPHER_CTX_iv_length(&ctx);
2926.   		/* Encrypt session data */
2927.   		EVP_EncryptUpdate(&ctx, p, &len, senc, slen);
          ^
2928.   		p += len;
2929.   		EVP_EncryptFinal(&ctx, p, &len);

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)
