| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm.cc | 80 state_machine::state::to_json () const function in class:ana::state_machine::state
154 state_machine::to_json () const function in class:ana::state_machine
164 states_arr->append (s->to_json ());
|
| call-string.cc | 107 call_string::to_json () const function in class:call_string
|
| ranges.cc | 107 symbolic_byte_offset::to_json () const function in class:ana::symbolic_byte_offset
109 return m_num_bytes_sval->to_json ();
166 symbolic_byte_range::to_json () const function in class:ana::symbolic_byte_range
169 obj->set ("start", m_start.to_json ());
170 obj->set ("size", m_size.to_json ());
|
| sm-signal.cc | 215 json::object *to_json () const function in class:ana::__anon12597::signal_delivery_edge_info_t
|
| infinite-loop.cc | 110 to_json () const function in struct:infinite_loop
116 edge_arr->append (eedge->to_json ());
318 props.set (PROPERTY_PREFIX "inf_loop", m_inf_loop->to_json ());
|
| program-point.cc | 317 program_point::to_json () const function in class:ana::program_point
341 point_obj->set ("call_string", m_call_string->to_json ());
|
| supergraph.cc | 467 supergraph::to_json () const function in class:ana::supergraph
477 nodes_arr->append (n->to_json ());
487 edges_arr->append (n->to_json ());
722 supernode::to_json () const function in class:ana::supernode
990 superedge::to_json () const function in class:ana::superedge
|
| program-state.cc | 103 extrinsic_state::to_json () const function in class:ana::extrinsic_state
112 checkers_arr->append (sm->to_json ());
285 sm_state_map::to_json () const function in class:ana::sm_state_map
290 map_obj->set ("global", m_global_state->to_json ());
299 map_obj->set (sval_desc.get (), e.m_state->to_json ());
1112 program_state::to_json (const extrinsic_state &ext_state) const function in class:ana::program_state
1116 state_obj->set ("store", m_region_model->get_store ()->to_json ());
1118 m_region_model->get_constraints ()->to_json ());
1121 m_region_model->get_current_frame ()->to_json ());
1131 checkers_obj->set (ext_state.get_name (i), smap->to_json ());
[all...] |
| region.cc | 1046 region::to_json () const function in class:ana::region
|
| svalue.cc | 91 svalue::to_json () const function in class:ana::svalue
|
| diagnostic-manager.cc | 743 saved_diagnostic::to_json () const function in class:ana::saved_diagnostic
752 sd_obj->set ("sval", m_sval->to_json ());
754 sd_obj->set ("state", m_state->to_json ());
1036 props.set (PROPERTY_PREFIX "sval", m_sval->to_json ());
1038 props.set (PROPERTY_PREFIX "state", m_state->to_json ());
1219 diagnostic_manager::to_json () const function in class:ana::diagnostic_manager
1228 sd_arr->append (sd->to_json ());
|
| constraint-manager.cc | 457 bounded_range::to_json () const function in class:ana::bounded_range
465 /* Subroutine of bounded_range::to_json. */
722 bounded_ranges::to_json () const function in class:ana::bounded_ranges
727 arr_obj->append (m_ranges[i].to_json ());
1112 equiv_class::to_json () const function in class:ana::equiv_class
1118 sval_arr->append (sval->to_json ());
1346 constraint::to_json () const function in class:ana::constraint
1423 bounded_ranges_constraint::to_json () const function in class:ana::bounded_ranges_constraint
1428 con_obj->set ("ranges", m_ranges->to_json ());
1728 constraint_manager::to_json () cons function in class:ana::constraint_manager
[all...] |
| store.cc | 243 bit_range::to_json () const function in class:ana::bit_range
519 byte_range::to_json () const function in class:ana::byte_range
788 binding_map::to_json () const function in class:ana::binding_map
807 map_obj->set (key_desc.get (), value->to_json ());
1391 binding_cluster::to_json () const
1397 cluster_obj->set ("map", m_map.to_json ());
2567 store::to_json () const function in class:ana::store
2605 cluster->to_json ());
|
| region-model.cc | 237 region_to_value_map::to_json () const function in class:ana::region_to_value_map
252 map_obj->set (reg_desc.get (), sval->to_json ());
480 region_model::to_json () const function in class:ana::region_model
483 model_obj->set ("store", m_store.to_json ());
484 model_obj->set ("constraints", m_constraints->to_json ());
486 model_obj->set ("current_frame", m_current_frame->to_json ());
487 model_obj->set ("dynamic_extents", m_dynamic_extents.to_json ());
3226 props.set (PROPERTY_PREFIX "lhs", m_lhs->to_json ());
3227 props.set (PROPERTY_PREFIX "rhs", m_rhs->to_json ());
3228 props.set (PROPERTY_PREFIX "capacity_sval", m_capacity_sval->to_json ());
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm.cc | 80 state_machine::state::to_json () const function in class:ana::state_machine::state
146 state_machine::to_json () const function in class:ana::state_machine
156 states_arr->append (s->to_json ());
|
| call-string.cc | 144 call_string::to_json () const function in class:call_string
|
| sm-signal.cc | 221 json::object *to_json () const function in class:ana::__anon15219::signal_delivery_edge_info_t
|
| program-point.cc | 319 program_point::to_json () const function in class:ana::program_point
343 point_obj->set ("call_string", m_call_string.to_json ());
|
| region.cc | 589 region::to_json () const function in class:ana::region
|
| supergraph.cc | 461 supergraph::to_json () const function in class:ana::supergraph
471 nodes_arr->append (n->to_json ());
481 edges_arr->append (n->to_json ());
716 supernode::to_json () const function in class:ana::supernode
959 superedge::to_json () const function in class:ana::superedge
|
| program-state.cc | 107 extrinsic_state::to_json () const function in class:ana::extrinsic_state
116 checkers_arr->append (sm->to_json ());
289 sm_state_map::to_json () const function in class:ana::sm_state_map
294 map_obj->set ("global", m_global_state->to_json ());
303 map_obj->set (sval_desc.m_buffer, e.m_state->to_json ());
952 program_state::to_json (const extrinsic_state &ext_state) const function in class:ana::program_state
956 state_obj->set ("store", m_region_model->get_store ()->to_json ());
958 m_region_model->get_constraints ()->to_json ());
961 m_region_model->get_current_frame ()->to_json ());
971 checkers_obj->set (ext_state.get_name (i), smap->to_json ());
[all...] |
| svalue.cc | 96 svalue::to_json () const function in class:ana::svalue
|
| diagnostic-manager.cc | 715 saved_diagnostic::to_json () const function in class:ana::saved_diagnostic
724 sd_obj->set ("sval", m_sval->to_json ());
726 sd_obj->set ("state", m_state->to_json ());
1047 diagnostic_manager::to_json () const function in class:ana::diagnostic_manager
1056 sd_arr->append (sd->to_json ());
|
| store.cc | 659 binding_map::to_json () const function in class:ana::binding_map
678 map_obj->set (key_desc.m_buffer, value->to_json ());
1244 binding_cluster::to_json () const
1250 cluster_obj->set ("map", m_map.to_json ());
2369 store::to_json () const function in class:ana::store
2407 cluster->to_json ());
|
| constraint-manager.cc | 452 bounded_range::to_json () const function in class:ana::bounded_range
460 /* Subroutine of bounded_range::to_json. */
717 bounded_ranges::to_json () const function in class:ana::bounded_ranges
722 arr_obj->append (m_ranges[i].to_json ());
1107 equiv_class::to_json () const function in class:ana::equiv_class
1113 sval_arr->append (sval->to_json ());
1341 constraint::to_json () const function in class:ana::constraint
1418 bounded_ranges_constraint::to_json () const function in class:ana::bounded_ranges_constraint
1423 con_obj->set ("ranges", m_ranges->to_json ());
1723 constraint_manager::to_json () cons function in class:ana::constraint_manager
[all...] |
