Help the compiler prove that a loop is entered

fanquake · Jun 25, 2023 · 8a72734 · 8a72734
1 parent fd491ea
commit 8a72734
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/ecmult_gen_compute_table_impl.h b/src/ecmult_gen_compute_table_impl.h
@@ -22,6 +22,9 @@ static void secp256k1_ecmult_gen_compute_table(secp256k1_ge_storage* table, cons
  secp256k1_gej nums_gej;
  int i, j;
 
+ VERIFY_CHECK(g > 0);
+ VERIFY_CHECK(n > 0);
+
  /* get the generator */
  secp256k1_gej_set_ge(&gj, gen);