crypto/rsa/rsa_pss.c:203: error: INTEGER_OVERFLOW_L2
  ([-4-max(18446744073709551615, `Hash->md_size`), +oo] - 2):signed32.
Showing all 6 steps of the trace


crypto/rsa/rsa_pss.c:169:1: <LHS trace>
167.   	}
168.   
169. > int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM,
170.   			const unsigned char *mHash,
171.   			const EVP_MD *Hash, int sLen)

crypto/rsa/rsa_pss.c:169:1: Parameter `Hash->md_size`
167.   	}
168.   
169. > int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM,
170.   			const unsigned char *mHash,
171.   			const EVP_MD *Hash, int sLen)

crypto/rsa/rsa_pss.c:179:9: Call
177.   	EVP_MD_CTX ctx;
178.   
179.   	hLen = EVP_MD_size(Hash);
               ^
180.   	/*
181.   	 * Negative sLen has special meanings:

crypto/evp/evp_lib.c:260:3: Assignment
  258.   	{
  259.   	if (!md)
  260.   		return -1;
           ^
  261.   	return md->md_size;
  262.   	}

crypto/rsa/rsa_pss.c:179:2: Assignment
177.   	EVP_MD_CTX ctx;
178.   
179.   	hLen = EVP_MD_size(Hash);
        ^
180.   	/*
181.   	 * Negative sLen has special meanings:

crypto/rsa/rsa_pss.c:203:3: Binary operation: ([-4-max(18446744073709551615, Hash->md_size), +oo] - 2):signed32
201.   	if (sLen == -2)
202.   		{
203.   		sLen = emLen - hLen - 2;
         ^
204.   		}
205.   	else if (emLen < (hLen + sLen + 2))
