crypto/rsa/rsa_oaep.c:147: error: INTEGER_OVERFLOW_L2
  (4 - [-oo, 127]):unsigned64 by call to `SHA1_Update`.
Showing all 10 steps of the trace


crypto/rsa/rsa_oaep.c:145:2: Call
143.   	cnt[0] = (i >> 24) & 255, cnt[1] = (i >> 16) & 255,
144.   	  cnt[2] = (i >> 8) & 255, cnt[3] = i & 255;
145.   	SHA1_Init(&c);
        ^
146.   	SHA1_Update(&c, seed, seedlen);
147.   	SHA1_Update(&c, cnt, 4);

crypto/sha/sha1dgst.c:114:2: Assignment
  112.   	c->Nl=0;
  113.   	c->Nh=0;
  114.   	c->num=0;
          ^
  115.   	}
  116.   

crypto/rsa/rsa_oaep.c:146:2: Call
144.   	  cnt[2] = (i >> 8) & 255, cnt[3] = i & 255;
145.   	SHA1_Init(&c);
146.   	SHA1_Update(&c, seed, seedlen);
        ^
147.   	SHA1_Update(&c, cnt, 4);
148.   	if (outlen + SHA_DIGEST_LENGTH <= len)

crypto/sha/sha1dgst.c:117:1: Parameter `c->num`
  115.   	}
  116.   
  117. > void SHA1_Update(SHA_CTX *c, register const unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

crypto/rsa/rsa_oaep.c:147:2: Call
145.   	SHA1_Init(&c);
146.   	SHA1_Update(&c, seed, seedlen);
147.   	SHA1_Update(&c, cnt, 4);
        ^
148.   	if (outlen + SHA_DIGEST_LENGTH <= len)
149.   	    {

crypto/sha/sha1dgst.c:117:1: <LHS trace>
115.   	}
116.   
117. > void SHA1_Update(SHA_CTX *c, register const unsigned char *data,
118.   	     unsigned long len)
119.   	{

crypto/sha/sha1dgst.c:117:1: Parameter `len`
  115.   	}
  116.   
  117. > void SHA1_Update(SHA_CTX *c, register const unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

crypto/sha/sha1dgst.c:117:1: <RHS trace>
115.   	}
116.   
117. > void SHA1_Update(SHA_CTX *c, register const unsigned char *data,
118.   	     unsigned long len)
119.   	{

crypto/sha/sha1dgst.c:117:1: Parameter `len`
  115.   	}
  116.   
  117. > void SHA1_Update(SHA_CTX *c, register const unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

crypto/sha/sha1dgst.c:148:4: Binary operation: (4 - [-oo, 127]):unsigned64 by call to `SHA1_Update` 
  146.   				p[sw]=l;
  147.   				}
  148.   			len-=(SHA_CBLOCK-c->num);
            ^
  149.   
  150.   			sha1_block(c,p,1);
