crypto/modes/gcm128.c:277: error: INTEGER_OVERFLOW_L2
  (0 - [0, 1]):unsigned64.
Showing all 5 steps of the trace


crypto/modes/gcm128.c:235:1: <RHS trace>
233.   #elif	TABLE_BITS==4
234.   
235. > static void gcm_init_4bit(u128 Htable[16], u64 H[2])
236.   {
237.   	u128 V;

crypto/modes/gcm128.c:235:1: Parameter `*H`
233.   #elif	TABLE_BITS==4
234.   
235. > static void gcm_init_4bit(u128 Htable[16], u64 H[2])
236.   {
237.   	u128 V;

crypto/modes/gcm128.c:256:2: Assignment
254.   	Htable[0].hi = 0;
255.   	Htable[0].lo = 0;
256.   	V.hi = H[0];
        ^
257.   	V.lo = H[1];
258.   

crypto/modes/gcm128.c:275:2: Assignment
273.   #else
274.   	Htable[8] = V;
275.   	REDUCE(V);
        ^
276.   	Htable[4] = V;
277.   	REDUCE(V);

crypto/modes/gcm128.c:277:2: Binary operation: (0 - [0, 1]):unsigned64
275.   	REDUCE(V);
276.   	Htable[4] = V;
277.   	REDUCE(V);
        ^
278.   	Htable[2] = V;
279.   	REDUCE(V);
