crypto/rand/md_rand.c:301: error: INTEGER_OVERFLOW_L1
  (10 - 64):unsigned64 by call to `SHA1_Update`.
Showing all 8 steps of the trace


crypto/rand/md_rand.c:300:3: Call
298.   		j=(num >= MD_DIGEST_LENGTH/2)?MD_DIGEST_LENGTH/2:num;
299.   		num-=j;
300.   		MD_Init(&m);
         ^
301.   		MD_Update(&m,&(md[MD_DIGEST_LENGTH/2]),MD_DIGEST_LENGTH/2);
302.   		MD_Update(&m,(unsigned char *)&(md_count[0]),sizeof(md_count));

crypto/sha/sha1dgst.c:114:2: Assignment
  112.   	c->Nl=0;
  113.   	c->Nh=0;
  114.   	c->num=0;
          ^
  115.   	}
  116.   

crypto/rand/md_rand.c:301:3: Call
299.   		num-=j;
300.   		MD_Init(&m);
301.   		MD_Update(&m,&(md[MD_DIGEST_LENGTH/2]),MD_DIGEST_LENGTH/2);
         ^
302.   		MD_Update(&m,(unsigned char *)&(md_count[0]),sizeof(md_count));
303.   #ifndef PURIFY

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