crypto/modes/gcm128.c:819: 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:819:3: Call
817.   		ctx->ghash = gcm_ghash_p8;
818.   	} else {
819.   		gcm_init_4bit(ctx->Htable,ctx->H.u);
         ^
820.   		ctx->gmult = gcm_gmult_4bit;
821.   		ctx->ghash = gcm_ghash_4bit;

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

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

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

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