no_asm.h: don't fall into endless loop in eucl_inverse_mod_n.

Even though inverse of zero is formally undefined, it's customary to return zero. Reported by Guido Vranken.
supranational · Mar 7, 2021 · dd980e7 · dd980e7
1 parent 81cd381
commit dd980e7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/no_asm.h b/src/no_asm.h
@@ -448,6 +448,11 @@ static bool_t eucl_inverse_mod_n(limb_t out[], const limb_t a[],
     bool_t ret = 0;
     size_t i;
 
+    if (vec_is_zero(a, n*sizeof(limb_t))) {
+        vec_zero(out, n*sizeof(limb_t));
+        return 0;
+    }
+
     vec_copy(ux[0], a, sizeof(ux[0]));
     if (one != NULL)
         vec_copy(ux[1], one, sizeof(ux[1]));