diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index d2524e34f586ab7b4e0786057536471ab79dcbcd..ed1e923743e5a1a02180421bfc75317aa7ac5bfb 100644
--- a/gcc/analyzer/engine.cc
+++ b/gcc/analyzer/engine.cc
@@ -4875,6 +4875,7 @@ feasibility_state::feasibility_state (const region_model &model,
 : m_model (model),
   m_snodes_visited (sg.m_nodes.length ())
 {
+  bitmap_clear (m_snodes_visited);
 }
 
 feasibility_state &