* [PATCH] analyzer: fix uninitialized bitmap [PR112955]
@ 2023-12-11 21:22 David Malcolm
0 siblings, 0 replies; only message in thread
From: David Malcolm @ 2023-12-11 21:22 UTC (permalink / raw)
To: gcc-patches; +Cc: David Malcolm
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 --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 &
--
2.26.3
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-12-11 21:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-12-11 21:22 [PATCH] analyzer: fix uninitialized bitmap [PR112955] David Malcolm
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).