Commit 8e76691203d258af789346c200aa130378e2a128
2018-12-26T08:24:49
explicit condition
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130
diff --git a/bn_mp_get_bit.c b/bn_mp_get_bit.c
index 8cd06a5..0b86f8d 100644
--- a/bn_mp_get_bit.c
+++ b/bn_mp_get_bit.c
@@ -34,7 +34,7 @@ int mp_get_bit(const mp_int *a, int b)
* otherwise (limb >= a->used) would be true for a = 0
*/
- if (mp_iszero(a)) {
+ if (mp_iszero(a) != MP_NO) {
return MP_NO;
}
diff --git a/bn_mp_kronecker.c b/bn_mp_kronecker.c
index ff9d2b6..c44d10e 100644
--- a/bn_mp_kronecker.c
+++ b/bn_mp_kronecker.c
@@ -36,7 +36,7 @@ int mp_kronecker(const mp_int *a, const mp_int *p, int *c)
static const int table[8] = {0, 1, 0, -1, 0, -1, 0, 1};
- if (mp_iszero(p)) {
+ if (mp_iszero(p) != MP_NO) {
if (a->used == 1 && a->dp[0] == 1u) {
*c = 1;
return e;
@@ -46,7 +46,7 @@ int mp_kronecker(const mp_int *a, const mp_int *p, int *c)
}
}
- if (mp_iseven(a) && mp_iseven(p)) {
+ if ((mp_iseven(a) != MP_NO) && (mp_iseven(p) != MP_NO)) {
*c = 0;
return e;
}
@@ -81,7 +81,7 @@ int mp_kronecker(const mp_int *a, const mp_int *p, int *c)
}
for (;;) {
- if (mp_iszero(&a1)) {
+ if (mp_iszero(&a1) != MP_NO) {
if (mp_cmp_d(&p1, 1uL) == MP_EQ) {
*c = k;
goto LBL_KRON;
@@ -106,12 +106,12 @@ int mp_kronecker(const mp_int *a, const mp_int *p, int *c)
* a1.dp[0] + 1 cannot overflow because the MSB
* of the type mp_digit is not set by definition
*/
- if ((a1.dp[0] + 1u) & p1.dp[0] & 2u) {
+ if (((a1.dp[0] + 1u) & p1.dp[0] & 2u) != 0u) {
k = -k;
}
} else {
/* compute k = (-1)^((a1-1)*(p1-1)/4) * k */
- if (a1.dp[0] & p1.dp[0] & 2u) {
+ if ((a1.dp[0] & p1.dp[0] & 2u) != 0u) {
k = -k;
}
}
diff --git a/bn_mp_prime_frobenius_underwood.c b/bn_mp_prime_frobenius_underwood.c
index 4f44c5e..0a10342 100644
--- a/bn_mp_prime_frobenius_underwood.c
+++ b/bn_mp_prime_frobenius_underwood.c
@@ -180,7 +180,7 @@ int mp_prime_frobenius_underwood(const mp_int *N, int *result)
if ((e = mp_mod(&T1z,N,&T1z)) != MP_OKAY) {
goto LBL_FU_ERR;
}
- if (mp_iszero(&sz) && (mp_cmp(&tz, &T1z) == MP_EQ)) {
+ if ((mp_iszero(&sz) != MP_NO) && (mp_cmp(&tz, &T1z) == MP_EQ)) {
*result = MP_YES;
goto LBL_FU_ERR;
}
diff --git a/bn_mp_prime_strong_lucas_selfridge.c b/bn_mp_prime_strong_lucas_selfridge.c
index 9a50cdc..878a6bf 100644
--- a/bn_mp_prime_strong_lucas_selfridge.c
+++ b/bn_mp_prime_strong_lucas_selfridge.c
@@ -300,7 +300,7 @@ int mp_prime_strong_lucas_selfridge(const mp_int *a, int *result)
if ((e = mp_add(&T1z,&T2z,&Uz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
- if (mp_isodd(&Uz)) {
+ if (mp_isodd(&Uz) != MP_NO) {
if ((e = mp_add(&Uz,a,&Uz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
@@ -313,7 +313,7 @@ int mp_prime_strong_lucas_selfridge(const mp_int *a, int *result)
if ((e = mp_div_2(&Uz,&Uz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
- if ((Uz.sign == MP_NEG) && mp_isodd(&Uz)) {
+ if ((Uz.sign == MP_NEG) && (mp_isodd(&Uz) != MP_NO)) {
if ((e = mp_sub_d(&Uz, 1uL, &Uz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
@@ -321,7 +321,7 @@ int mp_prime_strong_lucas_selfridge(const mp_int *a, int *result)
if ((e = mp_add(&T3z,&T4z,&Vz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
- if (mp_isodd(&Vz)) {
+ if (mp_isodd(&Vz) != MP_NO) {
if ((e = mp_add(&Vz,a,&Vz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
@@ -329,7 +329,7 @@ int mp_prime_strong_lucas_selfridge(const mp_int *a, int *result)
if ((e = mp_div_2(&Vz,&Vz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
- if (Vz.sign == MP_NEG && mp_isodd(&Vz)) {
+ if ((Vz.sign == MP_NEG) && (mp_isodd(&Vz) != MP_NO)) {
if ((e = mp_sub_d(&Vz, 1uL, &Vz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
@@ -352,7 +352,7 @@ int mp_prime_strong_lucas_selfridge(const mp_int *a, int *result)
/* If U_d or V_d is congruent to 0 mod N, then N is a prime or a
strong Lucas pseudoprime. */
- if (mp_iszero(&Uz) || mp_iszero(&Vz)) {
+ if ((mp_iszero(&Uz) != MP_NO) || (mp_iszero(&Vz) != MP_NO)) {
*result = MP_YES;
goto LBL_LS_ERR;
}
@@ -383,7 +383,7 @@ int mp_prime_strong_lucas_selfridge(const mp_int *a, int *result)
if ((e = mp_mod(&Vz,a,&Vz)) != MP_OKAY) {
goto LBL_LS_ERR;
}
- if (mp_iszero(&Vz)) {
+ if (mp_iszero(&Vz) != MP_NO) {
*result = MP_YES;
goto LBL_LS_ERR;
}