From: Bodo Möller <bodo@openssl.org>
Date: Sun, 8 Apr 2001 18:41:35 +0000 (+0000)
Subject: code documentation
X-Git-Tag: OpenSSL_0_9_6c~182^2~271
X-Git-Url: https://git.openssl.org/gitweb/?p=openssl.git;a=commitdiff_plain;h=124d8cf701cb363415746d258fe30f42b989540d;hp=7d0d0996aa0e85734eaf5c8a3e6bd9e62604c166

code documentation
---

diff --git a/crypto/bn/bn_gcd.c b/crypto/bn/bn_gcd.c
index 2c6fb2379a..1691877f31 100644
--- a/crypto/bn/bn_gcd.c
+++ b/crypto/bn/bn_gcd.c
@@ -254,7 +254,8 @@ BIGNUM *BN_mod_inverse(BIGNUM *in,
 		while (!BN_is_zero(B))
 			{
 			/*
-			 *      0 < B < A <= |n|,
+			 *      0 < B < |n|,
+			 *      0 < A <= |n|,
 			 * (1) -sign*X*a  ==  B   (mod |n|),
 			 * (2)  sign*Y*a  ==  A   (mod |n|)
 			 */
@@ -299,13 +300,16 @@ BIGNUM *BN_mod_inverse(BIGNUM *in,
 				}
 
 			
-			/* We still have (1) and (2), but  A  may no longer be larger than  B.
+			/* We still have (1) and (2).
 			 * Both  A  and  B  are odd.
 			 * The following computations ensure that
 			 *
-			 *      0 =< B < A = |n|,
+			 *     0 <= B < |n|,
+			 *      0 < A < |n|,
 			 * (1) -sign*X*a  ==  B   (mod |n|),
-			 * (2)  sign*Y*a  ==  A   (mod |n|)
+			 * (2)  sign*Y*a  ==  A   (mod |n|),
+			 *
+			 * and that either  A  or  B  is even in the next iteration.
 			 */
 			if (BN_ucmp(B, A) >= 0)
 				{
diff --git a/test/bctest b/test/bctest
index 7dde781653..fbe74ed90b 100755
--- a/test/bctest
+++ b/test/bctest
@@ -12,13 +12,13 @@
 
 
 IFS=:
-try_path=true
+try_without_dir=true
 # First we try "bc", then "$dir/bc" for each item in $PATH.
 for dir in dummy:$PATH; do
-    if [ "$try_path" = true ]; then
+    if [ "$try_without_dir" = true ]; then
       # first iteration
       bc=bc
-      try_path=false
+      try_without_dir=false
     else
       # second and later iterations
       bc="$dir/bc"