crypto/modes/gcm128.c:864: 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:864:9: Call
862.           CTX__GHASH(gcm_ghash_p8);
863.       } else {
864.           gcm_init_4bit(ctx->Htable, ctx->H.u);
               ^
865.           ctx->gmult = gcm_gmult_4bit;
866.           CTX__GHASH(gcm_ghash_4bit);

crypto/modes/gcm128.c:263:1: <RHS trace>
261.   #elif   TABLE_BITS==4
262.   
263. > static void gcm_init_4bit(u128 Htable[16], u64 H[2])
264.   {
265.       u128 V;

crypto/modes/gcm128.c:263:1: Parameter `*H`
  261.   #elif   TABLE_BITS==4
  262.   
  263. > static void gcm_init_4bit(u128 Htable[16], u64 H[2])
  264.   {
  265.       u128 V;

crypto/modes/gcm128.c:273:5: Assignment
  271.       Htable[0].lo = 0;
  272.       V.hi = H[0];
  273.       V.lo = H[1];
             ^
  274.   
  275.   # if defined(OPENSSL_SMALL_FOOTPRINT)

crypto/modes/gcm128.c:291:5: Binary operation: (0 - [0, 1]):unsigned64 by call to `gcm_init_4bit` 
  289.   # else
  290.       Htable[8] = V;
  291.       REDUCE1BIT(V);
             ^
  292.       Htable[4] = V;
  293.       REDUCE1BIT(V);
