diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-01-06 21:42:56 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-01-06 21:42:56 -0500 |
| commit | cffe6dd2ce358c2cb550c9fb3c57cec65eee1c93 (patch) | |
| tree | a4d8140ede7d64dfefc76b41b4b23257a5bf27c0 /gcc/analyzer | |
| parent | 942ae5be66277f0b0768aaa8a0b83b7e9d4db00d (diff) | |
| download | gcc-cffe6dd2ce358c2cb550c9fb3c57cec65eee1c93.zip gcc-cffe6dd2ce358c2cb550c9fb3c57cec65eee1c93.tar.gz gcc-cffe6dd2ce358c2cb550c9fb3c57cec65eee1c93.tar.bz2 | |
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.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/engine.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 3ea4524..8bc9adf 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -3374,6 +3374,7 @@ exploded_path::feasible_p (logger *logger, feasibility_problem **out, LOG_SCOPE (logger); auto_sbitmap snodes_visited (eg->get_supergraph ().m_nodes.length ()); + bitmap_clear (snodes_visited); /* Traverse the path, updating this model. */ region_model model (eng->get_model_manager ()); |