crypto/rand/md_rand.c:194: error: INTEGER_OVERFLOW_L2
  ([1, 19] - [-oo, 127]):unsigned64 by call to `SHA1_Update`.
Showing all 8 steps of the trace


crypto/rand/md_rand.c:187:5: Assignment
185.   		{
186.   		j=(num-i);
187.   		j=(j > MD_DIGEST_LENGTH)?MD_DIGEST_LENGTH:j;
           ^
188.   
189.   		MD_Init(&m);

crypto/rand/md_rand.c:187:3: Assignment
185.   		{
186.   		j=(num-i);
187.   		j=(j > MD_DIGEST_LENGTH)?MD_DIGEST_LENGTH:j;
         ^
188.   
189.   		MD_Init(&m);

crypto/rand/md_rand.c:194:4: Call
192.   		if (k > 0)
193.   			{
194.   			MD_Update(&m,&(state[st_idx]),j-k);
          ^
195.   			MD_Update(&m,&(state[0]),k);
196.   			}

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

crypto/sha/sha1dgst.c:148:4: Binary operation: ([1, 19] - [-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,64);
