From d93f62e3693d6763891edcad11472f9d475177e5 Mon Sep 17 00:00:00 2001
From: Tim Ruffing <crypto@timruffing.de>
Date: Wed, 1 Feb 2023 11:37:39 +0100
Subject: [PATCH] field: Verify field element even after secp256k1_fe_set_b32
 fails

---
 src/field_10x26_impl.h | 1 +
 src/field_5x52_impl.h  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/field_10x26_impl.h b/src/field_10x26_impl.h
index 5e6c63cf4..2c10814fa 100644
--- a/src/field_10x26_impl.h
+++ b/src/field_10x26_impl.h
@@ -372,6 +372,7 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
         secp256k1_fe_verify(r);
     } else {
         r->normalized = 0;
+        secp256k1_fe_verify(r);
     }
 #endif
     return ret;
diff --git a/src/field_5x52_impl.h b/src/field_5x52_impl.h
index 985c486ae..d92def5c3 100644
--- a/src/field_5x52_impl.h
+++ b/src/field_5x52_impl.h
@@ -347,6 +347,7 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
         secp256k1_fe_verify(r);
     } else {
         r->normalized = 0;
+        secp256k1_fe_verify(r);
     }
 #endif
     return ret;