diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-07-24 18:07:52 -0400 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2024-07-28 19:05:53 +0200 |
| commit | 8c6f0b6e2aa5a3b7207a2a8dd196f00b3bc1f56f (patch) | |
| tree | f8438633bfeaa432143c0ef19e9a49e66ac14fdf /gcc/analyzer/program-state.cc | |
| parent | 4a228dcfe5016401a02598910c7d0af7aa1f6b8d (diff) | |
| download | gcc-8c6f0b6e2aa5a3b7207a2a8dd196f00b3bc1f56f.zip gcc-8c6f0b6e2aa5a3b7207a2a8dd196f00b3bc1f56f.tar.gz gcc-8c6f0b6e2aa5a3b7207a2a8dd196f00b3bc1f56f.tar.bz2 | |
analyzer: reduce use of naked "new" for json dumps
No functional change intended.
gcc/analyzer/ChangeLog:
* call-string.cc (call_string::to_json): Avoid naked "new".
* constraint-manager.cc (bounded_range::set_json_attr): Likewise.
(equiv_class::to_json): Likewise.
(constraint::to_json): Likewise.
(bounded_ranges_constraint::to_json): Likewise.
* diagnostic-manager.cc (saved_diagnostic::to_json): Likewise.
(saved_diagnostic::maybe_add_sarif_properties): Likewise.
* engine.cc (exploded_node::to_json): Likewise.
(exploded_edge::to_json): Likewise.
* program-point.cc (program_point::to_json): Likewise.
* program-state.cc (program_state::to_json): Likewise.
* sm.cc (state_machine::to_json): Likewise.
* store.cc (binding_cluster::to_json): Likewise.
(store::to_json): Likewise.
* supergraph.cc (supernode::to_json): Likewise.
(superedge::to_json): Likewise.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/program-state.cc')
| -rw-r--r-- | gcc/analyzer/program-state.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc index c42fc75..b975184 100644 --- a/gcc/analyzer/program-state.cc +++ b/gcc/analyzer/program-state.cc @@ -1223,7 +1223,7 @@ program_state::to_json (const extrinsic_state &ext_state) const state_obj->set ("checkers", checkers_obj); } - state_obj->set ("valid", new json::literal (m_valid)); + state_obj->set_bool ("valid", m_valid); return state_obj; } |