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


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

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

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

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

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

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

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