crypto/rand/md_rand.c:198: error: INTEGER_OVERFLOW_L2
  ([1, 16] - [-oo, 127]):unsigned64 by call to `MD5_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:198:4: Call
196.   			}
197.   		else
198.   			MD_Update(&m,&(state[st_idx]),j);
          ^
199.   			
200.   		MD_Update(&m,buf,j);

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, 16] - [-oo, 127]):unsigned64 by call to `MD5_Update` 
  131.   				p[sw]=l;
  132.   				}
  133.   			len-=(MD5_CBLOCK-c->num);
            ^
  134.   
  135.   			md5_block(c,p,64);
