[gcc r14-6434] analyzer: fix uninitialized bitmap [PR112955]

[David Malcolm]

https://gcc.gnu.org/g:6008b80b25d71827fb26ce49f49aae02b645bb12

commit r14-6434-g6008b80b25d71827fb26ce49f49aae02b645bb12
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Mon Dec 11 16:18:56 2023 -0500

    analyzer: fix uninitialized bitmap [PR112955]
    
    In r14-5566-g841008d3966c0f I added a new ctor for
    feasibility_state, but failed to call bitmap_clear
    on m_snodes_visited.
    
    Fixed thusly.
    
    gcc/analyzer/ChangeLog:
            PR analyzer/112955
            * engine.cc (feasibility_state::feasibility_state): Initialize
            m_snodes_visited.
    
    Signed-off-by: David Malcolm <dmalcolm@redhat.com>

Diff:
---
 gcc/analyzer/engine.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index d2524e34f58..ed1e923743e 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 &