diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-12-11 16:18:56 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-12-11 16:18:56 -0500 |
| commit | 6008b80b25d71827fb26ce49f49aae02b645bb12 (patch) | |
| tree | 4cb9e142d810a0674f756eebad27185148755a62 /gcc | |
| parent | a14d247f339454ef9068d24e64eeaeef282fec95 (diff) | |
| download | gcc-6008b80b25d71827fb26ce49f49aae02b645bb12.zip gcc-6008b80b25d71827fb26ce49f49aae02b645bb12.tar.gz gcc-6008b80b25d71827fb26ce49f49aae02b645bb12.tar.bz2 | |
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>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/engine.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index d2524e3..ed1e923 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 & |