analyzer: fix ICE in "__analyzer_dump_exploded_nodes" on non-empty worklist (PR 93669)
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 11 Feb 2020 14:45:48 +0000 (09:45 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 11 Feb 2020 18:34:08 +0000 (13:34 -0500)
commita0e4929b0461226722d6d08b1fdc2852b9100b75
treeb675c3a2305cdb6ad19f8ed0bba21c3a63063c1d
parentcd28b75921354c64fd4c8a1c238991e522abc38e
analyzer: fix ICE in "__analyzer_dump_exploded_nodes" on non-empty worklist (PR 93669)

gcc/analyzer/ChangeLog:
PR analyzer/93669
* engine.cc (exploded_graph::dump_exploded_nodes): Handle missing
case of STATUS_WORKLIST in implementation of
"__analyzer_dump_exploded_nodes".

gcc/testsuite/ChangeLog:
PR analyzer/93669
* gcc.dg/analyzer/pr93669.c: New test.
gcc/analyzer/ChangeLog
gcc/analyzer/engine.cc
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/analyzer/pr93669.c [new file with mode: 0644]