crypto/modes/gcm128.c:871: 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:871:9: Call
869.           ctx->ghash = gcm_ghash_p8;
870.       } else {
871.           gcm_init_4bit(ctx->Htable, ctx->H.u);
               ^
872.           ctx->gmult = gcm_gmult_4bit;
873.           ctx->ghash = gcm_ghash_4bit;

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

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

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

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