crypto/rand/md_rand.c:197: error: INTEGER_OVERFLOW_L2
  ([1, -1003+max(1022, `state_index`)] - [-oo, 190]):unsigned64 by call to `SHA1_Update`.
Showing all 8 steps of the trace


crypto/rand/md_rand.c:214:5: Assignment
212.   			if (st_idx >= STATE_SIZE)
213.   				{
214.   				st_idx=0;
           ^
215.   				st_num=STATE_SIZE;
216.   				}

crypto/rand/md_rand.c:193:3: Assignment
191.   		MD_Init(&m);
192.   		MD_Update(&m,md,MD_DIGEST_LENGTH);
193.   		k=(st_idx+j)-STATE_SIZE;
         ^
194.   		if (k > 0)
195.   			{

crypto/rand/md_rand.c:197:4: Call
195.   			{
196.   			MD_Update(&m,&(state[st_idx]),j-k);
197.   			MD_Update(&m,&(state[0]),k);
          ^
198.   			}
199.   		else

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: ([1, -1003+max(1022, state_index)] - [-oo, 190]):unsigned64 by call to `SHA1_Update` 
  146.   				p[sw]=l;
  147.   				}
  148.   			len-=(SHA_CBLOCK-c->num);
            ^
  149.   
  150.   			sha1_block(c,p,1);
