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


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

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

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

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

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

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