From: David Malcolm <dmalcolm@redhat.com>
Date: Mon, 11 Dec 2023 21:18:56 +0000 (-0500)
Subject: analyzer: fix uninitialized bitmap [PR112955]
X-Git-Tag: basepoints/gcc-15~3705
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6008b80b25d71827fb26ce49f49aae02b645bb12;p=thirdparty%2Fgcc.git

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 --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index d2524e34f586..ed1e923743e5 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 &