crypto/rand/md_rand.c:310: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [-oo, 316]):unsigned64 by call to `SHA1_Update`.
Showing all 9 steps of the trace


crypto/rand/md_rand.c:222:1: Global `state_index`
220.   	}
221.   
222. > static void ssleay_rand_bytes(unsigned char *buf, int num)
223.   	{
224.   	int i,j,k,st_num,st_idx;

crypto/rand/md_rand.c:288:2: Assignment
286.   		}
287.   
288.   	st_idx=state_index;
        ^
289.   	st_num=state_num;
290.   	state_index+=num;

crypto/rand/md_rand.c:306:3: Assignment
304.   		MD_Update(&m,buf,j); /* purify complains */
305.   #endif
306.   		k=(st_idx+j)-st_num;
         ^
307.   		if (k > 0)
308.   			{

crypto/rand/md_rand.c:310:4: Call
308.   			{
309.   			MD_Update(&m,&(state[st_idx]),j-k);
310.   			MD_Update(&m,&(state[0]),k);
          ^
311.   			}
312.   		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, +oo] - [-oo, 316]):unsigned64 by call to `SHA1_Update` 
  146.   				p[sw]=l;
  147.   				}
  148.   			len-=(SHA_CBLOCK-c->num);
            ^
  149.   
  150.   			sha1_block(c,p,1);
