[Bug analyzer/112955] Valgrind error in ana::feasibility_state::maybe_update_for_edge

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112955

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

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

commit r14-6434-g6008b80b25d71827fb26ce49f49aae02b645bb12
Author: David Malcolm <dmalc...@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 <dmalc...@redhat.com>