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


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

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

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

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

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

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

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