From 362c3d18594a017c064fe5d6439e56dff8c9f30c Mon Sep 17 00:00:00 2001
Message-Id: <362c3d18594a017c064fe5d6439e56dff8c9f30c.1715119317.git.mdw@distorted.org.uk>
From: Mark Wooding <mdw@chiark.greenend.org.uk>
Date: Mon, 12 Sep 2016 22:32:37 +0100
Subject: [PATCH] math/mpmont.c: Make REDC coefficient as long as the modulus.
Organization: Straylight/Edgeware

From: Mark Wooding <mdw@distorted.org.uk>

We'll have trouble later if it's too short.
---
 math/mpmont.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/math/mpmont.c b/math/mpmont.c
index b95e1cfe..a86623b2 100644
--- a/math/mpmont.c
+++ b/math/mpmont.c
@@ -209,6 +209,7 @@ int mpmont_create(mpmont *mm, mp *m)
   mp_build(&r, r2->v + n, r2->vl);
   mm->mi = mp_modinv(MP_NEW, m, &r);
   mm->mi = mp_sub(mm->mi, &r, mm->mi);
+  MP_ENSURE(mm->mi, n);
 
   /* --- Discover the values %$R \bmod m$% and %$R^2 \bmod m$% --- */
 
-- 
[mdw]