OpenCoverage

bn_shift.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_shift.c

Source code

Switch to Preprocessed file

Line Source Count

1 /* $OpenBSD: bn_shift.c,v 1.13 2014/10/28 07:35:58 jsg Exp $ */ -

4 * -

5 * This package is an SSL implementation written -

6 * by Eric Young (eay@cryptsoft.com). -

7 * The implementation was written so as to conform with Netscapes SSL. -

8 * -

9 * This library is free for commercial and non-commercial use as long as -

10 * the following conditions are aheared to. The following conditions -

11 * apply to all code found in this distribution, be it the RC4, RSA, -

12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation -

13 * included with this distribution is covered by the same copyright terms -

14 * except that the holder is Tim Hudson (tjh@cryptsoft.com). -

15 * -

16 * Copyright remains Eric Young's, and as such any Copyright notices in -

17 * the code are not to be removed. -

18 * If this package is used in a product, Eric Young should be given attribution -

19 * as the author of the parts of the library used. -

20 * This can be in the form of a textual message at program startup or -

21 * in documentation (online or textual) provided with the package. -

22 * -

23 * Redistribution and use in source and binary forms, with or without -

24 * modification, are permitted provided that the following conditions -

25 * are met: -

26 * 1. Redistributions of source code must retain the copyright -

27 * notice, this list of conditions and the following disclaimer. -

28 * 2. Redistributions in binary form must reproduce the above copyright -

29 * notice, this list of conditions and the following disclaimer in the -

30 * documentation and/or other materials provided with the distribution. -

31 * 3. All advertising materials mentioning features or use of this software -

32 * must display the following acknowledgement: -

33 * "This product includes cryptographic software written by -

34 * Eric Young (eay@cryptsoft.com)" -

35 * The word 'cryptographic' can be left out if the rouines from the library -

36 * being used are not cryptographic related :-). -

37 * 4. If you include any Windows specific code (or a derivative thereof) from -

38 * the apps directory (application code) you must include an acknowledgement: -

39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)" -

40 * -

41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND -

42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -

43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -

44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -

45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -

46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -

47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -

48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -

49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -

50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -

51 * SUCH DAMAGE. -

52 * -

53 * The licence and distribution terms for any publically available version or -

54 * derivative of this code cannot be changed. i.e. this code cannot simply be -

55 * copied and put under another distribution licence -

56 * [including the GNU Public Licence.] -

57 */ -

58 -

59 #include <stdio.h> -

60 #include <string.h> -

61 -

62 #include "bn_lcl.h" -

63 -

64 int -

65 BN_lshift1(BIGNUM *r, const BIGNUM *a) -

66 { -

67 BN_ULONG *ap, *rp, t, c; -

68 int i; -

69 -

70 bn_check_top(r); -

71 bn_check_top(a); -

72 -

if (r != a) {

r != a	Description
TRUE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

313521-619044

74 r->neg = a->neg; -

if (bn_wexpand(r, a->top + 1) == NULL)

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 617569 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 1475 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

0-619044

return (0);

never executed: return (0);

77 r->top = a->top; -

} else {

executed 619044 times by 9 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

619044

if (bn_wexpand(r, a->top + 1) == NULL)

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 313297 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 224 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-313521

return (0);

never executed: return (0);

}

executed 313521 times by 4 tests: end of block

Executed by:

ecdhtest
ecdsatest
ectest
ssltest

313521

82 ap = a->d; -

83 rp = r->d; -

84 c = 0; -

for (i = 0; i < a->top; i++) {

i < a->top	Description
TRUE	evaluated 4535139 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 932565 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

932565-4535139

86 t= *(ap++); -

87 *(rp++) = ((t << 1) | c) & BN_MASK2; -

c = (t & BN_TBIT) ? 1 : 0;

(t & (0x8000000000000000L))	Description
TRUE	evaluated 2171006 times by 6 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 2364133 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

2171006-2364133

}

executed 4535139 times by 9 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

4535139

if (c) {

c	Description
TRUE	evaluated 367417 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 565148 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

367417-565148

91 *rp = 1; -

92 r->top++; -

}

executed 367417 times by 5 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
ssltest

367417

94 bn_check_top(r); -

return (1);

executed 932565 times by 9 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

932565

96 } -

97 -

98 int -

99 BN_rshift1(BIGNUM *r, const BIGNUM *a) -

100 { -

101 BN_ULONG *ap, *rp, t, c; -

102 int i, j; -

103 -

104 bn_check_top(r); -

105 bn_check_top(a); -

106 -

107

if (BN_is_zero(a)) {

((a)->top == 0)	Description
TRUE	never evaluated
FALSE	evaluated 129431 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

0-129431

108 BN_zero(r); -

109

return (1);

never executed: return (1);

110 } -

111 i = a->top; -

112 ap = a->d; -

113 j = i - (ap[i - 1]==1); -

114

if (a != r) {

a != r	Description
TRUE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 100 times by 1 test Evaluated by: bntest

100-129331

115

if (bn_wexpand(r, j) == NULL)

(((j) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

((j) <= (r)->dmax)	Description
TRUE	evaluated 127668 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 1663 times by 4 tests Evaluated by: bntest dhtest ecdsatest ectest

0-129331

116

return (0);

never executed: return (0);

117 r->neg = a->neg; -

118

}

executed 129331 times by 7 tests: end of block

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

129331

119 rp = r->d; -

120 t = ap[--i]; -

121

c = (t & 1) ? BN_TBIT : 0;

(t & 1)	Description
TRUE	evaluated 81730 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 47701 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

47701-81730

122

if (t >>= 1)

t >>= 1	Description
TRUE	evaluated 95167 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 34264 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest

34264-95167

123

rp[i] = t;

executed 95167 times by 7 tests: rp[i] = t;

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

95167

124

while (i > 0) {

i > 0	Description
TRUE	evaluated 539836 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 129431 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

129431-539836

125 t = ap[--i]; -

126 rp[i] = ((t >> 1) & BN_MASK2) | c; -

127

c = (t & 1) ? BN_TBIT : 0;

(t & 1)	Description
TRUE	evaluated 204584 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 335252 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest

204584-335252

128

}

executed 539836 times by 5 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
ssltest

539836

129 r->top = j; -

130 bn_check_top(r); -

131

return (1);

executed 129431 times by 7 tests: return (1);

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

129431

132 } -

133 -

134 int -

135 BN_lshift(BIGNUM *r, const BIGNUM *a, int n) -

136 { -

137 int i, nw, lb, rb; -

138 BN_ULONG *t, *f; -

139 BN_ULONG l; -

140 -

141 bn_check_top(r); -

142 bn_check_top(a); -

143 -

144 r->neg = a->neg; -

145 nw = n / BN_BITS2; -

146

if (bn_wexpand(r, a->top + nw + 1) == NULL)

(((a->top + nw...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1272728 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((a->top + nw ... <= (r)->dmax)	Description
TRUE	evaluated 1261389 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 11339 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-1272728

147

return (0);

never executed: return (0);

148 lb = n % BN_BITS2; -

149 rb = BN_BITS2 - lb; -

150 f = a->d; -

151 t = r->d; -

152 t[a->top + nw] = 0; -

153

if (lb == 0)

lb == 0	Description
TRUE	evaluated 40473 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1232255 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

40473-1232255

154

for (i = a->top - 1; i >= 0; i--)

i >= 0	Description
TRUE	evaluated 433841 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 40473 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

40473-433841

155

t[nw + i] = f[i];

executed 433841 times by 14 tests: t[nw + i] = f[i];

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

433841

156 else -

157

for (i = a->top - 1; i >= 0; i--) {

i >= 0	Description
TRUE	evaluated 7261905 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1232255 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

1232255-7261905

158 l = f[i]; -

159 t[nw + i + 1] |= (l >> rb) & BN_MASK2; -

160 t[nw + i] = (l << lb) & BN_MASK2; -

161

}

executed 7261905 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

7261905

162 memset(t, 0, nw * sizeof(t[0])); -

163 /* for (i=0; i<nw; i++) -

164 t[i]=0;*/ -

165 r->top = a->top + nw + 1; -

166

bn_correct_top(r);

executed 1272067 times by 14 tests: break;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 1272728 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

tmp_top > 0	Description
TRUE	evaluated 1272728 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

*(ftl--)	Description
TRUE	evaluated 1272067 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 956851 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

tmp_top > 0	Description
TRUE	evaluated 2228918 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 661 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-2228918

167 bn_check_top(r); -

168

return (1);

executed 1272728 times by 14 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1272728

169 } -

170 -

171 int -

172 BN_rshift(BIGNUM *r, const BIGNUM *a, int n) -

173 { -

174 int i, j, nw, lb, rb; -

175 BN_ULONG *t, *f; -

176 BN_ULONG l, tmp; -

177 -

178 bn_check_top(r); -

179 bn_check_top(a); -

180 -

181 nw = n / BN_BITS2; -

182 rb = n % BN_BITS2; -

183 lb = BN_BITS2 - rb; -

184

if (nw >= a->top || a->top == 0) {

nw >= a->top	Description
TRUE	evaluated 5459 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 746137 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

a->top == 0	Description
TRUE	never evaluated
FALSE	evaluated 746137 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-746137

185 BN_zero(r); -

186

return (1);

executed 5459 times by 14 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

5459

187 } -

188 i = (BN_num_bits(a) - n + (BN_BITS2 - 1)) / BN_BITS2; -

189

if (r != a) {

r != a	Description
TRUE	evaluated 727343 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 18794 times by 2 tests Evaluated by: bntest ectest

18794-727343

190 r->neg = a->neg; -

191

if (bn_wexpand(r, i) == NULL)

(((i) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 727343 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((i) <= (r)->dmax)	Description
TRUE	evaluated 723770 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3573 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-727343

192

return (0);

never executed: return (0);

193

} else {

executed 727343 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

727343

194

if (n == 0)

n == 0	Description
TRUE	evaluated 8578 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 10216 times by 2 tests Evaluated by: bntest ectest

8578-10216

195

return 1; /* or the copying loop will go berserk */

executed 8578 times by 2 tests: return 1;

Executed by:

bntest
ectest

8578

196

}

executed 10216 times by 2 tests: end of block

Executed by:

bntest
ectest

10216

197 -

198 f = &(a->d[nw]); -

199 t = r->d; -

200 j = a->top - nw; -

201 r->top = i; -

202 -

203

if (rb == 0) {

rb == 0	Description
TRUE	evaluated 141261 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 596298 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

141261-596298

204

for (i = j; i != 0; i--)

i != 0	Description
TRUE	evaluated 1134195 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 141261 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

141261-1134195

205

*(t++) = *(f++);

executed 1134195 times by 13 tests: *(t++) = *(f++);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1134195

206

} else {

executed 141261 times by 13 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

141261

207 l = *(f++); -

208

for (i = j - 1; i != 0; i--) {

i != 0	Description
TRUE	evaluated 2986988 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 596298 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

596298-2986988

209 tmp = (l >> rb) & BN_MASK2; -

210 l = *(f++); -

211 *(t++) = (tmp|(l << lb)) & BN_MASK2; -

212

}

executed 2986988 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

2986988

213

if ((l = (l >> rb) & BN_MASK2))

(l = (l >> rb)...fffffffffffL))	Description
TRUE	evaluated 514844 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 81454 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

81454-514844