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


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

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

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

crypto/md5/md5_dgst.c:100:1: <LHS trace>
98.   	}
99.   
100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
101.   	{
102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:100:1: Parameter `len`
  98.   	}
  99.   
  100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
  101.   	{
  102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:100:1: <RHS trace>
98.   	}
99.   
100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
101.   	{
102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:100:1: Parameter `len`
  98.   	}
  99.   
  100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
  101.   	{
  102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:133:4: Binary operation: ([1, -1007+max(1022, state_index)] - [-oo, 190]):unsigned64 by call to `MD5_Update` 
  131.   				p[sw]=l;
  132.   				}
  133.   			len-=(MD5_CBLOCK-c->num);
            ^
  134.   
  135.   			md5_block(c,p,64);
