crypto/rc2/rc2_cbc.c:203: error: INTEGER_OVERFLOW_L2
  ([-131070, 65535] - `key->data[*]`):unsigned32.
Showing all 6 steps of the trace


crypto/rc2/rc2_cbc.c:181:1: <LHS trace>
179.   	}
180.   
181. > void RC2_decrypt(unsigned long *d, RC2_KEY *key)
182.   	{
183.   	int i,n;

crypto/rc2/rc2_cbc.c:181:1: Parameter `key->data[*]`
179.   	}
180.   
181. > void RC2_decrypt(unsigned long *d, RC2_KEY *key)
182.   	{
183.   	int i,n;

crypto/rc2/rc2_cbc.c:205:3: Assignment
203.   		x3=(t-(x0& ~x2)-(x1&x2)- *(p0--))&0xffff;
204.   		t=((x2<<13)|(x2>>3))&0xffff;
205.   		x2=(t-(x3& ~x1)-(x0&x1)- *(p0--))&0xffff;
         ^
206.   		t=((x1<<14)|(x1>>2))&0xffff;
207.   		x1=(t-(x2& ~x0)-(x3&x0)- *(p0--))&0xffff;

crypto/rc2/rc2_cbc.c:181:1: <RHS trace>
179.   	}
180.   
181. > void RC2_decrypt(unsigned long *d, RC2_KEY *key)
182.   	{
183.   	int i,n;

crypto/rc2/rc2_cbc.c:181:1: Parameter `key->data[*]`
179.   	}
180.   
181. > void RC2_decrypt(unsigned long *d, RC2_KEY *key)
182.   	{
183.   	int i,n;

crypto/rc2/rc2_cbc.c:203:3: Binary operation: ([-131070, 65535] - key->data[*]):unsigned32
201.   		{
202.   		t=((x3<<11)|(x3>>5))&0xffff;
203.   		x3=(t-(x0& ~x2)-(x1&x2)- *(p0--))&0xffff;
         ^
204.   		t=((x2<<13)|(x2>>3))&0xffff;
205.   		x2=(t-(x3& ~x1)-(x0&x1)- *(p0--))&0xffff;
