analyzer: fix missing bitmap_clear [PR98564]
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 7 Jan 2021 02:42:56 +0000 (21:42 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 7 Jan 2021 02:42:56 +0000 (21:42 -0500)
commitcffe6dd2ce358c2cb550c9fb3c57cec65eee1c93
treea4d8140ede7d64dfefc76b41b4b23257a5bf27c0
parent942ae5be66277f0b0768aaa8a0b83b7e9d4db00d
analyzer: fix missing bitmap_clear [PR98564]

gcc/analyzer/ChangeLog:
PR analyzer/98564
* engine.cc (exploded_path::feasible_p): Add missing call to
bitmap_clear.

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