ssl/s3_enc.c:108: error: INTEGER_OVERFLOW_L2
  (32 - [-oo, 253]):unsigned64 by call to `SHA1_Update`.
Showing all 14 steps of the trace


ssl/s3_enc.c:103:3: Call
101.   			buf[j]=c;
102.   		c++;
103.   		SHA1_Init(  &s1);
         ^
104.   		SHA1_Update(&s1,buf,k);
105.   		SHA1_Update(&s1,s->session->master_key,

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

ssl/s3_enc.c:104:3: Call
102.   		c++;
103.   		SHA1_Init(  &s1);
104.   		SHA1_Update(&s1,buf,k);
         ^
105.   		SHA1_Update(&s1,s->session->master_key,
106.   			s->session->master_key_length);

crypto/sha/sha1dgst.c:117:1: Parameter `c->num`
  115.   	}
  116.   
  117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

ssl/s3_enc.c:105:3: Call
103.   		SHA1_Init(  &s1);
104.   		SHA1_Update(&s1,buf,k);
105.   		SHA1_Update(&s1,s->session->master_key,
         ^
106.   			s->session->master_key_length);
107.   		SHA1_Update(&s1,s->s3->server_random,SSL3_RANDOM_SIZE);

crypto/sha/sha1dgst.c:117:1: Parameter `c->num`
  115.   	}
  116.   
  117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

ssl/s3_enc.c:107:3: Call
105.   		SHA1_Update(&s1,s->session->master_key,
106.   			s->session->master_key_length);
107.   		SHA1_Update(&s1,s->s3->server_random,SSL3_RANDOM_SIZE);
         ^
108.   		SHA1_Update(&s1,s->s3->client_random,SSL3_RANDOM_SIZE);
109.   		SHA1_Final( smd,&s1);

crypto/sha/sha1dgst.c:117:1: Parameter `c->num`
  115.   	}
  116.   
  117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

ssl/s3_enc.c:108:3: Call
106.   			s->session->master_key_length);
107.   		SHA1_Update(&s1,s->s3->server_random,SSL3_RANDOM_SIZE);
108.   		SHA1_Update(&s1,s->s3->client_random,SSL3_RANDOM_SIZE);
         ^
109.   		SHA1_Final( smd,&s1);
110.   

crypto/sha/sha1dgst.c:117:1: <LHS trace>
115.   	}
116.   
117. > void SHA1_Update(SHA_CTX *c, const register 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, const register 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, const register 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, const register unsigned char *data,
  118.   	     unsigned long len)
  119.   	{

crypto/sha/sha1dgst.c:148:4: Binary operation: (32 - [-oo, 253]):unsigned64 by call to `SHA1_Update` 
  146.   				p[sw]=l;
  147.   				}
  148.   			len-=(SHA_CBLOCK-c->num);
            ^
  149.   
  150.   			sha1_block(c,p,64);
