eccdata: More asserts in ecc_pippenger_precompute.

diff --git a/eccdata.c b/eccdata.c
index d67ca0df9229b136dc3236c2319a1ea9eaf02642..fa7a11c5f0afb5b18417e5cf171773c9b8e2c6fd 100644 (file)
--- a/eccdata.c
+++ b/eccdata.c
@@ -674,12 +674,16 @@ ecc_pippenger_precompute (struct ecc_curve *ecc, unsigned k, unsigned c)
   for (j = 2; j < (1U<<c); j <<= 1)
     {
       /* T[j] = 2^k T[j/2] */
+      assert (j < ecc->table_size);
       ecc_dup (ecc, &ecc->table[j], &ecc->table[j/2]);
       for (i = 1; i < k; i++)
        ecc_dup (ecc, &ecc->table[j], &ecc->table[j]);
 
       for (i = 1; i < j; i++)
-       ecc_add (ecc, &ecc->table[j + i], &ecc->table[j], &ecc->table[i]);
+       {
+         assert (j + i < ecc->table_size);
+         ecc_add (ecc, &ecc->table[j + i], &ecc->table[j], &ecc->table[i]);
+       }
     }
   for (j = 1<<c; j < ecc->table_size; j++)
     {