crypto/modes/gcm128.c:645: 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:645:2: Call
643.   #  endif
644.   # else
645.   	gcm_init_4bit(ctx->Htable,ctx->H.u);
        ^
646.   # endif
647.   #endif

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:268:2: Assignment
  266.   	Htable[0].lo = 0;
  267.   	V.hi = H[0];
  268.   	V.lo = H[1];
          ^
  269.   
  270.   #if defined(OPENSSL_SMALL_FOOTPRINT)

crypto/modes/gcm128.c:286:2: Binary operation: (0 - [0, 1]):unsigned64 by call to `gcm_init_4bit` 
  284.   #else
  285.   	Htable[8] = V;
  286.   	REDUCE1BIT(V);
          ^
  287.   	Htable[4] = V;
  288.   	REDUCE1BIT(V);
