]> gcc.gnu.org Git - gcc.git/commit
analyzer: use unique_ptr for rejected_constraint
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 14 Sep 2023 20:28:44 +0000 (16:28 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 14 Sep 2023 20:28:44 +0000 (16:28 -0400)
commit8878f7ab1cb9ed61a7039aab21d527435570ec2a
treefefd54ec165a1bcf249b1016859f8a6f11223939
parenteaa8e8541349df5ea326afa861c97b70ebc47f6b
analyzer: use unique_ptr for rejected_constraint

gcc/analyzer/ChangeLog:
* diagnostic-manager.cc (process_worklist_item): Use
std::unique_ptr rather than plain rejected_constraint *.
* engine.cc (exploded_path::feasible_p): Likewise.
(feasibility_state::maybe_update_for_edge): Likewise.
* exploded-graph.h (feasibility_problem::feasibility_problem):
Likewise.
(feasibility_problem::~feasibility_problem): Delete.
(feasibility_problem::m_rc): Use std::unique_ptr.
(feasibility_state::maybe_update_for_edge): Likewise.
* feasible-graph.cc (feasible_graph::add_feasibility_problem):
Likewise.
* feasible-graph.h (class infeasible_node): Likewise.
(feasible_graph::add_feasibility_problem): Likewise.
* region-model.cc (region_model::add_constraint): Likewise.
(region_model::maybe_update_for_edge): Likewise.
(region_model::apply_constraints_for_gcond): Likewise.
(region_model::apply_constraints_for_gswitch): Likewise.
(region_model::apply_constraints_for_exception): Likewise.
* region-model.h (class region_model): Likewise for decls.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/diagnostic-manager.cc
gcc/analyzer/engine.cc
gcc/analyzer/exploded-graph.h
gcc/analyzer/feasible-graph.cc
gcc/analyzer/feasible-graph.h
gcc/analyzer/region-model.cc
gcc/analyzer/region-model.h
This page took 0.057722 seconds and 6 git commands to generate.