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


crypto/modes/gcm128.c:258:1: <RHS trace>
256.   #elif	TABLE_BITS==4
257.   
258. > static void gcm_init_4bit(u128 Htable[16], u64 H[2])
259.   {
260.   	u128 V;

crypto/modes/gcm128.c:258:1: Parameter `*H`
256.   #elif	TABLE_BITS==4
257.   
258. > static void gcm_init_4bit(u128 Htable[16], u64 H[2])
259.   {
260.   	u128 V;

crypto/modes/gcm128.c:267:2: Assignment
265.   	Htable[0].hi = 0;
266.   	Htable[0].lo = 0;
267.   	V.hi = H[0];
        ^
268.   	V.lo = H[1];
269.   

crypto/modes/gcm128.c:286:2: Assignment
284.   #else
285.   	Htable[8] = V;
286.   	REDUCE1BIT(V);
        ^
287.   	Htable[4] = V;
288.   	REDUCE1BIT(V);

crypto/modes/gcm128.c:288:2: Binary operation: (0 - [0, 1]):unsigned64
286.   	REDUCE1BIT(V);
287.   	Htable[4] = V;
288.   	REDUCE1BIT(V);
        ^
289.   	Htable[2] = V;
290.   	REDUCE1BIT(V);
