Add more regress tests for BN_usub().

This adds more tests for BN_usub(), particularly where b > a, which should
be an error condition. One of these currently succeeds and produces
incorrect results.

1 files changed, 22 insertions, 1 deletions

diff --git a/src/regress/lib/libcrypto/bn/bn_add_sub.c b/src/regress/lib/libcrypto/bn/bn_add_sub.c
index 13af33fe9a..2901dcbc85 100644
--- a/src/regress/lib/libcrypto/bn/bn_add_sub.c
+++ b/src/regress/lib/libcrypto/bn/bn_add_sub.c
@@ -1,4 +1,4 @@
-/*      $OpenBSD: bn_add_sub.c,v 1.2 2022/12/02 00:01:06 tb Exp $       */
+/*      $OpenBSD: bn_add_sub.c,v 1.3 2023/01/31 05:12:16 jsing Exp $    */
 /*
  * Copyright (c) 2018 Theo Buehler <tb@openbsd.org>
  *
@@ -130,6 +130,13 @@ struct hexinput_st test_bn_usub[] = {
                 1,
         },
         {
+                "11100000001",
+                "100000000001000000000",
+                "0",
+                0,
+                0,
+        },
+        {
                 "100000000000000000000",
                 "1",
                 "FFFFFFFFFFFFFFFFFFFF",
@@ -137,6 +144,20 @@ struct hexinput_st test_bn_usub[] = {
                 1,
         },
         {
+                "1",
+                "0",
+                "1",
+                1,
+                1,
+        },
+        {
+                "1",
+                "2",
+                "FFFFFFFFFFFFFFFF",
+                0,
+                0,
+        },
+        {
                 "0",
                 "1",
                 "0",