OpenCoverage

expr.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/coreutils/src/src/expr.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 _Static_assert ( -

7 (18446744073709551615UL) -

8 <= -

9 (0x7fffffffffffffffL * 2UL + 1UL) -

10 , "verify (" "SIZE_MAX <= ULONG_MAX" ")"); -

11 static void integer_overflow (char) __attribute__ ((__noreturn__)); -

12 -

13 typedef intmax_t mpz_t[1]; -

static void mpz_clear (mpz_t z) { (void) z; }

executed 4993 times by 1 test: end of block

Executed by:

expr

4993

static void mpz_init_set_ui (mpz_t z, unsigned long int i) { z[0] = i; }

executed 830 times by 1 test: end of block

Executed by:

expr

830

16 static int -

17 mpz_init_set_str (mpz_t z, char *s, int base) -

18 { -

return

executed 8375 times by 1 test: return xstrtoimax (s, ((void *)0) , base, z, ((void *)0) ) == LONGINT_OK ? 0 : -1;

Executed by:

expr

xstrtoimax (s,

executed 8375 times by 1 test: return xstrtoimax (s, ((void *)0) , base, z, ((void *)0) ) == LONGINT_OK ? 0 : -1;

Executed by:

expr

8375

((void *)0)

executed 8375 times by 1 test: return xstrtoimax (s, ((void *)0) , base, z, ((void *)0) ) == LONGINT_OK ? 0 : -1;

Executed by:

expr

8375

, base, z,

executed 8375 times by 1 test: return xstrtoimax (s, ((void *)0) , base, z, ((void *)0) ) == LONGINT_OK ? 0 : -1;

Executed by:

expr

8375

((void *)0)

executed 8375 times by 1 test: return xstrtoimax (s, ((void *)0) , base, z, ((void *)0) ) == LONGINT_OK ? 0 : -1;

Executed by:

expr

8375

) == LONGINT_OK ? 0 : -1;

executed 8375 times by 1 test: return xstrtoimax (s, ((void *)0) , base, z, ((void *)0) ) == LONGINT_OK ? 0 : -1;

Executed by:

expr

8375

24 } -

25 static void -

26 mpz_add (mpz_t r, mpz_t a0, mpz_t b0) -

27 { -

28 intmax_t a = a0[0]; -

29 intmax_t b = b0[0]; -

30 intmax_t val = a + b; -

if ((

(val < a) != (b < 0)	Description
TRUE	never evaluated
FALSE	evaluated 2851 times by 1 test Evaluated by: expr

val < a) != (b < 0)

(val < a) != (b < 0)	Description
TRUE	never evaluated
FALSE	evaluated 2851 times by 1 test Evaluated by: expr

)

0-2851

integer_overflow ('+');

never executed: integer_overflow ('+');

33 r[0] = val; -

}

executed 2851 times by 1 test: end of block

Executed by:

expr

2851

35 static void -

36 mpz_sub (mpz_t r, mpz_t a0, mpz_t b0) -

37 { -

38 intmax_t a = a0[0]; -

39 intmax_t b = b0[0]; -

40 intmax_t val = a - b; -

if ((

(a < val) != (b < 0)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: expr

a < val) != (b < 0)

(a < val) != (b < 0)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: expr

)

0-11

integer_overflow ('-');

never executed: integer_overflow ('-');

43 r[0] = val; -

}

executed 11 times by 1 test: end of block

Executed by:

expr

45 static void -

46 mpz_mul (mpz_t r, mpz_t a0, mpz_t b0) -

47 { -

48 intmax_t a = a0[0]; -

49 intmax_t b = b0[0]; -

50 intmax_t val = a * b; -

if (! (a == 0

a == 0	Description
TRUE	never evaluated
FALSE	evaluated 512 times by 1 test Evaluated by: expr

|| b == 0

b == 0	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 511 times by 1 test Evaluated by: expr

0-512

|| ((

(val < 0) == (... 0) ^ (b < 0))	Description
TRUE	evaluated 511 times by 1 test Evaluated by: expr
FALSE	never evaluated

val < 0) == ((a < 0) ^ (b < 0))

(val < 0) == (... 0) ^ (b < 0))	Description
TRUE	evaluated 511 times by 1 test Evaluated by: expr
FALSE	never evaluated

&& val / a == b

val / a == b	Description
TRUE	evaluated 511 times by 1 test Evaluated by: expr
FALSE	never evaluated

)))

0-511

integer_overflow ('*');

never executed: integer_overflow ('*');

54 r[0] = val; -

}

executed 512 times by 1 test: end of block

Executed by:

expr

512

56 static void -

57 mpz_tdiv_q (mpz_t r, mpz_t a0, mpz_t b0) -

58 { -

59 intmax_t a = a0[0]; -

60 intmax_t b = b0[0]; -

61 -

62 -

if (a < -

a < - (9223372036854775807L)	Description
TRUE	never evaluated
FALSE	evaluated 815 times by 1 test Evaluated by: expr

0-815

(9223372036854775807L)

a < - (9223372036854775807L)	Description
TRUE	never evaluated
FALSE	evaluated 815 times by 1 test Evaluated by: expr

0-815

&& b == -1

b == -1	Description
TRUE	never evaluated
FALSE	never evaluated

)

integer_overflow ('/');

never executed: integer_overflow ('/');

67 r[0] = a / b; -

}

executed 815 times by 1 test: end of block

Executed by:

expr

815

69 static void -

70 mpz_tdiv_r (mpz_t r, mpz_t a0, mpz_t b0) -

71 { -

72 intmax_t a = a0[0]; -

73 intmax_t b = b0[0]; -

74 -

75 -

r[0] = a < -

a < - (9223372036854775807L)	Description
TRUE	never evaluated
FALSE	evaluated 8 times by 1 test Evaluated by: expr

0-8

(9223372036854775807L)

a < - (9223372036854775807L)	Description
TRUE	never evaluated
FALSE	evaluated 8 times by 1 test Evaluated by: expr

0-8

&& b == -1

b == -1	Description
TRUE	never evaluated
FALSE	never evaluated

? 0 : a % b;

}

executed 8 times by 1 test: end of block

Executed by:

expr

80 static char * -

81 mpz_get_str (char const *str, int base, mpz_t z) -

82 { -

83 (void) str; (void) base; -

84 char buf[((((((sizeof (intmax_t) * 8) - (! ((__typeof__ (intmax_t)) 0 < (__typeof__ (intmax_t)) -1))) * 146 + 484) / 485) + (! ((__typeof__ (intmax_t)) 0 < (__typeof__ (intmax_t)) -1))) + 1)]; -

return

executed 796 times by 1 test: return xstrdup (imaxtostr (z[0], buf));

Executed by:

expr

xstrdup (imaxtostr (z[0], buf));

executed 796 times by 1 test: return xstrdup (imaxtostr (z[0], buf));

Executed by:

expr

796

86 } -

87 static int -

88 mpz_sgn (mpz_t z) -

89 { -

return

executed 5033 times by 1 test: return z[0] < 0 ? -1 : 0 < z[0];

Executed by:

expr

z[0] < 0 ? -1 : 0 < z[0];

executed 5033 times by 1 test: return z[0] < 0 ? -1 : 0 < z[0];

Executed by:

expr

5033

91 } -

92 static int -

93 mpz_fits_ulong_p (mpz_t z) -

94 { -

return

never executed: return 0 <= z[0] && z[0] <= (0x7fffffffffffffffL * 2UL + 1UL) ;

0 <= z[0] && z[0] <=

never executed: return 0 <= z[0] && z[0] <= (0x7fffffffffffffffL * 2UL + 1UL) ;

(0x7fffffffffffffffL * 2UL + 1UL)

never executed: return 0 <= z[0] && z[0] <= (0x7fffffffffffffffL * 2UL + 1UL) ;

;

never executed: return 0 <= z[0] && z[0] <= (0x7fffffffffffffffL * 2UL + 1UL) ;

98 } -

99 static unsigned long int -

100 mpz_get_ui (mpz_t z) -

101 { -

102

return

never executed: return z[0];

z[0];

never executed: return z[0];

103 } -

104 static int -

105 mpz_out_str (FILE *stream, int base, mpz_t z) -

106 { -

107 (void) base; -

108 char buf[((((((sizeof (intmax_t) * 8) - (! ((__typeof__ (intmax_t)) 0 < (__typeof__ (intmax_t)) -1))) * 146 + 484) / 485) + (! ((__typeof__ (intmax_t)) 0 < (__typeof__ (intmax_t)) -1))) + 1)]; -

109

return

executed 4210 times by 1 test: return fputs_unlocked (imaxtostr (z[0], buf),stream) != (-1) ;

Executed by:

expr

fputs_unlocked (imaxtostr (z[0], buf),stream) !=

executed 4210 times by 1 test: return fputs_unlocked (imaxtostr (z[0], buf),stream) != (-1) ;

Executed by:

expr

4210

110

(-1)

executed 4210 times by 1 test: return fputs_unlocked (imaxtostr (z[0], buf),stream) != (-1) ;

Executed by:

expr

4210

111

;

executed 4210 times by 1 test: return fputs_unlocked (imaxtostr (z[0], buf),stream) != (-1) ;

Executed by:

expr

4210

112 } -

113 enum -

114 { -

115 -

116 -

117 -

118 EXPR_INVALID = 2, -

119 -

120 -

121 -

122 EXPR_FAILURE -

123 }; -

124 -

125 -

126 enum valtype -

127 { -

128 integer, -

129 string -

130 }; -

131 typedef enum valtype TYPE; -

132 -

133 -

134 struct valinfo -

135 { -

136 TYPE type; -

137 union -

138 { -

139 mpz_t i; -

140 char *s; -

141 } u; -

142 }; -

143 typedef struct valinfo VALUE; -

144 -

145 -

146 static char **args; -

147 -

148 static VALUE *eval ( -

149 _Bool -

150 ); -

151 static -

152 _Bool -

153 nomoreargs (void); -

154 static -

155 _Bool -

156 null (VALUE *v); -

157 static void printv (VALUE *v); -

158 static size_t -

159 mbs_logical_cspn (const char *s, const char *accept) -

160 { -

161 size_t idx = 0; -

162 -

163

if (accept[0] == '\0'

accept[0] == '\0'	Description
TRUE	never evaluated
FALSE	never evaluated

)

164

return

never executed: return 0;

165 -

166 -

167 if ( -

168

(

(__ctype_get_m...ur_max ()) > 1	Description
TRUE	never evaluated
FALSE	never evaluated

__ctype_get_mb_cur_max ())

(__ctype_get_m...ur_max ()) > 1	Description
TRUE	never evaluated
FALSE	never evaluated

169

> 1

(__ctype_get_m...ur_max ()) > 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

170 { -

171 mbui_iterator_t iter; -

172 -

173 for (((iter).cur.ptr = (s), (iter).in_shift = -

174 0 -

175 , memset (&(iter).state, '\0', sizeof (mbstate_t)), (iter).next_done = -

176 0 -

177

); (mbuiter_multi_next (&(iter)), !(((

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc_valid

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((iter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc == 0

((iter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)); ((iter).cur.ptr += (iter).cur.bytes, (iter).next_done =

178 0 -

179 )) -

180 { -

181 ++idx; -

182

if ((((

(((iter).cur).bytes) == 1	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).bytes) == 1

(((iter).cur).bytes) == 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

183 { -

184

if (mbschr (accept, *(iter).cur.ptr)

mbschr (accept...iter).cur.ptr)	Description
TRUE	never evaluated
FALSE	never evaluated

)

185

return

never executed: return idx;

idx;

never executed: return idx;

186

}

never executed: end of block

187 else -

188 { -

189 mbui_iterator_t aiter; -

190 -

191 for (((aiter).cur.ptr = (accept), (aiter).in_shift = -

192 0 -

193 , memset (&(aiter).state, '\0', sizeof (mbstate_t)), (aiter).next_done = -

194 0 -

195 ); -

196

(mbuiter_multi_next (&(aiter)), !(((

((aiter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

aiter).cur).wc_valid

((aiter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((aiter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

aiter).cur).wc == 0

((aiter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

));

197 ((aiter).cur.ptr += (aiter).cur.bytes, (aiter).next_done = -

198 0 -

199 )) -

200

if ((((

((aiter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

aiter).cur).wc_valid

((aiter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc_valid

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

? ((aiter).cur).wc == ((iter).cur).wc : ((

((aiter).cur)....er).cur).bytes	Description
TRUE	never evaluated
FALSE	never evaluated

aiter).cur).bytes == ((iter).cur).bytes

((aiter).cur)....er).cur).bytes	Description
TRUE	never evaluated
FALSE	never evaluated

&& memcmp (((aiter).cur).ptr, ((iter).cur).ptr, ((aiter).cur).bytes) == 0

memcmp (((aite...r).bytes) == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

(((aiter).cur)...).bytes) == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

201

return

never executed: return idx;

idx;

never executed: return idx;

202

}

never executed: end of block

203 } -

204 -

205 -

206

return

never executed: return 0;

207 } -

208 else -

209 { -

210 -

211 -

212 size_t i = -

213 __builtin_strcspn ( -

214 s -

215 , -

216 accept -

217 ) -

218 ; -

219

return

never executed: return (s[i] ? i + 1 : 0);

(s[i] ? i + 1 : 0);

never executed: return (s[i] ? i + 1 : 0);

220 } -

221 } -

222 static char * -

223 mbs_logical_substr (const char *s, size_t pos, size_t len) -

224 { -

225 char *v, *vlim; -

226 -

227 size_t blen = strlen (s); -

228

size_t llen = (

( (__ctype_get...r_max ()) > 1)	Description
TRUE	never evaluated
FALSE	never evaluated

229

(__ctype_get_mb_cur_max ())

( (__ctype_get...r_max ()) > 1)	Description
TRUE	never evaluated
FALSE	never evaluated

230

> 1)

( (__ctype_get...r_max ()) > 1)	Description
TRUE	never evaluated
FALSE	never evaluated

? mbslen (s) : blen;

231 -

232

if (llen < pos

llen < pos	Description
TRUE	never evaluated
FALSE	never evaluated

|| pos == 0

pos == 0	Description
TRUE	never evaluated
FALSE	never evaluated

|| len == 0

len == 0	Description
TRUE	never evaluated
FALSE	never evaluated

|| len ==

len == (184467...73709551615UL)	Description
TRUE	never evaluated
FALSE	never evaluated

233

(18446744073709551615UL)

len == (184467...73709551615UL)	Description
TRUE	never evaluated
FALSE	never evaluated

234 ) -

235

return

never executed: return xstrdup ("");

xstrdup ("");

never executed: return xstrdup ("");

236 -

237 -

238 size_t vlen = -

239

(((

(( len )<( llen - pos + 1 ))	Description
TRUE	never evaluated
FALSE	never evaluated

240

len

(( len )<( llen - pos + 1 ))	Description
TRUE	never evaluated
FALSE	never evaluated

241

)<(

(( len )<( llen - pos + 1 ))	Description
TRUE	never evaluated
FALSE	never evaluated

242

llen - pos + 1

(( len )<( llen - pos + 1 ))	Description
TRUE	never evaluated
FALSE	never evaluated

243

))

(( len )<( llen - pos + 1 ))	Description
TRUE	never evaluated
FALSE	never evaluated

244 len -

245 ):( -

246 llen - pos + 1 -

247 )) -

248 ; -

249 -

250 if ( -

251

(

(__ctype_get_m...r_max ()) == 1	Description
TRUE	never evaluated
FALSE	never evaluated

__ctype_get_mb_cur_max ())

(__ctype_get_m...r_max ()) == 1	Description
TRUE	never evaluated
FALSE	never evaluated

252

== 1

(__ctype_get_m...r_max ()) == 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

253 { -

254 -

255 v = xmalloc (vlen + 1); -

256 vlim = mempcpy (v, s + pos - 1, vlen); -

257

}

never executed: end of block

258 else -

259 { -

260 -

261 -

262 -

263 -

264 vlim = v = xmalloc (blen + 1); -

265 -

266 mbui_iterator_t iter; -

267 size_t idx=1; -

268 for (((iter).cur.ptr = (s), (iter).in_shift = -

269 0 -

270 , memset (&(iter).state, '\0', sizeof (mbstate_t)), (iter).next_done = -

271 0 -

272 ); -

273

(mbuiter_multi_next (&(iter)), !(((

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc_valid

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((iter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc == 0

((iter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)) && vlen > 0

vlen > 0	Description
TRUE	never evaluated
FALSE	never evaluated

;

274 ((iter).cur.ptr += (iter).cur.bytes, (iter).next_done = -

275 0 -

276 ), ++idx) -

277 { -

278 -

279

if (idx < pos

idx < pos	Description
TRUE	never evaluated
FALSE	never evaluated

)

280

continue;

never executed: continue;

281 -

282 -

283 --vlen; -

284 vlim = mempcpy (vlim, (iter).cur.ptr, (((iter).cur).bytes)); -

285

}

never executed: end of block

286

}

never executed: end of block

287 *vlim = '\0'; -

288

return

never executed: return v;

289 } -

290 static size_t -

291 mbs_offset_to_chars (const char *s, size_t ofs) -

292 { -

293 mbui_iterator_t iter; -

294 size_t c = 0; -

295 for (((iter).cur.ptr = (s), (iter).in_shift = -

296 0 -

297 , memset (&(iter).state, '\0', sizeof (mbstate_t)), (iter).next_done = -

298 0 -

299

); (mbuiter_multi_next (&(iter)), !(((

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc_valid

((iter).cur).wc_valid	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((iter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

iter).cur).wc == 0

((iter).cur).wc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)); ((iter).cur.ptr += (iter).cur.bytes, (iter).next_done =

300 0 -

301 )) -

302 { -

303 ptrdiff_t d = (iter).cur.ptr - s; -

304

if (d >= ofs

d >= ofs	Description
TRUE	never evaluated
FALSE	never evaluated

)

305

break;

never executed: break;

306 ++c; -

307

}

never executed: end of block

308

return

never executed: return c;

309 } -

310 -

311 -

312 -

313 void -

314 usage (int status) -

315 { -

316

if (status !=

status != 0	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 2 times by 1 test Evaluated by: expr

1-2

317

status != 0	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 2 times by 1 test Evaluated by: expr

1-2

318 ) -

319 do { fprintf ( -

320 stderr -

321 , -

322 dcgettext (((void *)0), -

323 "Try '%s --help' for more information.\n" -

324 , 5) -

325

, program_name); }

executed 1 time by 1 test: end of block

Executed by:

expr

while (0);

326 else -

327 { -

328 printf ( -

329 dcgettext (((void *)0), -

330 "Usage: %s EXPRESSION\n or: %s OPTION\n" -

331 , 5) -

332 -

333 -

334 -

335 , -

336 program_name, program_name); -

337 putchar_unlocked ('\n'); -

338 fputs_unlocked ( -

339 dcgettext (((void *)0), -

340 " --help display this help and exit\n" -

341 , 5) -

342 , -

343 stdout -

344 ); -

345 fputs_unlocked ( -

346 dcgettext (((void *)0), -

347 " --version output version information and exit\n" -

348 , 5) -

349 , -

350 stdout -

351 ); -

352 fputs_unlocked ( -

353 dcgettext (((void *)0), -

354 "\nPrint the value of EXPRESSION to standard output. A blank line below\nseparates increasing precedence groups. EXPRESSION may be:\n\n ARG1 | ARG2 ARG1 if it is neither null nor 0, otherwise ARG2\n\n ARG1 & ARG2 ARG1 if neither argument is null or 0, otherwise 0\n" -

355 , 5) -

356 , -

357 stdout -

358 ) -

359 -

360 -

361 -

362 -

363 -

364 -

365 -

366 ; -

367 fputs_unlocked ( -

368 dcgettext (((void *)0), -

369 "\n ARG1 < ARG2 ARG1 is less than ARG2\n ARG1 <= ARG2 ARG1 is less than or equal to ARG2\n ARG1 = ARG2 ARG1 is equal to ARG2\n ARG1 != ARG2 ARG1 is unequal to ARG2\n ARG1 >= ARG2 ARG1 is greater than or equal to ARG2\n ARG1 > ARG2 ARG1 is greater than ARG2\n" -

370 , 5) -

371 , -

372 stdout -

373 ) -

374 -

375 -

376 -

377 -

378 -

379 -

380 -

381 ; -

382 fputs_unlocked ( -

383 dcgettext (((void *)0), -

384 "\n ARG1 + ARG2 arithmetic sum of ARG1 and ARG2\n ARG1 - ARG2 arithmetic difference of ARG1 and ARG2\n" -

385 , 5) -

386 , -

387 stdout -

388 ) -

389 -

390 -

391 -

392 ; -

393 -

394 -

395 fputs_unlocked ( -

396 dcgettext (((void *)0), -

397 "\n ARG1 * ARG2 arithmetic product of ARG1 and ARG2\n ARG1 / ARG2 arithmetic quotient of ARG1 divided by ARG2\n ARG1 % ARG2 arithmetic remainder of ARG1 divided by ARG2\n" -

398 , 5) -

399 , -

400 stdout -

401 ) -

402 -

403 -

404 -

405 -

406 ; -

407 fputs_unlocked ( -

408 dcgettext (((void *)0), -

409 "\n STRING : REGEXP anchored pattern match of REGEXP in STRING\n\n match STRING REGEXP same as STRING : REGEXP\n substr STRING POS LENGTH substring of STRING, POS counted from 1\n index STRING CHARS index in STRING where any CHARS is found, or 0\n length STRING length of STRING\n" -

410 , 5) -

411 , -

412 stdout -

413 ) -

414 -

415 -

416 -

417 -

418 -

419 -

420 -

421 ; -

422 fputs_unlocked ( -

423 dcgettext (((void *)0), -

424 " + TOKEN interpret TOKEN as a string, even if it is a\n keyword like 'match' or an operator like '/'\n\n ( EXPRESSION ) value of EXPRESSION\n" -

425 , 5) -

426 , -

427 stdout -

428 ) -

429 -

430 -

431 -

432 -

433 ; -

434 fputs_unlocked ( -

435 dcgettext (((void *)0), -

436 "\nBeware that many operators need to be escaped or quoted for shells.\nComparisons are arithmetic if both ARGs are numbers, else lexicographical.\nPattern matches return the string matched between \\( and \\) or null; if\n\\( and \\) are not used, they return the number of characters matched or 0.\n" -

437 , 5) -

438 , -

439 stdout -

440 ) -

441 -

442 -

443 -

444 -

445 -

446 ; -

447 fputs_unlocked ( -

448 dcgettext (((void *)0), -

449 "\nExit status is 0 if EXPRESSION is neither null nor 0, 1 if EXPRESSION is null\nor 0, 2 if EXPRESSION is syntactically invalid, and 3 if an error occurred.\n" -

450 , 5) -

451 , -

452 stdout -

453 ) -

454 -

455 -

456 -

457 ; -

458 emit_ancillary_info ("expr"); -

459

}

executed 2 times by 1 test: end of block

Executed by:

expr

460

exit (status);

executed 3 times by 1 test: exit (status);

Executed by:

expr

461 } -

462 -

463 -

464 -

465 -

466 static void -

467 integer_overflow (char op) -

468 { -

469 ((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%c\", op), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, -

470 34 -

471 , "%c", op), (( -

472 0 -

473 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, -

474 34 -

475 , "%c", op), (( -

476 0 -

477 ) ? (void) 0 : __builtin_unreachable ())))); -

478

}

never executed: end of block

479 -

480 -

481 int -

482 main (int argc, char **argv) -

483 { -

484 VALUE *v; -

485 -

486 ; -

487 set_program_name (argv[0]); -

488 setlocale ( -

489 6 -

490 , ""); -

491 bindtextdomain ("coreutils", "/usr/local/share/locale"); -

492 textdomain ("coreutils"); -

493 -

494 initialize_exit_failure (EXPR_FAILURE); -

495 atexit (close_stdout); -

496 -

497 parse_long_options (argc, argv, "expr", "GNU coreutils", "8.29.19-49b126", -

498 usage, ("Mike Parker"), ("James Youngman"), ("Paul Eggert"), (char const *) -

499 ((void *)0) -

500 ); -

501 -

502 -

503 -

504 unsigned int u_argc = argc; -

505

if (1 < u_argc

1 < u_argc	Description
TRUE	evaluated 4852 times by 1 test Evaluated by: expr
FALSE	evaluated 1 time by 1 test Evaluated by: expr

&& (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

1-4852

506

__extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

507

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

508

) && __builtin_constant_p (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

509

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

510

) && (__s1_len = __builtin_strlen (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

511

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

512

), __s2_len = __builtin_strlen (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

513

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

514

), (!((size_t)(const void *)((

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

515

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

516

) + 1) - (size_t)(const void *)(

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

517

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

518

) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

519

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

520

) + 1) - (size_t)(const void *)(

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

521

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

522

) == 1) || __s2_len >= 4)) ? __builtin_strcmp (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

523

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

524

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

525

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

526

) : (__builtin_constant_p (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

527

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

528

) && ((size_t)(const void *)((

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

529

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

530

) + 1) - (size_t)(const void *)(

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

531

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

532

) == 1) && (__s1_len = __builtin_strlen (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

533

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

534

), __s1_len < 4) ? (__builtin_constant_p (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

535

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

536

) && ((size_t)(const void *)((

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

537

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

538

) + 1) - (size_t)(const void *)(

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

539

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

540

) == 1) ? __builtin_strcmp (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

541

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

542

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

543

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

544

) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

545

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

546

); int __result = (((const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

547

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

548

))[0] - __s2[0]); if (__s1_len > 0

__s1_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

549

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

550

))[1] - __s2[1]); if (__s1_len > 1

__s1_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

551

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

552

))[2] - __s2[2]); if (__s1_len > 2

__s1_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) __result = (((const unsigned char *) (const char *) (

never executed: __result = (((const unsigned char *) (const char *) ( argv[1] ))[3] - __s2[3]);

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

553

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

never executed: __result = (((const unsigned char *) (const char *) ( argv[1] ))[3] - __s2[3]);

0-4847

554

))[3] - __s2[3]);

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

never executed: __result = (((const unsigned char *) (const char *) ( argv[1] ))[3] - __s2[3]);

}

never executed: end of block

}

never executed: end of block

__result; }))) : (__builtin_constant_p (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

555

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

556

) && ((size_t)(const void *)((

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

557

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

558

) + 1) - (size_t)(const void *)(

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

559

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

560

) == 1) && (__s2_len = __builtin_strlen (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

561

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

562

), __s2_len < 4) ? (__builtin_constant_p (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

563

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

564

) && ((size_t)(const void *)((

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

565

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

566

) + 1) - (size_t)(const void *)(

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

567

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

568

) == 1) ? __builtin_strcmp (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

569

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

570

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

571

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

572

) : -(__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

573

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

574

); int __result = (((const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

575

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

576

))[0] - __s2[0]); if (__s2_len > 0

__s2_len > 0	Description
TRUE	evaluated 4852 times by 1 test Evaluated by: expr
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	evaluated 10 times by 1 test Evaluated by: expr
FALSE	evaluated 4842 times by 1 test Evaluated by: expr

) { __result = (((const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4852

577

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

578

))[1] - __s2[1]); if (__s2_len > 1

__s2_len > 1	Description
TRUE	evaluated 10 times by 1 test Evaluated by: expr
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 5 times by 1 test Evaluated by: expr

) { __result = (((const unsigned char *) (const char *) (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

579

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

580

))[2] - __s2[2]); if (__s2_len > 2

__s2_len > 2	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: expr

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) __result = (((const unsigned char *) (const char *) (

never executed: __result = (((const unsigned char *) (const char *) ( "--" ))[3] - __s2[3]);

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

581

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

never executed: __result = (((const unsigned char *) (const char *) ( "--" ))[3] - __s2[3]);

0-4847

582

))[3] - __s2[3]);

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

never executed: __result = (((const unsigned char *) (const char *) ( "--" ))[3] - __s2[3]);

} } __result; }))) : __builtin_strcmp (

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

0-4847

583

argv[1]

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

584

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

585

"--"

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

586

)))); })

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

5-4847

587

== 0)

( __extension_...)))); }) == 0)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

5-4847

588 { -

589 --u_argc; -

590 ++argv; -

591

}

executed 5 times by 1 test: end of block

Executed by:

expr

592 -

593

if (u_argc <= 1

u_argc <= 1	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 4852 times by 1 test Evaluated by: expr

)

1-4852

594 { -

595 error (0, 0, -

596 dcgettext (((void *)0), -

597 "missing operand" -

598 , 5) -

599 ); -

600 usage (EXPR_INVALID); -

601

}

never executed: end of block

602 -

603 args = argv + 1; -

604 -

605 v = eval ( -

606 1 -

607 ); -

608

if (!nomoreargs ()

!nomoreargs ()	Description
TRUE	evaluated 2 times by 1 test Evaluated by: expr
FALSE	evaluated 4832 times by 1 test Evaluated by: expr

)

2-4832

609

((

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

610

dcgettext (((void *)0),

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

611

"syntax error: unexpected argument %s"

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

612

, 5)

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

613

, quotearg_n_style (0, locale_quoting_style, *args)), ((

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

614

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

615

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

616

dcgettext (((void *)0),

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

617

"syntax error: unexpected argument %s"

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

618

, 5)

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

619

, quotearg_n_style (0, locale_quoting_style, *args)), ((

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

620

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

621

) ? (void) 0 : __builtin_unreachable ()))))

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

622

;

executed 2 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected argument %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"...rgs)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected argument %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

623 -

624 printv (v); -

625 -

626

return

executed 4832 times by 1 test: return null (v);

Executed by:

expr

null (v);

executed 4832 times by 1 test: return null (v);

Executed by:

expr

4832

627 } -

628 -

629 -

630 -

631 static VALUE * -

632 int_value (unsigned long int i) -

633 { -

634 VALUE *v = xmalloc (sizeof *v); -

635 v->type = integer; -

636 mpz_init_set_ui (v->u.i, i); -

637

return

executed 830 times by 1 test: return v;

Executed by:

expr

executed 830 times by 1 test: return v;

Executed by:

expr

830

638 } -

639 -

640 -

641 -

642 static VALUE * -

643 str_value (char const *s) -

644 { -

645 VALUE *v = xmalloc (sizeof *v); -

646 v->type = string; -

647 v->u.s = xstrdup (s); -

648

return

executed 11138 times by 1 test: return v;

Executed by:

expr

executed 11138 times by 1 test: return v;

Executed by:

expr

11138

649 } -

650 -

651 -

652 -

653 static void -

654 freev (VALUE *v) -

655 { -

656

if (v->type == string

v->type == string	Description
TRUE	evaluated 2907 times by 1 test Evaluated by: expr
FALSE	evaluated 4197 times by 1 test Evaluated by: expr

)

2907-4197

657

free (v->u.s);

executed 2907 times by 1 test: free (v->u.s);

Executed by:

expr

2907

658 else -

659

mpz_clear (v->u.i);

executed 4197 times by 1 test: mpz_clear (v->u.i);

Executed by:

expr

4197

660 free (v); -

661

}

executed 7104 times by 1 test: end of block

Executed by:

expr

7104

662 -

663 -

664 -

665 static void -

666 printv (VALUE *v) -

667 { -

668 switch (v->type) -

669 { -

670

case

executed 4210 times by 1 test: case integer:

Executed by:

expr

integer:

executed 4210 times by 1 test: case integer:

Executed by:

expr

4210

671 mpz_out_str ( -

672 stdout -

673 , 10, v->u.i); -

674 putchar_unlocked ('\n'); -

675

break;

executed 4210 times by 1 test: break;

Executed by:

expr

4210

676

case

executed 622 times by 1 test: case string:

Executed by:

expr

string:

executed 622 times by 1 test: case string:

Executed by:

expr

622

677 puts (v->u.s); -

678

break;

executed 622 times by 1 test: break;

Executed by:

expr

622

679

default

never executed: default:

680

abort ();

never executed: abort ();

681 } -

682 } -

683 -

684 -

685 -

686 static -

687 _Bool __attribute__ ((__pure__)) -

688 -

689 null (VALUE *v) -

690 { -

691 switch (v->type) -

692 { -

693

case

executed 4210 times by 1 test: case integer:

Executed by:

expr

integer:

executed 4210 times by 1 test: case integer:

Executed by:

expr

4210

694

return

executed 4210 times by 1 test: return mpz_sgn (v->u.i) == 0;

Executed by:

expr

mpz_sgn (v->u.i) == 0;

executed 4210 times by 1 test: return mpz_sgn (v->u.i) == 0;

Executed by:

expr

4210

695

case

executed 629 times by 1 test: case string:

Executed by:

expr

string:

executed 629 times by 1 test: case string:

Executed by:

expr

629

696 { -

697 char const *cp = v->u.s; -

698

if (*

*cp == '\0'	Description
TRUE	evaluated 25 times by 1 test Evaluated by: expr
FALSE	evaluated 604 times by 1 test Evaluated by: expr

cp == '\0'

*cp == '\0'	Description
TRUE	evaluated 25 times by 1 test Evaluated by: expr
FALSE	evaluated 604 times by 1 test Evaluated by: expr

)

25-604

699

return

executed 25 times by 1 test: return 1 ;

Executed by:

expr

executed 25 times by 1 test: return 1 ;

Executed by:

expr

700

executed 25 times by 1 test: return 1 ;

Executed by:

expr

701

;

executed 25 times by 1 test: return 1 ;

Executed by:

expr

702 -

703 cp += (*cp == '-'); -

704 -

705 do -

706 { -

707

if (*

*cp != '0'	Description
TRUE	evaluated 600 times by 1 test Evaluated by: expr
FALSE	evaluated 5 times by 1 test Evaluated by: expr

cp != '0'

*cp != '0'	Description
TRUE	evaluated 600 times by 1 test Evaluated by: expr
FALSE	evaluated 5 times by 1 test Evaluated by: expr

)

5-600

708

return

executed 600 times by 1 test: return 0 ;

Executed by:

expr

executed 600 times by 1 test: return 0 ;

Executed by:

expr

600

709

executed 600 times by 1 test: return 0 ;

Executed by:

expr

600

710

;

executed 600 times by 1 test: return 0 ;

Executed by:

expr

600

711

}

executed 5 times by 1 test: end of block

Executed by:

expr

712

while (*++

*++cp	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 4 times by 1 test Evaluated by: expr

*++cp	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 4 times by 1 test Evaluated by: expr

);

1-4

713 -

714

return

executed 4 times by 1 test: return 1 ;

Executed by:

expr

executed 4 times by 1 test: return 1 ;

Executed by:

expr

715

executed 4 times by 1 test: return 1 ;

Executed by:

expr

716

;

executed 4 times by 1 test: return 1 ;

Executed by:

expr

717 } -

718

default

never executed: default:

719

abort ();

never executed: abort ();

720 } -

721 } -

722 -

723 -

724 -

725 static -

726 _Bool __attribute__ ((__pure__)) -

727 -

728 looks_like_integer (char const *cp) -

729 { -

730 cp += (*cp == '-'); -

731 -

732 do -

733

if (! ((unsigned int) (*cp) - '0' <= 9)

! ((unsigned i...p) - '0' <= 9)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: expr
FALSE	evaluated 24174 times by 1 test Evaluated by: expr

)

2-24174

734

return

executed 2 times by 1 test: return 0 ;

Executed by:

expr

executed 2 times by 1 test: return 0 ;

Executed by:

expr

735

executed 2 times by 1 test: return 0 ;

Executed by:

expr

736

;

executed 2 times by 1 test: return 0 ;

Executed by:

expr

737

while (*++

*++cp	Description
TRUE	evaluated 14204 times by 1 test Evaluated by: expr
FALSE	evaluated 9970 times by 1 test Evaluated by: expr

*++cp	Description
TRUE	evaluated 14204 times by 1 test Evaluated by: expr
FALSE	evaluated 9970 times by 1 test Evaluated by: expr

);

9970-14204

738 -

739

return

executed 9970 times by 1 test: return 1 ;

Executed by:

expr

executed 9970 times by 1 test: return 1 ;

Executed by:

expr

9970

740

executed 9970 times by 1 test: return 1 ;

Executed by:

expr

9970

741

;

executed 9970 times by 1 test: return 1 ;

Executed by:

expr

9970

742 } -

743 -

744 -

745 -

746 static void -

747 tostring (VALUE *v) -

748 { -

749 switch (v->type) -

750 { -

751

case

executed 796 times by 1 test: case integer:

Executed by:

expr

integer:

executed 796 times by 1 test: case integer:

Executed by:

expr

796

752 { -

753 char *s = mpz_get_str ( -

754 ((void *)0) -

755 , 10, v->u.i); -

756 mpz_clear (v->u.i); -

757 v->u.s = s; -

758 v->type = string; -

759 } -

760

break;

executed 796 times by 1 test: break;

Executed by:

expr

796

761

case

executed 2126 times by 1 test: case string:

Executed by:

expr

string:

executed 2126 times by 1 test: case string:

Executed by:

expr

2126

762

break;

executed 2126 times by 1 test: break;

Executed by:

expr

2126

763

default

never executed: default:

764

abort ();

never executed: abort ();

765 } -

766 } -

767 -

768 -

769 -

770 static -

771 _Bool -

772 -

773 toarith (VALUE *v) -

774 { -

775 switch (v->type) -

776 { -

777

case

executed 21 times by 1 test: case integer:

Executed by:

expr

integer:

executed 21 times by 1 test: case integer:

Executed by:

expr

778

return

executed 21 times by 1 test: return 1 ;

Executed by:

expr

executed 21 times by 1 test: return 1 ;

Executed by:

expr

779

executed 21 times by 1 test: return 1 ;

Executed by:

expr

780

;

executed 21 times by 1 test: return 1 ;

Executed by:

expr

781

case

executed 8376 times by 1 test: case string:

Executed by:

expr

string:

executed 8376 times by 1 test: case string:

Executed by:

expr

8376

782 { -

783 char *s = v->u.s; -

784 -

785

if (! looks_like_integer (s)

! looks_like_integer (s)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 8375 times by 1 test Evaluated by: expr

)

1-8375

786

return

executed 1 time by 1 test: return 0 ;

Executed by:

expr

executed 1 time by 1 test: return 0 ;

Executed by:

expr

787

executed 1 time by 1 test: return 0 ;

Executed by:

expr

788

;

executed 1 time by 1 test: return 0 ;

Executed by:

expr

789

if (mpz_init_set_str (v->u.i, s, 10) != 0

mpz_init_set_s...i, s, 10) != 0	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 8374 times by 1 test Evaluated by: expr

&& !0)

1-8374

790

((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

791

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

792

, "%s", (s)), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

793

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

794

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

795

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

796

, "%s", (s)), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

797

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

798

) ? (void) 0 : __builtin_unreachable ()))));

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, 34, \"%s\", (s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, 34 , "%s", (s)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

799 free (s); -

800 v->type = integer; -

801

return

executed 8374 times by 1 test: return 1 ;

Executed by:

expr

executed 8374 times by 1 test: return 1 ;

Executed by:

expr

8374

802

executed 8374 times by 1 test: return 1 ;

Executed by:

expr

8374

803

;

executed 8374 times by 1 test: return 1 ;

Executed by:

expr

8374

804 } -

805

default

never executed: default:

806

abort ();

never executed: abort ();

807 } -

808 } -

809 -

810 -

811 -

812 -

813 static size_t -

814 getsize (mpz_t i) -

815 { -

816

if (mpz_sgn (i) < 0

mpz_sgn (i) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

817

return

never executed: return (18446744073709551615UL) ;

818

(18446744073709551615UL)

never executed: return (18446744073709551615UL) ;

819

;

never executed: return (18446744073709551615UL) ;

820

if (mpz_fits_ulong_p (i)

mpz_fits_ulong_p (i)	Description
TRUE	never evaluated
FALSE	never evaluated

)

821 { -

822 unsigned long int ul = mpz_get_ui (i); -

823

if (ul <

ul < (18446744073709551615UL)	Description
TRUE	never evaluated
FALSE	never evaluated

824

(18446744073709551615UL)

ul < (18446744073709551615UL)	Description
TRUE	never evaluated
FALSE	never evaluated

825 ) -

826

return

never executed: return ul;

ul;

never executed: return ul;

827

}

never executed: end of block

828

return

never executed: return (18446744073709551615UL) - 1;

829

(18446744073709551615UL)

never executed: return (18446744073709551615UL) - 1;

830

- 1;

never executed: return (18446744073709551615UL) - 1;

831 } -

832 -

833 -

834 -

835 -

836 static -

837 _Bool -

838 -

839 nextarg (char const *str) -

840 { -

841

if (*

args == ((void )0)	Description
TRUE	evaluated 72514 times by 1 test Evaluated by: expr
FALSE	evaluated 97983 times by 1 test Evaluated by: expr

args ==

args == ((void )0)	Description
TRUE	evaluated 72514 times by 1 test Evaluated by: expr
FALSE	evaluated 97983 times by 1 test Evaluated by: expr

72514-97983

842

((void *)0)

args == ((void )0)	Description
TRUE	evaluated 72514 times by 1 test Evaluated by: expr
FALSE	evaluated 97983 times by 1 test Evaluated by: expr

72514-97983

843 ) -

844

return

executed 72514 times by 1 test: return 0 ;

Executed by:

expr

executed 72514 times by 1 test: return 0 ;

Executed by:

expr

72514

845

executed 72514 times by 1 test: return 0 ;

Executed by:

expr

72514

846

;

executed 72514 times by 1 test: return 0 ;

Executed by:

expr

72514

847 else -

848 { -

849 -

850 _Bool -

851 r = ( -

852 __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p ( -

853 *args -

854 ) && __builtin_constant_p ( -

855 str -

856 ) && (__s1_len = __builtin_strlen ( -

857 *args -

858 ), __s2_len = __builtin_strlen ( -

859 str -

860 ), (!((size_t)(const void *)(( -

861 *args -

862 ) + 1) - (size_t)(const void *)( -

863 *args -

864 ) == 1) || __s1_len >= 4) && (!((size_t)(const void *)(( -

865 str -

866 ) + 1) - (size_t)(const void *)( -

867 str -

868 ) == 1) || __s2_len >= 4)) ? __builtin_strcmp ( -

869 *args -

870 , -

871 str -

872 ) : (__builtin_constant_p ( -

873 *args -

874 ) && ((size_t)(const void *)(( -

875 *args -

876 ) + 1) - (size_t)(const void *)( -

877 *args -

878 ) == 1) && (__s1_len = __builtin_strlen ( -

879 *args -

880 ), __s1_len < 4) ? (__builtin_constant_p ( -

881 str -

882 ) && ((size_t)(const void *)(( -

883 str -

884 ) + 1) - (size_t)(const void *)( -

885 str -

886 ) == 1) ? __builtin_strcmp ( -

887 *args -

888 , -

889 str -

890 ) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) ( -

891 str -

892 ); int __result = (((const unsigned char *) (const char *) ( -

893 *args -

894

))[0] - __s2[0]); if (__s1_len > 0

__s1_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

895 *args -

896

))[1] - __s2[1]); if (__s1_len > 1

__s1_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

897 *args -

898

))[2] - __s2[2]); if (__s1_len > 2

__s1_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) __result = (((const unsigned char *) (const char *) (

never executed: __result = (((const unsigned char *) (const char *) ( *args ))[3] - __s2[3]);

899

*args

never executed: __result = (((const unsigned char *) (const char *) ( *args ))[3] - __s2[3]);

900

))[3] - __s2[3]);

never executed: __result = (((const unsigned char *) (const char *) ( *args ))[3] - __s2[3]);

}

never executed: end of block

}

never executed: end of block

__result; }))) : (__builtin_constant_p (

901 str -

902 ) && ((size_t)(const void *)(( -

903 str -

904 ) + 1) - (size_t)(const void *)( -

905 str -

906 ) == 1) && (__s2_len = __builtin_strlen ( -

907 str -

908 ), __s2_len < 4) ? (__builtin_constant_p ( -

909 *args -

910 ) && ((size_t)(const void *)(( -

911 *args -

912 ) + 1) - (size_t)(const void *)( -

913 *args -

914 ) == 1) ? __builtin_strcmp ( -

915 *args -

916 , -

917 str -

918 ) : -(__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) ( -

919 *args -

920 ); int __result = (((const unsigned char *) (const char *) ( -

921 str -

922

))[0] - __s2[0]); if (__s2_len > 0

__s2_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

923 str -

924

))[1] - __s2[1]); if (__s2_len > 1

__s2_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

925 str -

926

))[2] - __s2[2]); if (__s2_len > 2

__s2_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) __result = (((const unsigned char *) (const char *) (

never executed: __result = (((const unsigned char *) (const char *) ( str ))[3] - __s2[3]);

927

str

never executed: __result = (((const unsigned char *) (const char *) ( str ))[3] - __s2[3]);

928

))[3] - __s2[3]);

never executed: __result = (((const unsigned char *) (const char *) ( str ))[3] - __s2[3]);

}

never executed: end of block

}

never executed: end of block

__result; }))) : __builtin_strcmp (

929 *args -

930 , -

931 str -

932 )))); }) -

933 == 0); -

934 args += r; -

935

return

executed 97983 times by 1 test: return r;

Executed by:

expr

executed 97983 times by 1 test: return r;

Executed by:

expr

97983

936 } -

937 } -

938 -

939 -

940 -

941 static -

942 _Bool -

943 -

944 nomoreargs (void) -

945 { -

946

return

executed 15373 times by 1 test: return *args == 0;

Executed by:

expr

*args == 0;

executed 15373 times by 1 test: return *args == 0;

Executed by:

expr

15373

947 } -

948 -

949 -

950 -

951 -

952 static void -

953 require_more_args (void) -

954 { -

955

if (nomoreargs ()

nomoreargs ()	Description
TRUE	evaluated 3 times by 1 test Evaluated by: expr
FALSE	evaluated 10526 times by 1 test Evaluated by: expr

)

3-10526

956

((

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

957

dcgettext (((void *)0),

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

958

"syntax error: missing argument after %s"

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

959

, 5)

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

960

, quotearg_n_style (0, locale_quoting_style, *(args-1))), ((

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

961

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

962

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

963

dcgettext (((void *)0),

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

964

"syntax error: missing argument after %s"

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

965

, 5)

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

966

, quotearg_n_style (0, locale_quoting_style, *(args-1))), ((

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

967

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

968

) ? (void) 0 : __builtin_unreachable ()))))

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

969

;

executed 3 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: missing argument after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false...(( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: missing argument after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

970

}

executed 10526 times by 1 test: end of block

Executed by:

expr

10526

971 static VALUE * -

972 docolon (VALUE *sv, VALUE *pv) -

973 { -

974 VALUE *v ; -

975 const char *errmsg; -

976 struct re_pattern_buffer re_buffer; -

977 char fastmap[ -

978 (0x7f * 2 + 1) -

979 + 1]; -

980 struct re_registers re_regs; -

981 regoff_t matchlen; -

982 -

983 tostring (sv); -

984 tostring (pv); -

985 -

986 re_regs.num_regs = 0; -

987 re_regs.start = -

988 ((void *)0) -

989 ; -

990 re_regs.end = -

991 ((void *)0) -

992 ; -

993 -

994 re_buffer.buffer = -

995 ((void *)0) -

996 ; -

997 re_buffer.allocated = 0; -

998 re_buffer.fastmap = fastmap; -

999 re_buffer.translate = -

1000 ((void *)0) -

1001 ; -

1002 re_syntax_options = -

1003 ((((((unsigned long int) 1) << 1) << 1) | ((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) | (((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) | (((((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) | ((((((((((((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1)) | (((unsigned long int) 1) << 1) | ((((((((((((((((((((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1)) & ~((((((((((((((((((((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) & ~((((((((((((((((((unsigned long int) 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1) << 1); -

1004 errmsg = re_compile_pattern (pv->u.s, strlen (pv->u.s), &re_buffer); -

1005

if (errmsg

errmsg	Description
TRUE	evaluated 11 times by 1 test Evaluated by: expr
FALSE	evaluated 652 times by 1 test Evaluated by: expr

)

11-652

1006

((

executed 11 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), ((

executed 11 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1007

executed 11 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1008

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), ((

executed 11 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1009

executed 11 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1010

) ? (void) 0 : __builtin_unreachable ()))));

executed 11 times by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, \"%s\", (errmsg)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, "%s", (errmsg)), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1011 re_buffer.newline_anchor = 0; -

1012 -

1013 matchlen = re_match (&re_buffer, sv->u.s, strlen (sv->u.s), 0, &re_regs); -

1014

if (0 <= matchlen

0 <= matchlen	Description
TRUE	evaluated 646 times by 1 test Evaluated by: expr
FALSE	evaluated 6 times by 1 test Evaluated by: expr

)

6-646

1015 { -

1016 -

1017

if (re_buffer.re_nsub > 0

re_buffer.re_nsub > 0	Description
TRUE	evaluated 617 times by 1 test Evaluated by: expr
FALSE	evaluated 29 times by 1 test Evaluated by: expr

)

29-617

1018 { -

1019 sv->u.s[re_regs.end[1]] = '\0'; -

1020 v = str_value (sv->u.s + re_regs.start[1]); -

1021

}

executed 617 times by 1 test: end of block

Executed by:

expr

617

1022 else -

1023 { -

1024 -

1025 -

1026 size_t i = ( -

1027

(

(__ctype_get_m...r_max ()) == 1	Description
TRUE	evaluated 29 times by 1 test Evaluated by: expr
FALSE	never evaluated

__ctype_get_mb_cur_max ())

(__ctype_get_m...r_max ()) == 1	Description
TRUE	evaluated 29 times by 1 test Evaluated by: expr
FALSE	never evaluated

0-29

1028

== 1

(__ctype_get_m...r_max ()) == 1	Description
TRUE	evaluated 29 times by 1 test Evaluated by: expr
FALSE	never evaluated

0-29

1029 ? matchlen -

1030 : mbs_offset_to_chars (sv->u.s, matchlen)); -

1031 v = int_value (i); -

1032

}

executed 29 times by 1 test: end of block

Executed by:

expr

1033 } -

1034

else if (matchlen == -1

matchlen == -1	Description
TRUE	evaluated 6 times by 1 test Evaluated by: expr
FALSE	never evaluated

)

0-6

1035 { -

1036 -

1037

if (re_buffer.re_nsub > 0

re_buffer.re_nsub > 0	Description
TRUE	evaluated 5 times by 1 test Evaluated by: expr
FALSE	evaluated 1 time by 1 test Evaluated by: expr

)

1-5

1038

v = str_value ("");

executed 5 times by 1 test: v = str_value ("");

Executed by:

expr

1039 else -

1040

v = int_value (0);

executed 1 time by 1 test: v = int_value (0);

Executed by:

expr

1041 } -

1042 else -

1043

((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_FAILURE, (matchlen == -2 ?

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1044

(*__errno_location ())

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1045

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1046

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1047

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1048

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1049

"error in regular expression matcher"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1050

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1051

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1052

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1053

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ?

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1054

(*__errno_location ())

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1055

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1056

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1057

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1058

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1059

"error in regular expression matcher"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1060

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1061

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1062

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1063

) ? (void) 0 : __builtin_unreachable ()))))

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1064 0

1065

;

never executed:

((!!sizeof (struct { _Static_assert (EXPR_FAILURE, "verify_expr (" "EXPR_FAILURE" ", " "(error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75), dcgettext (((void *)0), \"error in regular expression matcher\", 5)), assume (false))" ")"); int ...her" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_FAILURE, (matchlen == -2 ? (*__errno_location ()) : 75 ), dcgettext (((void *)0), "error in regular expression matcher" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

1066 -

1067

if (0 < re_regs.num_regs

0 < re_regs.num_regs	Description
TRUE	evaluated 646 times by 1 test Evaluated by: expr
FALSE	evaluated 6 times by 1 test Evaluated by: expr

)

6-646

1068 { -

1069 free (re_regs.start); -

1070 free (re_regs.end); -

1071

}

executed 646 times by 1 test: end of block

Executed by:

expr

646

1072 re_buffer.fastmap = -

1073 ((void *)0) -

1074 ; -

1075 regfree (&re_buffer); -

1076

return

executed 652 times by 1 test: return v;

Executed by:

expr

executed 652 times by 1 test: return v;

Executed by:

expr

652

1077 } -

1078 -

1079 -

1080 -

1081 static VALUE * -

1082 eval7 ( -

1083 _Bool -

1084 evaluate) -

1085 { -

1086 VALUE *v; -

1087 -

1088 -

1089 -

1090 -

1091 require_more_args (); -

1092 -

1093

if (nextarg ("(")

nextarg ("(")	Description
TRUE	evaluated 10 times by 1 test Evaluated by: expr
FALSE	evaluated 10516 times by 1 test Evaluated by: expr

)

10-10516

1094 { -

1095 v = eval (evaluate); -

1096

if (nomoreargs ()

nomoreargs ()	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 9 times by 1 test Evaluated by: expr

)

1-9

1097

((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1098

dcgettext (((void *)0),

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1099

"syntax error: expecting ')' after %s"

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1100

, 5)

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1101

, quotearg_n_style (0, locale_quoting_style, *(args-1))), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1102

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1103

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1104

dcgettext (((void *)0),

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1105

"syntax error: expecting ')' after %s"

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1106

, 5)

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1107

, quotearg_n_style (0, locale_quoting_style, *(args-1))), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1108

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1109

) ? (void) 0 : __builtin_unreachable ()))))

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1110

;

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' after %s\", 5), quotearg_n_style (0, locale_quoting_style, *(args-1))), assume (false))"...), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' after %s" , 5) , quotearg_n_style (0, locale_quoting_style, *(args-1))), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1111

if (!nextarg (")")

!nextarg (")")	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 8 times by 1 test Evaluated by: expr

)

1-8

1112

((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1113

dcgettext (((void *)0),

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1114

"syntax error: expecting ')' instead of %s"

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1115

, 5)

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1116

, quotearg_n_style (0, locale_quoting_style, *args)), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1117

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1118

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1119

dcgettext (((void *)0),

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1120

"syntax error: expecting ')' instead of %s"

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1121

, 5)

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1122

, quotearg_n_style (0, locale_quoting_style, *args)), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1123

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1124

) ? (void) 0 : __builtin_unreachable ()))))

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1125

;

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: expecting ')' instead of %s\", 5), quotearg_n_style (0, locale_quoting_style, *args)), assume (false))..., (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: expecting ')' instead of %s" , 5) , quotearg_n_style (0, locale_quoting_style, *args)), (( 0 ) ? (void) 0 : __builtin_unreachable ())))) ;

Executed by:

expr

1126

return

executed 8 times by 1 test: return v;

Executed by:

expr

executed 8 times by 1 test: return v;

Executed by:

expr

1127 } -

1128 -

1129

if (nextarg (")")

nextarg (")")	Description
TRUE	never evaluated
FALSE	evaluated 10516 times by 1 test Evaluated by: expr

)

0-10516

1130

((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1131

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1132

"syntax error: unexpected ')'"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1133

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1134

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1135

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1136

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1137

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1138

"syntax error: unexpected ')'"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1139

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1140

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1141

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1142

) ? (void) 0 : __builtin_unreachable ()))));

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"syntax error: unexpected ')'\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "syntax error: unexpected ')'" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1143 -

1144

return

executed 10516 times by 1 test: return str_value (*args++);

Executed by:

expr

str_value (*args++);

executed 10516 times by 1 test: return str_value (*args++);

Executed by:

expr

10516

1145 } -

1146 -

1147 -

1148 -

1149 static VALUE * -

1150 eval6 ( -

1151 _Bool -

1152 evaluate) -

1153 { -

1154 VALUE *l; -

1155 VALUE *r; -

1156 VALUE *v; -

1157 VALUE *i1; -

1158 VALUE *i2; -

1159 -

1160 -

1161 -

1162 -

1163

if (nextarg ("+")

nextarg ("+")	Description
TRUE	never evaluated
FALSE	evaluated 10530 times by 1 test Evaluated by: expr

)

0-10530

1164 { -

1165 require_more_args (); -

1166

return

never executed: return str_value (*args++);

str_value (*args++);

never executed: return str_value (*args++);

1167 } -

1168

else if (nextarg ("length")

nextarg ("length")	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 10529 times by 1 test Evaluated by: expr

)

1-10529

1169 { -

1170 r = eval6 (evaluate); -

1171 tostring (r); -

1172 v = int_value (mbslen (r->u.s)); -

1173 freev (r); -

1174

return

never executed: return v;

1175 } -

1176

else if (nextarg ("match")

nextarg ("match")	Description
TRUE	never evaluated
FALSE	evaluated 10529 times by 1 test Evaluated by: expr

)

0-10529

1177 { -

1178 l = eval6 (evaluate); -

1179 r = eval6 (evaluate); -

1180

if (evaluate

evaluate	Description
TRUE	never evaluated
FALSE	never evaluated

)

1181 { -

1182 v = docolon (l, r); -

1183 freev (l); -

1184

}

never executed: end of block

1185 else -

1186

v = l;

never executed: v = l;

1187 freev (r); -

1188

return

never executed: return v;

1189 } -

1190

else if (nextarg ("index")

nextarg ("index")	Description
TRUE	never evaluated
FALSE	evaluated 10529 times by 1 test Evaluated by: expr

)

0-10529

1191 { -

1192 size_t pos; -

1193 -

1194 l = eval6 (evaluate); -

1195 r = eval6 (evaluate); -

1196 tostring (l); -

1197 tostring (r); -

1198 pos = mbs_logical_cspn (l->u.s, r->u.s); -

1199 v = int_value (pos); -

1200 freev (l); -

1201 freev (r); -

1202

return

never executed: return v;

1203 } -

1204

else if (nextarg ("substr")

nextarg ("substr")	Description
TRUE	never evaluated
FALSE	evaluated 10529 times by 1 test Evaluated by: expr

)

0-10529

1205 { -

1206 l = eval6 (evaluate); -

1207 i1 = eval6 (evaluate); -

1208 i2 = eval6 (evaluate); -

1209 tostring (l); -

1210 -

1211

if (!toarith (i1)

!toarith (i1)	Description
TRUE	never evaluated
FALSE	never evaluated

|| !toarith (i2)

!toarith (i2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

1212

v = str_value ("");

never executed: v = str_value ("");

1213 else -

1214 { -

1215 size_t pos = getsize (i1->u.i); -

1216 size_t len = getsize (i2->u.i); -

1217 -

1218 char *s = mbs_logical_substr (l->u.s, pos, len); -

1219 v = str_value (s); -

1220 free (s); -

1221

}

never executed: end of block

1222 freev (l); -

1223 freev (i1); -

1224 freev (i2); -

1225

return

never executed: return v;

1226 } -

1227 else -

1228

return

executed 10529 times by 1 test: return eval7 (evaluate);

Executed by:

expr

eval7 (evaluate);

executed 10529 times by 1 test: return eval7 (evaluate);

Executed by:

expr

10529

1229 } -

1230 -

1231 -

1232 -

1233 -

1234 static VALUE * -

1235 eval5 ( -

1236 _Bool -

1237 evaluate) -

1238 { -

1239 VALUE *l; -

1240 VALUE *r; -

1241 VALUE *v; -

1242 -

1243 -

1244 -

1245 -

1246 l = eval6 (evaluate); -

1247 while (1) -

1248 { -

1249

if (nextarg (":")

nextarg (":")	Description
TRUE	evaluated 664 times by 1 test Evaluated by: expr
FALSE	evaluated 9849 times by 1 test Evaluated by: expr

)

664-9849

1250 { -

1251 r = eval6 (evaluate); -

1252

if (evaluate

evaluate	Description
TRUE	evaluated 663 times by 1 test Evaluated by: expr
FALSE	never evaluated

)

0-663

1253 { -

1254 v = docolon (l, r); -

1255 freev (l); -

1256 l = v; -

1257

}

executed 652 times by 1 test: end of block

Executed by:

expr

652

1258 freev (r); -

1259

}

executed 652 times by 1 test: end of block

Executed by:

expr

652

1260 else -

1261

return

executed 9849 times by 1 test: return l;

Executed by:

expr

executed 9849 times by 1 test: return l;

Executed by:

expr

9849

1262 } -

1263

}

never executed: end of block

1264 -

1265 -

1266 -

1267 static VALUE * -

1268 eval4 ( -

1269 _Bool -

1270 evaluate) -

1271 { -

1272 VALUE *l; -

1273 VALUE *r; -

1274 enum { multiply, divide, mod } fxn; -

1275 -

1276 -

1277 -

1278 -

1279 l = eval5 (evaluate); -

1280 while (1) -

1281 { -

1282

if (nextarg ("*")

nextarg ("*")	Description
TRUE	evaluated 513 times by 1 test Evaluated by: expr
FALSE	evaluated 9335 times by 1 test Evaluated by: expr

)

513-9335

1283

fxn = multiply;

executed 513 times by 1 test: fxn = multiply;

Executed by:

expr

513

1284

else if (nextarg ("/")

nextarg ("/")	Description
TRUE	evaluated 817 times by 1 test Evaluated by: expr
FALSE	evaluated 8518 times by 1 test Evaluated by: expr

)

817-8518

1285

fxn = divide;

executed 817 times by 1 test: fxn = divide;

Executed by:

expr

817

1286

else if (nextarg ("%")

nextarg ("%")	Description
TRUE	evaluated 8 times by 1 test Evaluated by: expr
FALSE	evaluated 8510 times by 1 test Evaluated by: expr

)

8-8510

1287

fxn = mod;

executed 8 times by 1 test: fxn = mod;

Executed by:

expr

1288 else -

1289

return

executed 8510 times by 1 test: return l;

Executed by:

expr

executed 8510 times by 1 test: return l;

Executed by:

expr

8510

1290 r = eval5 (evaluate); -

1291

if (evaluate

evaluate	Description
TRUE	evaluated 1336 times by 1 test Evaluated by: expr
FALSE	evaluated 2 times by 1 test Evaluated by: expr

)

2-1336

1292 { -

1293

if (!toarith (l)

!toarith (l)	Description
TRUE	never evaluated
FALSE	evaluated 1335 times by 1 test Evaluated by: expr

|| !toarith (r)

!toarith (r)	Description
TRUE	never evaluated
FALSE	evaluated 1335 times by 1 test Evaluated by: expr

)

0-1335

1294

((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1295

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1296

"non-integer argument"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1297

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1298

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1299

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1300

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1301

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1302

"non-integer argument"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1303

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1304

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1305

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1306

) ? (void) 0 : __builtin_unreachable ()))));

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1307

if (fxn != multiply

fxn != multiply	Description
TRUE	evaluated 823 times by 1 test Evaluated by: expr
FALSE	evaluated 512 times by 1 test Evaluated by: expr

&& mpz_sgn (r->u.i) == 0

mpz_sgn (r->u.i) == 0	Description
TRUE	never evaluated
FALSE	evaluated 823 times by 1 test Evaluated by: expr

)

0-823

1308

((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0,

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1309

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1310

"division by zero"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1311

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1312

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1313

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1314

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1315

dcgettext (((void *)0),

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1316

"division by zero"

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1317

, 5)

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1318

), ((

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1319

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1320

) ? (void) 0 : __builtin_unreachable ()))));

never executed:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"division by zero\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "division by zero" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

1321 ((fxn == multiply ? mpz_mul -

1322 : fxn == divide ? mpz_tdiv_q -

1323 : mpz_tdiv_r) -

1324 (l->u.i, l->u.i, r->u.i)); -

1325

}

executed 1335 times by 1 test: end of block

Executed by:

expr

1335

1326 freev (r); -

1327

}

executed 1337 times by 1 test: end of block

Executed by:

expr

1337

1328

}

never executed: end of block

1329 -

1330 -

1331 -

1332 static VALUE * -

1333 eval3 ( -

1334 _Bool -

1335 evaluate) -

1336 { -

1337 VALUE *l; -

1338 VALUE *r; -

1339 enum { plus, minus } fxn; -

1340 -

1341 -

1342 -

1343 -

1344 l = eval4 (evaluate); -

1345 while (1) -

1346 { -

1347

if (nextarg ("+")

nextarg ("+")	Description
TRUE	evaluated 2853 times by 1 test Evaluated by: expr
FALSE	evaluated 5656 times by 1 test Evaluated by: expr

)

2853-5656

1348

fxn = plus;

executed 2853 times by 1 test: fxn = plus;

Executed by:

expr

2853

1349

else if (nextarg ("-")

nextarg ("-")	Description
TRUE	evaluated 11 times by 1 test Evaluated by: expr
FALSE	evaluated 5645 times by 1 test Evaluated by: expr

)

11-5645

1350

fxn = minus;

executed 11 times by 1 test: fxn = minus;

Executed by:

expr

1351 else -

1352

return

executed 5645 times by 1 test: return l;

Executed by:

expr

executed 5645 times by 1 test: return l;

Executed by:

expr

5645

1353 r = eval4 (evaluate); -

1354

if (evaluate

evaluate	Description
TRUE	evaluated 2863 times by 1 test Evaluated by: expr
FALSE	never evaluated

)

0-2863

1355 { -

1356

if (!toarith (l)

!toarith (l)	Description
TRUE	never evaluated
FALSE	evaluated 2863 times by 1 test Evaluated by: expr

|| !toarith (r)

!toarith (r)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 2862 times by 1 test Evaluated by: expr

)

0-2863

1357

((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1358

dcgettext (((void *)0),

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1359

"non-integer argument"

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1360

, 5)

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1361

), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1362

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1363

) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0,

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1364

dcgettext (((void *)0),

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1365

"non-integer argument"

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1366

, 5)

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1367

), ((

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1368

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1369

) ? (void) 0 : __builtin_unreachable ()))));

executed 1 time by 1 test:

((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"non-integer argument\", 5)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, dcgettext (((void *)0), "non-integer argument" , 5) ), (( 0 ) ? (void) 0 : __builtin_unreachable ()))));

Executed by:

expr

1370 (fxn == plus ? mpz_add : mpz_sub) (l->u.i, l->u.i, r->u.i); -

1371

}

executed 2862 times by 1 test: end of block

Executed by:

expr

2862

1372 freev (r); -

1373

}

executed 2862 times by 1 test: end of block

Executed by:

expr

2862

1374

}

never executed: end of block

1375 -

1376 -

1377 -

1378 static VALUE * -

1379 eval2 ( -

1380 _Bool -

1381 evaluate) -

1382 { -

1383 VALUE *l; -

1384 -

1385 -

1386 -

1387 -

1388 l = eval3 (evaluate); -

1389 while (1) -

1390 { -

1391 VALUE *r; -

1392 enum -

1393 { -

1394 less_than, less_equal, equal, not_equal, greater_equal, greater_than -

1395 } fxn; -

1396 -

1397 _Bool -

1398 val = -

1399 0 -

1400 ; -

1401 -

1402

if (nextarg ("<")

nextarg ("<")	Description
TRUE	evaluated 798 times by 1 test Evaluated by: expr
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

798-4847

1403

fxn = less_than;

executed 798 times by 1 test: fxn = less_than;

Executed by:

expr

798

1404

else if (nextarg ("<=")

nextarg ("<=")	Description
TRUE	never evaluated
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

0-4847

1405

fxn = less_equal;

never executed: fxn = less_equal;

1406

else if (nextarg ("=")

nextarg ("=")	Description
TRUE	never evaluated
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

|| nextarg ("==")

nextarg ("==")	Description
TRUE	never evaluated
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

0-4847

1407

fxn = equal;

never executed: fxn = equal;

1408

else if (nextarg ("!=")

nextarg ("!=")	Description
TRUE	never evaluated
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

0-4847

1409

fxn = not_equal;

never executed: fxn = not_equal;

1410

else if (nextarg (">=")

nextarg (">=")	Description
TRUE	never evaluated
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

0-4847

1411

fxn = greater_equal;

never executed: fxn = greater_equal;

1412

else if (nextarg (">")

nextarg (">")	Description
TRUE	never evaluated
FALSE	evaluated 4847 times by 1 test Evaluated by: expr

)

0-4847

1413

fxn = greater_than;

never executed: fxn = greater_than;

1414 else -

1415

return

executed 4847 times by 1 test: return l;

Executed by:

expr

executed 4847 times by 1 test: return l;

Executed by:

expr

4847

1416 r = eval3 (evaluate); -

1417 -

1418

if (evaluate

evaluate	Description
TRUE	evaluated 798 times by 1 test Evaluated by: expr
FALSE	never evaluated

)

0-798

1419 { -

1420 int cmp; -

1421 tostring (l); -

1422 tostring (r); -

1423 -

1424

if (looks_like_integer (l->u.s)

looks_like_integer (l->u.s)	Description
TRUE	evaluated 798 times by 1 test Evaluated by: expr
FALSE	never evaluated

&& looks_like_integer (r->u.s)

looks_like_integer (r->u.s)	Description
TRUE	evaluated 797 times by 1 test Evaluated by: expr
FALSE	evaluated 1 time by 1 test Evaluated by: expr

)

0-798

1425

cmp = strintcmp (l->u.s, r->u.s);

executed 797 times by 1 test: cmp = strintcmp (l->u.s, r->u.s);

Executed by:

expr

797

1426 else -

1427 { -

1428 -

1429 (*__errno_location ()) -

1430 = 0; -

1431 cmp = strcoll (l->u.s, r->u.s); -

1432 -

1433 if ( -

1434

(*__errno_location ())	Description
TRUE	never evaluated
FALSE	evaluated 1 time by 1 test Evaluated by: expr

__errno_location ())

(*__errno_location ())	Description
TRUE	never evaluated
FALSE	evaluated 1 time by 1 test Evaluated by: expr

0-1

1435 ) -

1436 { -

1437 error (0, -

1438 (*__errno_location ()) -

1439 , -

1440 dcgettext (((void *)0), -

1441 "string comparison failed" -

1442 , 5) -

1443 ); -

1444 error (0, 0, -

1445 dcgettext (((void *)0), -

1446 "set LC_ALL='C' to work around the problem" -

1447 , 5) -

1448 ); -

1449 ((!!sizeof (struct { _Static_assert (EXPR_INVALID, "verify_expr (" "EXPR_INVALID" ", " "(error (EXPR_INVALID, 0, dcgettext (((void *)0), \"the strings compared were %s and %s\", 5), quotearg_n_style (0, locale_quoting_style, l->u.s), quotearg_n_style (1, locale_quoting_style, r->u.s)), assume (false))" ")"); int _gl_dummy; })) ? ((error (EXPR_INVALID, 0, -

1450 dcgettext (((void *)0), -

1451 "the strings compared were %s and %s" -

1452 , 5) -

1453 , quotearg_n_style (0, locale_quoting_style, l->u.s), quotearg_n_style (1, locale_quoting_style, r->u.s)), (( -

1454 0 -

1455 ) ? (void) 0 : __builtin_unreachable ()))) : ((error (EXPR_INVALID, 0, -

1456 dcgettext (((void *)0), -

1457 "the strings compared were %s and %s" -

1458 , 5) -

1459 , quotearg_n_style (0, locale_quoting_style, l->u.s), quotearg_n_style (1, locale_quoting_style, r->u.s)), (( -

1460 0 -

1461 ) ? (void) 0 : __builtin_unreachable ())))) -

1462 -

1463 -

1464 ; -

1465

}

never executed: end of block

1466

}

executed 1 time by 1 test: end of block

Executed by:

expr

1467 -

1468 switch (fxn) -

1469 { -

1470

case

executed 798 times by 1 test: case less_than:

Executed by:

expr

less_than:

executed 798 times by 1 test: case less_than:

Executed by:

expr

val = (cmp < 0); break;

executed 798 times by 1 test: break;

Executed by:

expr

798

1471

case

never executed: case less_equal:

less_equal:

never executed: case less_equal:

val = (cmp <= 0); break;

never executed: break;

1472

case

never executed: case equal:

equal:

never executed: case equal:

val = (cmp == 0); break;

never executed: break;

1473

case

never executed: case not_equal:

not_equal:

never executed: case not_equal:

val = (cmp != 0); break;

never executed: break;

1474

case

never executed: case greater_equal:

greater_equal:

never executed: case greater_equal:

val = (cmp >= 0); break;

never executed: break;

1475

case

never executed: case greater_than:

greater_than:

never executed: case greater_than:

val = (cmp > 0); break;

never executed: break;

1476

default

never executed: default:

abort ();

never executed: abort ();

1477 } -

1478 } -

1479 -

1480 freev (l); -

1481 freev (r); -

1482 l = int_value (val); -

1483

}

executed 798 times by 1 test: end of block

Executed by:

expr

798

1484

}

never executed: end of block

1485 -

1486 -

1487 -

1488 static VALUE * -

1489 eval1 ( -

1490 _Bool -

1491 evaluate) -

1492 { -

1493 VALUE *l; -

1494 VALUE *r; -

1495 -

1496 -

1497 -

1498 -

1499 l = eval2 (evaluate); -

1500 while (1) -

1501 { -

1502

if (nextarg ("&")

nextarg ("&")	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 4846 times by 1 test Evaluated by: expr

)

1-4846

1503 { -

1504 r = eval2 (evaluate && !null (l)); -

1505

if (null (l)

null (l)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	never evaluated

|| null (r)

null (r)	Description
TRUE	never evaluated
FALSE	never evaluated

)

0-1

1506 { -

1507 freev (l); -

1508 freev (r); -

1509 l = int_value (0); -

1510

}

executed 1 time by 1 test: end of block

Executed by:

expr

1511 else -

1512

freev (r);

never executed: freev (r);

1513 } -

1514 else -

1515

return

executed 4846 times by 1 test: return l;

Executed by:

expr

executed 4846 times by 1 test: return l;

Executed by:

expr

4846

1516 } -

1517

}

never executed: end of block

1518 -

1519 -

1520 -

1521 static VALUE * -

1522 eval ( -

1523 _Bool -

1524 evaluate) -

1525 { -

1526 VALUE *l; -

1527 VALUE *r; -

1528 -

1529 -

1530 -

1531 -

1532 l = eval1 (evaluate); -

1533 while (1) -

1534 { -

1535

if (nextarg ("|")

nextarg ("\|")	Description
TRUE	evaluated 2 times by 1 test Evaluated by: expr
FALSE	evaluated 4844 times by 1 test Evaluated by: expr

)

2-4844

1536 { -

1537 r = eval1 (evaluate && null (l)); -

1538

if (null (l)

null (l)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	evaluated 1 time by 1 test Evaluated by: expr

)

1539 { -

1540 freev (l); -

1541 l = r; -

1542

if (null (l)

null (l)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: expr
FALSE	never evaluated

)

0-1

1543 { -

1544 freev (l); -

1545 l = int_value (0); -

1546

}

executed 1 time by 1 test: end of block

Executed by:

expr

1547

}

executed 1 time by 1 test: end of block

Executed by:

expr

1548 else -

1549

freev (r);

executed 1 time by 1 test: freev (r);

Executed by:

expr

1550 } -

1551 else -

1552

return

executed 4844 times by 1 test: return l;

Executed by:

expr

executed 4844 times by 1 test: return l;

Executed by:

expr

4844

1553 } -

1554

}

never executed: end of block

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.1.2