https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98564
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:cffe6dd2ce358c2cb550c9fb3c57cec65eee1c93 commit r11-6512-gcffe6dd2ce358c2cb550c9fb3c57cec65eee1c93 Author: David Malcolm <dmalc...@redhat.com> Date: Wed Jan 6 21:42:56 2021 -0500 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.