diff mbox series

analyzer: fix uninitialized bitmap [PR112955]

Message ID 20231211212240.3029438-1-dmalcolm@redhat.com
State Unresolved
Headers
Series analyzer: fix uninitialized bitmap [PR112955] |

Checks

Context Check Description
snail/gcc-patch-check warning Git am fail log

Commit Message

David Malcolm Dec. 11, 2023, 9:22 p.m. UTC 
  In r14-5566-g841008d3966c0f I added a new ctor for
feasibility_state, but failed to call bitmap_clear
on m_snodes_visited.

Fixed thusly.

Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Verified fix manually with valgrind on gcc.dg/analyzer/data-model-20.c.
Pushed to trunk as r14-6434-g6008b80b25d718.

gcc/analyzer/ChangeLog:
	PR analyzer/112955
	* engine.cc (feasibility_state::feasibility_state): Initialize
	m_snodes_visited.
---
 gcc/analyzer/engine.cc | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index 1f930a21eb37..03750815939a 100644
--- a/gcc/analyzer/engine.cc
+++ b/gcc/analyzer/engine.cc
@@ -4870,6 +4870,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 &