/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | constraint-manager.h | 88 json::object *to_json () const; 130 json::value *to_json () const; 260 json::object *to_json () const; 336 json::object *to_json () const; 379 json::object *to_json () const; 420 json::object *to_json () const;
|
H A D | sm.cc | 80 state_machine::state::to_json () const in to_json() function in ana::state_machine::state 146 state_machine::to_json () const in to_json() function in ana::state_machine 156 states_arr->append (s->to_json ()); in to_json()
|
H A D | program-state.h | 56 json::object *to_json () const; 118 json::object *to_json () const; 216 json::object *to_json (const extrinsic_state &ext_state) const;
|
H A D | diagnostic-manager.h | 47 json::object *to_json () const; 111 json::object *to_json () const;
|
H A D | program-state.cc | 107 extrinsic_state::to_json () const in to_json() function in ana::extrinsic_state 116 checkers_arr->append (sm->to_json ()); in to_json() 289 sm_state_map::to_json () const in to_json() function in ana::sm_state_map 294 map_obj->set ("global", m_global_state->to_json ()); in to_json() 303 map_obj->set (sval_desc.m_buffer, e.m_state->to_json ()); in to_json() 952 program_state::to_json (const extrinsic_state &ext_state) const in to_json() function in ana::program_state 956 state_obj->set ("store", m_region_model->get_store ()->to_json ()); in to_json() 958 m_region_model->get_constraints ()->to_json ()); in to_json() 961 m_region_model->get_current_frame ()->to_json ()); in to_json() 971 checkers_obj->set (ext_state.get_name (i), smap->to_json ()); in to_json()
|
H A D | exploded-graph.h | 218 json::object *to_json (const extrinsic_state &ext_state) const; 349 json::object *to_json () const; 692 json::array *to_json () const; 736 json::object *to_json () const; 871 json::object *to_json () const;
|
H A D | sm.h | 52 virtual json::value *to_json () const; 139 json::object *to_json () const;
|
H A D | supergraph.h | 164 json::object *to_json () const; 251 json::object *to_json () const; 316 json::object *to_json () const;
|
H A D | supergraph.cc | 461 supergraph::to_json () const in to_json() function in ana::supergraph 471 nodes_arr->append (n->to_json ()); in to_json() 481 edges_arr->append (n->to_json ()); in to_json() 716 supernode::to_json () const in to_json() function in ana::supernode 959 superedge::to_json () const in to_json() function in ana::superedge
|
H A D | call-string.h | 76 json::value *to_json () const;
|
H A D | ChangeLog | 1417 (bounded_range::to_json): New. 1431 (bounded_ranges::to_json): New. 1448 (bounded_ranges_constraint::to_json): New. 1458 (constraint_manager::to_json): Likewise. 1705 (call_string::to_json): Likewise. 2533 (call_string::to_json): Likewise. 2538 (equiv_class::to_json): Likewise. 2540 (constraint_manager::to_json): Likewise. 2919 (saved_diagnostic::to_json): Dump m_idx. 2987 (saved_diagnostic::to_json): Update "path_length" to be optional. [all …]
|
H A D | store.h | 503 json::object *to_json () const; 570 json::object *to_json () const; 706 json::object *to_json () const;
|
H A D | engine.cc | 1309 exploded_node::to_json (const extrinsic_state &ext_state) const in to_json() function in ana::exploded_node 1313 enode_obj->set ("point", get_point ().to_json ()); in to_json() 1314 enode_obj->set ("state", get_state ().to_json (ext_state)); in to_json() 1998 exploded_edge::to_json () const in to_json() function in ana::exploded_edge 2004 eedge_obj->set ("sedge", m_sedge->to_json ()); in to_json() 2110 strongly_connected_components::to_json () const in to_json() function in ana::strongly_connected_components 2331 worklist::to_json () const in to_json() function in ana::worklist 2335 worklist_obj->set ("scc", m_scc.to_json ()); in to_json() 4273 exploded_graph::to_json () const in to_json() function in ana::exploded_graph 4283 nodes_arr->append (n->to_json (m_ext_state)); in to_json() [all …]
|
H A D | program-point.cc | 319 program_point::to_json () const in to_json() function in ana::program_point 343 point_obj->set ("call_string", m_call_string.to_json ()); in to_json()
|
H A D | constraint-manager.cc | 452 bounded_range::to_json () const in to_json() function in ana::bounded_range 717 bounded_ranges::to_json () const in to_json() function in ana::bounded_ranges 722 arr_obj->append (m_ranges[i].to_json ()); in to_json() 1107 equiv_class::to_json () const in to_json() function in ana::equiv_class 1113 sval_arr->append (sval->to_json ()); in to_json() 1341 constraint::to_json () const in to_json() function in ana::constraint 1418 bounded_ranges_constraint::to_json () const in to_json() function in ana::bounded_ranges_constraint 1423 con_obj->set ("ranges", m_ranges->to_json ()); in to_json() 1723 constraint_manager::to_json () const in to_json() function in ana::constraint_manager 1731 ec_arr->append (ec->to_json ()); in to_json() [all …]
|
H A D | call-string.cc | 144 call_string::to_json () const in to_json() function in call_string
|
H A D | program-point.h | 184 json::object *to_json () const;
|
H A D | sm-signal.cc | 221 json::object *to_json () const in to_json() function in ana::__anon462d3b7e0111::signal_delivery_edge_info_t
|
H A D | diagnostic-manager.cc | 715 saved_diagnostic::to_json () const in to_json() function in ana::saved_diagnostic 724 sd_obj->set ("sval", m_sval->to_json ()); in to_json() 726 sd_obj->set ("state", m_state->to_json ()); in to_json() 1047 diagnostic_manager::to_json () const in to_json() function in ana::diagnostic_manager 1056 sd_arr->append (sd->to_json ()); in to_json()
|
H A D | store.cc | 659 binding_map::to_json () const in to_json() function in ana::binding_map 678 map_obj->set (key_desc.m_buffer, value->to_json ()); in to_json() 1244 binding_cluster::to_json () const in to_json() function in ana::binding_cluster 1250 cluster_obj->set ("map", m_map.to_json ()); in to_json() 2369 store::to_json () const in to_json() function in ana::store 2407 cluster->to_json ()); in to_json()
|
H A D | region.h | 156 json::value *to_json () const;
|
H A D | region.cc | 589 region::to_json () const in to_json() function in ana::region
|
H A D | svalue.h | 103 json::value *to_json () const;
|
H A D | svalue.cc | 96 svalue::to_json () const in to_json() function in ana::svalue
|