Title goes here

TRUE

1028		__analyzer_eval (b.ia[0] == d.ia[0]); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

1029		__analyzer_eval (b.ia[1023] == d.ia[1023]); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

1015		__analyzer_eval (c.x == d.x); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

1016		__analyzer_eval (c.y == d.y); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

996		__analyzer_eval (p == q); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

997		__analyzer_eval (p == p); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

998		__analyzer_eval (q == q); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

999		__analyzer_eval (p == (struct coord )p); / { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

1000		__analyzer_eval (p == (const struct coord )p); / { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

1003		__analyzer_eval (p == cp); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

1006		__analyzer_eval (q == cq); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

1008		__analyzer_eval (cp == cq); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

955		__analyzer_eval (bits.b0 == 1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

958		__analyzer_eval (bits.b456 == 5); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

937		__analyzer_eval (bits.b0 == -1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

940		__analyzer_eval (bits.b456 == -4); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

922		__analyzer_eval (i == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

913		__analyzer_eval (f == 42.0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

898		__analyzer_eval (u.i == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

899		__analyzer_eval (u.ptr == NULL); /* { dg-warning "UNKNOWN\|FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

903		__analyzer_eval (u.ptr == NULL); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

FALSE

904		__analyzer_eval (u.i == 42); /* { dg-warning "UNKNOWN\|FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

885		__analyzer_eval (in->next->next->next->f == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

863		__analyzer_eval (i == 43); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

865		__analyzer_eval (i == 17); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

802		__analyzer_eval (i == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

806		__analyzer_eval (i == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

790		__analyzer_eval (&i == &i); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

791		__analyzer_eval (&i != &j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

777		__analyzer_eval (parm == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

785		__analyzer_eval (result == 84); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

767		__analyzer_eval (s == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

771		__analyzer_eval (s == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

755		__analyzer_eval (c == GREEN); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

759		__analyzer_eval (c == RED); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

FALSE

760		__analyzer_eval (c == GREEN); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

734		__analyzer_eval (p->x == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

735		__analyzer_eval (q->x == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

693		__analyzer_eval (p[0].x == 100024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

694		__analyzer_eval (p[0].y == 100025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

696		__analyzer_eval (p[7].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

697		__analyzer_eval (p[7].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

699		__analyzer_eval (p[9].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

700		__analyzer_eval (p[9].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

704		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

705		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

707		__analyzer_eval (q[2].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

708		__analyzer_eval (q[2].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

712		__analyzer_eval (q->x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

713		__analyzer_eval (q->y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

715		__analyzer_eval (q[-2].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

716		__analyzer_eval (q[-2].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

719		__analyzer_eval (q == &p[7]); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

721		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

722		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

645		__analyzer_eval (p[0].x == 100024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

646		__analyzer_eval (p[0].y == 100025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

648		__analyzer_eval (p[7].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

649		__analyzer_eval (p[7].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

651		__analyzer_eval (p[9].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

652		__analyzer_eval (p[9].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

656		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

657		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

659		__analyzer_eval (q[2].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

660		__analyzer_eval (q[2].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

664		__analyzer_eval (q->x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

665		__analyzer_eval (q->y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

667		__analyzer_eval (q[-2].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

668		__analyzer_eval (q[-2].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

671		__analyzer_eval (q == &p[7]); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

673		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

674		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

596		__analyzer_eval (p[0].x == 100024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

597		__analyzer_eval (p[0].y == 100025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

599		__analyzer_eval (p[7].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

600		__analyzer_eval (p[7].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

602		__analyzer_eval (p[9].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

603		__analyzer_eval (p[9].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

605		__analyzer_eval (p[10].x == 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

606		__analyzer_eval (p[10].y == 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

610		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

611		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

613		__analyzer_eval (q[2].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

614		__analyzer_eval (q[2].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

618		__analyzer_eval (q->x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

619		__analyzer_eval (q->y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

621		__analyzer_eval (q[-2].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

622		__analyzer_eval (q[-2].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

625		__analyzer_eval (q == &p[7]); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

627		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

628		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

549		__analyzer_eval (p[0].x == 100024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

550		__analyzer_eval (p[0].y == 100025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

552		__analyzer_eval (p[7].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

553		__analyzer_eval (p[7].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

555		__analyzer_eval (p[9].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

556		__analyzer_eval (p[9].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

558		__analyzer_eval (p[10].x == 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

559		__analyzer_eval (p[10].y == 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

563		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

564		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

566		__analyzer_eval (q[2].x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

567		__analyzer_eval (q[2].y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

571		__analyzer_eval (q->x == 109024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

572		__analyzer_eval (q->y == 109025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

574		__analyzer_eval (q[-2].x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

575		__analyzer_eval (q[-2].y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

579		__analyzer_eval (q->x == 107024); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

580		__analyzer_eval (q->y == 107025); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

526		__analyzer_eval (p[0].x == 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

527		__analyzer_eval (p[0].y == 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

529		__analyzer_eval (p[9].x == 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

530		__analyzer_eval (p[9].y == 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

532		__analyzer_eval (p[10].x == 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

533		__analyzer_eval (p[10].y == 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

519		__analyzer_eval (p->x == 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

520		__analyzer_eval (p->y == 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

499		__analyzer_eval (p->x == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

500		__analyzer_eval (p->y); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

501		__analyzer_eval (q->x); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~

TRUE

502		__analyzer_eval (q->y == 17); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

508		__analyzer_eval (p->x); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~

TRUE

509		__analyzer_eval (p->y == 17); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

511		__analyzer_eval (q->x); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

512		__analyzer_eval (q->y == 17); /* { dg-warning "TRUE" "desired" { xfail --* } } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

485		__analyzer_eval (f->i == 43); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

486		__analyzer_eval (g.i == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

492		__analyzer_eval (g.i == 43); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

472		__analyzer_eval (g.i == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

477		__analyzer_eval (g.i == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

464		__analyzer_eval (i == j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

465		__analyzer_eval (i == k); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

454		__analyzer_eval (i + j == i + j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

418		__analyzer_eval (i + j == 8); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

419		__analyzer_eval (i - j == 2); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

420		__analyzer_eval (i * j == 15); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

421		__analyzer_eval (i / j == 1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

422		__analyzer_eval (i % j == 2); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

426		__analyzer_eval (i / zero); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

427		__analyzer_eval (i % zero); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

429		__analyzer_eval ((i & 1) == (5 & 1)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

430		__analyzer_eval ((i & j) == (5 & 3)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

431		__analyzer_eval ((i \| 1) == (5 \| 1)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

432		__analyzer_eval ((i \| j) == (5 \| 3)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

433		__analyzer_eval ((i ^ 1) == (5 ^ 1)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

434		__analyzer_eval ((i ^ j) == (5 ^ 3)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

435		__analyzer_eval ((i >> 1) == (5 >> 1)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

436		__analyzer_eval ((i >> j) == (5 >> 3)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

437		__analyzer_eval ((i << 1) == (5 << 1)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

438		__analyzer_eval ((i << j) == (5 << 3)); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

FALSE

439		__analyzer_eval (i && 0); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

440		__analyzer_eval (i && 1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

441		__analyzer_eval (i && j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

443		__analyzer_eval (i \|\| 0); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

444		__analyzer_eval (i \|\| 1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

445		__analyzer_eval (i \|\| j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

447		__analyzer_eval (~i == ~5); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

448		__analyzer_eval (-i == -5); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

449		__analyzer_eval (+i == +5); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

359		__analyzer_eval (i + 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

360		__analyzer_eval (i + j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

362		__analyzer_eval (i - 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

363		__analyzer_eval (i - j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

365		__analyzer_eval (i * 2); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

366		__analyzer_eval (i * j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

368		__analyzer_eval (i / 2); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

369		__analyzer_eval (i / j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

371		__analyzer_eval (i % 2); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

372		__analyzer_eval (i % j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

374		__analyzer_eval (i & 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

375		__analyzer_eval (i & j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

377		__analyzer_eval (i \| 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

378		__analyzer_eval (i \| j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

380		__analyzer_eval (i ^ 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

381		__analyzer_eval (i ^ j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

383		__analyzer_eval (i >> 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

384		__analyzer_eval (i >> j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

386		__analyzer_eval (i << 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

387		__analyzer_eval (i << j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

389		__analyzer_eval (i && 0); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

390		__analyzer_eval (i && 1); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

391		__analyzer_eval (i && j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

393		__analyzer_eval (i \|\| 0); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

395		__analyzer_eval (i \|\| 1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

396		__analyzer_eval (i \|\| j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

398		__analyzer_eval (~i); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~

UNKNOWN

399		__analyzer_eval (-i); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~

UNKNOWN

400		__analyzer_eval (+i); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~

UNKNOWN

336		__analyzer_eval (i == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

340		__analyzer_eval (i == j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

341		__analyzer_eval (i >= j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

342		__analyzer_eval (i <= j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

344		__analyzer_eval (i != j); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

345		__analyzer_eval (i > j); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~

FALSE

346		__analyzer_eval (i < j); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~

TRUE

326		__analyzer_eval (j == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

328		__analyzer_eval (i == j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

330		__analyzer_eval (i == j); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

317		__analyzer_eval (j == i); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

320		__analyzer_eval (j == i); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

304		__analyzer_eval (global_int_16d == i); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

307		__analyzer_eval (global_int_16d == i); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

296		__analyzer_eval (i == j); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

284		__analyzer_eval (j == i); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

287		__analyzer_eval (j == i); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

272		__analyzer_eval (strlen (msg) == strlen (msg)); /* { dg-warning "TRUE" "desired" { xfail --* } } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

267		__analyzer_eval (strlen (msg) == 11); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

256		__analyzer_eval (msg != NULL); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

258		__analyzer_eval (msg[0] == 'h'); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

260		__analyzer_eval (msg[1] == 'e'); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

262		__analyzer_eval (strlen (msg) == 11); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

233		__analyzer_eval (msg != NULL); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

235		__analyzer_eval (msg[0] == 'h'); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

237		__analyzer_eval (msg[1] == 'e'); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

239		__analyzer_eval (strlen (msg) == 11); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

242		__analyzer_eval (msg[100] == 'e'); /* { dg-warning "UNKNOWN" "eval result" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

221		__analyzer_eval (ch == 'a'); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

222		__analyzer_eval (ch == str[0]); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

225		__analyzer_eval (ch == 'a'); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

226		__analyzer_eval (str[0] == 'a'); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

213		__analyzer_eval (o.mid.in.f == 0.f); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

215		__analyzer_eval (o.mid.in.f == 0.f); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

206		__analyzer_eval (o->mid.in.f == 0.f); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

208		__analyzer_eval (o->mid.in.f == 0.f); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

185		__analyzer_eval (d.x == c.x); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

186		__analyzer_eval (d.y == c.y); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

187		__analyzer_eval (d.x == d.y); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

160		__analyzer_eval (p == q); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

146		__analyzer_eval (p == q); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

118		__analyzer_eval (p == q); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

119		__analyzer_eval (p != q); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

120		__analyzer_eval (p <= q); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

121		__analyzer_eval (p >= q); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

122		__analyzer_eval (p < q); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

123		__analyzer_eval (p > q); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~

TRUE

125		__analyzer_eval (p == p); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

126		__analyzer_eval (p != p); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

127		__analyzer_eval (p <= p); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

TRUE

128		__analyzer_eval (p >= p); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

129		__analyzer_eval (p < p); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~

FALSE

130		__analyzer_eval (p > p); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

105		__analyzer_eval (glob_a == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

107		__analyzer_eval (glob_a == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

94		__analyzer_eval (a[3] == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

96		__analyzer_eval (a[3] == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

85		__analyzer_eval (a[3] == 42); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

87		__analyzer_eval (a[3] == 42); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

77		__analyzer_eval (a[idx] == 5); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

68		__analyzer_eval (a[3] == 5); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

59		__analyzer_eval (i == 2); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

46		__analyzer_eval (global_foo_ptr->i == 3); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

48		__analyzer_eval (global_foo_ptr->i == 3); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

35		__analyzer_eval (f->i == 3); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

37		__analyzer_eval (f->i == 3); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~

UNKNOWN

26		__analyzer_eval (f.i == 2); /* { dg-warning "UNKNOWN" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

28		__analyzer_eval (f.i == 2); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

TRUE

19		__analyzer_eval (f.i == 1); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~

use of uninitialized value ‘*(int *)p’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

148		return (int )p; /* { dg-warning "use of uninitialized value '\\\\(int \\\\)p" } */
		^~~~~~~~~

test_12

test_12: events 1-2

142		void *p = __builtin_alloca (256);
		^~~~~~~~~~~~~~~~~~~~~~
		\|
		(1) region created on stack here
[...]
148		return (int )p; /* { dg-warning "use of uninitialized value '\\\\(int \\\\)p" } */
		~~~~~~~~~
		\|
		(2) ⚠️ use of uninitialized value ‘(int )p’ here

use of uninitialized value ‘i’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

155		return i; /* { dg-warning "use of uninitialized value 'i'" } */
		^

test_12a

test_12a: events 1-3

154		int i; /* { dg-message "region created on stack here" } */
		^
		\|
		(1) region created on stack here
		(2) capacity: 4 bytes
155		return i; /* { dg-warning "use of uninitialized value 'i'" } */
		~
		\|
		(3) ⚠️ use of uninitialized value ‘i’ here

use of uninitialized value ‘i’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

168		j = i; /* { dg-warning "use of uninitialized value 'i'" } */
		~~^~~

test_12c

test_12c: events 1-3

165		int i; /* { dg-message "region created on stack here" } */
		^
		\|
		(1) region created on stack here
		(2) capacity: 4 bytes
[...]
168		j = i; /* { dg-warning "use of uninitialized value 'i'" } */
		~~~~~
		\|
		(3) ⚠️ use of uninitialized value ‘i’ here

buffer over-read [CWE-126] [-Wanalyzer-out-of-bounds]

242		__analyzer_eval (msg[100] == 'e'); /* { dg-warning "UNKNOWN" "eval result" } */
		~~~^~~~~

test_16

test_16: event 1

242		__analyzer_eval (msg[100] == 'e'); /* { dg-warning "UNKNOWN" "eval result" } */
		~~~^~~~~
		\|
		(1) ⚠️ out-of-bounds read at byte 100 but ‘"hello world"’ ends at byte 12

read of 1 byte from after the end of ‘"hello world"’

242		__analyzer_eval (msg[100] == 'e'); /* { dg-warning "UNKNOWN" "eval result" } */
		~~~^~~~~

valid subscripts for ‘"hello world"’ are ‘[0]’ to ‘[11]’

242		__analyzer_eval (msg[100] == 'e'); /* { dg-warning "UNKNOWN" "eval result" } */
		~~~^~~~~

use of uninitialized value ‘i’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

353		__analyzer_eval (i == j); /* { dg-warning "use of uninitialized value 'i'" "uninit i" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

test_19

test_19: events 1-3

351		int i, j; /* { dg-message "region created on stack here" } */
		^
		\|
		(1) region created on stack here
		(2) capacity: 4 bytes
352		/* Compare two uninitialized locals. */
353		__analyzer_eval (i == j); /* { dg-warning "use of uninitialized value 'i'" "uninit i" } */
		~~~~~~~~~~~~~~~~~~~~~~~~
		\|
		(3) ⚠️ use of uninitialized value ‘i’ here

use of uninitialized value ‘j’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

353		__analyzer_eval (i == j); /* { dg-warning "use of uninitialized value 'i'" "uninit i" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

test_19

test_19: events 1-3

351		int i, j; /* { dg-message "region created on stack here" } */
		^
		\|
		(1) region created on stack here
		(2) capacity: 4 bytes
352		/* Compare two uninitialized locals. */
353		__analyzer_eval (i == j); /* { dg-warning "use of uninitialized value 'i'" "uninit i" } */
		~~~~~~~~~~~~~~~~~~~~~~~~
		\|
		(3) ⚠️ use of uninitialized value ‘j’ here

use of uninitialized value ‘p[10].x’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

676		__analyzer_eval (p[10].x == 0); /* { dg-warning "use of uninitialized value 'p\\\[10\\\].x'" } */
		~~~~~^~

test_29b

test_29b: events 1-2

633		struct coord p[11]; /* { dg-message "region created on stack here" } */
		^
		\|
		(1) region created on stack here
[...]
676		__analyzer_eval (p[10].x == 0); /* { dg-warning "use of uninitialized value 'p\\\[10\\\].x'" } */
		~~~~~~~
		\|
		(2) ⚠️ use of uninitialized value ‘p[10].x’ here

use of uninitialized value ‘*p[10].x’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

724		__analyzer_eval (p[10].x == 0); /* { dg-warning "use of uninitialized value '\\p\\\[10\\\].x'" "" { xfail { ! alloca } } } /
		~~~~~^~

test_29c

test_29c: events 1-2

681		struct coord p[len];
		^
		\|
		(1) region created on stack here
[...]
724		__analyzer_eval (p[10].x == 0); /* { dg-warning "use of uninitialized value '\\p\\\[10\\\].x'" "" { xfail { ! alloca } } } /
		~~~~~~~
		\|
		(2) ⚠️ use of uninitialized value ‘*p[10].x’ here

use of uninitialized value ‘ptr’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

814		return ptr; / { dg-warning "use of uninitialized value 'ptr'" } */
		^~~~

test_37

test_37: events 1-3

813		int ptr; / { dg-message "region created on stack here" } */
		^~~
		\|
		(1) region created on stack here
		(2) capacity: 8 bytes
814		return ptr; / { dg-warning "use of uninitialized value 'ptr'" } */
		~~~~
		\|
		(3) ⚠️ use of uninitialized value ‘ptr’ here

use of uninitialized value ‘ptr’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

822		ptr = i; / { dg-warning "use of uninitialized value 'ptr'" } */
		~~~~~^~~

test_37a

test_37a: events 1-3

821		int ptr; / { dg-message "region created on stack here" } */
		^~~
		\|
		(1) region created on stack here
		(2) capacity: 8 bytes
822		ptr = i; / { dg-warning "use of uninitialized value 'ptr'" } */
		~~~~~~~~
		\|
		(3) ⚠️ use of uninitialized value ‘ptr’ here

dereference of NULL ‘ptr’ [CWE-476] [-Wanalyzer-null-dereference]

832		return ptr; / { dg-warning "dereference of NULL 'ptr'" } */
		^~~~

test_38

test_38: events 1-2

831		int *ptr = NULL;
		^~~
		\|
		(1) ‘ptr’ is NULL
832		return ptr; / { dg-warning "dereference of NULL 'ptr'" } */
		~~~~
		\|
		(2) ⚠️ dereference of NULL ‘ptr’

dereference of NULL ‘ptr’ [CWE-476] [-Wanalyzer-null-dereference]

840		ptr = i; / { dg-warning "dereference of NULL 'ptr'" } */
		~~~~~^~~

test_38a

test_38a: events 1-2

839		int *ptr = NULL;
		^~~
		\|
		(1) ‘ptr’ is NULL
840		ptr = i; / { dg-warning "dereference of NULL 'ptr'" } */
		~~~~~~~~
		\|
		(2) ⚠️ dereference of NULL ‘ptr’

1 processed enode: [EN: 311]

860		__analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
		^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~