diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-09-14 16:28:44 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-09-14 16:28:44 -0400 |
| commit | 8878f7ab1cb9ed61a7039aab21d527435570ec2a (patch) | |
| tree | fefd54ec165a1bcf249b1016859f8a6f11223939 /libstdc++-v3 | |
| parent | eaa8e8541349df5ea326afa861c97b70ebc47f6b (diff) | |
| download | gcc-8878f7ab1cb9ed61a7039aab21d527435570ec2a.zip gcc-8878f7ab1cb9ed61a7039aab21d527435570ec2a.tar.gz gcc-8878f7ab1cb9ed61a7039aab21d527435570ec2a.tar.bz2 | |
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>
Diffstat (limited to 'libstdc++-v3')
0 files changed, 0 insertions, 0 deletions