[Bug analyzer/123136] new analyzer code meets clang

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:4ac9dec2e30f4739e465cad68337ef4d189c021a

commit r16-6180-g4ac9dec2e30f4739e465cad68337ef4d189c021a
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Tue Dec 16 16:12:01 2025 -0500

    analyzer: fix warnings [PR123136]

    gcc/analyzer/ChangeLog:
            PR analyzer/123136
            * engine.cc
            (strongly_connected_components::strongly_connected_components):
            Consistently use size_t.
            (strongly_connected_components::dump): Likewise.
            (strongly_connected_components::to_json): Likewise.
            (exploded_graph::print_bar_charts): Likewise.
            (exploded_path::feasible_p): Remove unused locals.
            (exploded_graph_annotator::exploded_graph_annotator): Use size_t
            for iterator var.
            (impl_run_checkers): Drop logger param of engine ctor.
            * ops.cc (phis_for_edge_op::maybe_make): Drop unused param of
            phis_for_edge_op ctor.
            (phis_for_edge_op::phis_for_edge_op): Likewise.
            * ops.h (operation::~operation): Make virtual.
            (control_flow_op::dyn_cast_control_flow_op): Add "final override".
            (phis_for_edge_op::phis_for_edge_op): Drop unused param.
            (phis_for_edge_op::m_cfg_in_edge): Drop unused field.
            * region-model.cc (engine::engine): Drop unused "logger" param.
            * region-model.h (engine::engine): Likewise.
            * supergraph-fixup-locations.cc (location_fixer::location_fixer):
            Drop m_sg field.
            (location_fixer::m_sg): Drop unused field.
            (location_fixer::m_purge_map): Drop unused field.
            * supergraph-sorting.cc (class sorting_worklist): Drop unused
            m_worklist field.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>