crypto/modes/gcm128.c:596: error: INTEGER_OVERFLOW_L2
  (0 - [0, 1]):unsigned64 by call to `gcm_init_4bit`.
Showing all 5 steps of the trace


crypto/modes/gcm128.c:596:2: Call
594.   	gcm_init_8bit(ctx->Htable,ctx->H.u);
595.   #elif	TABLE_BITS==4
596.   	gcm_init_4bit(ctx->Htable,ctx->H.u);
        ^
597.   #endif
598.   }

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:257:2: Assignment
  255.   	Htable[0].lo = 0;
  256.   	V.hi = H[0];
  257.   	V.lo = H[1];
          ^
  258.   
  259.   #if defined(OPENSSL_SMALL_FOOTPRINT)

crypto/modes/gcm128.c:275:2: Binary operation: (0 - [0, 1]):unsigned64 by call to `gcm_init_4bit` 
  273.   #else
  274.   	Htable[8] = V;
  275.   	REDUCE(V);
          ^
  276.   	Htable[4] = V;
  277.   	REDUCE(V);
