crypto/idea/i_cbc.c:149: error: INTEGER_OVERFLOW_L2
  ([-min(65535, `*d`), 0] - `key->data[*][*]`):unsigned32.
Showing all 7 steps of the trace


crypto/idea/i_cbc.c:137:1: <LHS trace>
135.   }
136.   
137. > void IDEA_encrypt(unsigned long *d, IDEA_KEY_SCHEDULE *key)
138.   {
139.       register IDEA_INT *p;

crypto/idea/i_cbc.c:137:1: Parameter `*d`
135.   }
136.   
137. > void IDEA_encrypt(unsigned long *d, IDEA_KEY_SCHEDULE *key)
138.   {
139.       register IDEA_INT *p;

crypto/idea/i_cbc.c:144:5: Assignment
142.       x2 = d[0];
143.       x1 = (x2 >> 16);
144.       x4 = d[1];
           ^
145.       x3 = (x4 >> 16);
146.   

crypto/idea/i_cbc.c:149:5: Assignment
147.       p = &(key->data[0][0]);
148.   
149.       E_IDEA(0);
           ^
150.       E_IDEA(1);
151.       E_IDEA(2);

crypto/idea/i_cbc.c:137:1: <RHS trace>
135.   }
136.   
137. > void IDEA_encrypt(unsigned long *d, IDEA_KEY_SCHEDULE *key)
138.   {
139.       register IDEA_INT *p;

crypto/idea/i_cbc.c:137:1: Parameter `key->data[*][*]`
135.   }
136.   
137. > void IDEA_encrypt(unsigned long *d, IDEA_KEY_SCHEDULE *key)
138.   {
139.       register IDEA_INT *p;

crypto/idea/i_cbc.c:149:5: Binary operation: ([-min(65535, *d), 0] - key->data[*][*]):unsigned32
147.       p = &(key->data[0][0]);
148.   
149.       E_IDEA(0);
           ^
150.       E_IDEA(1);
151.       E_IDEA(2);
