| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/ |
| H A D | engine.cc | 95 m_ext_state (eg.get_ext_state ()), in impl_region_model_context()
111 m_ext_state (ext_state), in impl_region_model_context()
2250 m_ext_state (ext_state), in exploded_graph()
2302 program_state state (m_ext_state); in add_function_entry()
2303 state.push_frame (m_ext_state, fun); in add_function_entry()
2389 ps.validate (m_ext_state); in get_or_create_node()
2470 ps.validate (m_ext_state); in get_or_create_node()
2944 next_state->validate (m_ext_state); in maybe_process_run_of_before_supernode_enodes()
2975 merged_state->validate (m_ext_state); in maybe_process_run_of_before_supernode_enodes()
2976 program_state merge (m_ext_state); in maybe_process_run_of_before_supernode_enodes()
[all …]
|
| H A D | exploded-graph.h | 84 return &m_ext_state; in get_ext_state()
100 const extrinsic_state &m_ext_state; variable
804 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
805 engine *get_engine () const { return m_ext_state.get_engine (); } in get_engine()
908 const extrinsic_state &m_ext_state; variable
|
| H A D | diagnostic-manager.cc | 1447 m_ext_state (ext_state) in null_assignment_sm_context()
1464 = old_smap->get_state (var_old_sval, m_ext_state); in get_state()
1473 state_machine::state_t current = old_smap->get_state (sval, m_ext_state); in get_state()
1571 const extrinsic_state &m_ext_state; member
|
| H A D | region-model.h | 1000 m_ext_state (ext_state), in model_merger()
1021 const extrinsic_state *m_ext_state; member
|
| H A D | region-model.cc | 3910 if (m_ext_state) in mergeable_svalue_p()
3920 if (!m_state_a->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
3923 if (!m_state_b->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
|
| H A D | program-state.cc | 550 if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state)) in on_svalue_leak()
|
| H A D | ChangeLog | 20 m_ext_state to program_state::can_merge_with_p.
43 (model_merger::m_ext_state): New field.
3021 and ext_state params, initializing m_old_state and m_ext_state.
3028 (null_assignment_sm_context::m_ext_state): New field.
5410 (exploded_graph::add_edge): Pass m_ext_state to exploded_edge's
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/ |
| H A D | engine.cc | 89 m_ext_state (eg.get_ext_state ()) in impl_region_model_context()
104 m_ext_state (ext_state) in impl_region_model_context()
1816 m_ext_state (ext_state), in exploded_graph()
1859 program_state state (m_ext_state); in add_function_entry()
1896 state.dump_to_pp (m_ext_state, true, pp); in get_or_create_node()
1939 ps.validate (m_ext_state); in get_or_create_node()
1969 program_state merged_state (m_ext_state); in get_or_create_node()
2016 ps.validate (m_ext_state); in get_or_create_node()
2256 program_state merged_state (m_ext_state); in process_worklist()
3268 const extrinsic_state &m_ext_state; member in ana::enode_label
[all …]
|
| H A D | exploded-graph.h | 91 const extrinsic_state &m_ext_state; variable
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state; variable
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/ |
| H A D | engine.cc | 89 m_ext_state (eg.get_ext_state ()) in impl_region_model_context()
104 m_ext_state (ext_state) in impl_region_model_context()
1816 m_ext_state (ext_state), in exploded_graph()
1859 program_state state (m_ext_state); in add_function_entry()
1896 state.dump_to_pp (m_ext_state, true, pp); in get_or_create_node()
1939 ps.validate (m_ext_state); in get_or_create_node()
1969 program_state merged_state (m_ext_state); in get_or_create_node()
2016 ps.validate (m_ext_state); in get_or_create_node()
2256 program_state merged_state (m_ext_state); in process_worklist()
3268 const extrinsic_state &m_ext_state; member in ana::enode_label
[all …]
|
| H A D | exploded-graph.h | 91 const extrinsic_state &m_ext_state; variable
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state; variable
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/ |
| H A D | engine.cc | 89 m_ext_state (eg.get_ext_state ()) in impl_region_model_context()
104 m_ext_state (ext_state) in impl_region_model_context()
1816 m_ext_state (ext_state), in exploded_graph()
1859 program_state state (m_ext_state); in add_function_entry()
1896 state.dump_to_pp (m_ext_state, true, pp); in get_or_create_node()
1939 ps.validate (m_ext_state); in get_or_create_node()
1969 program_state merged_state (m_ext_state); in get_or_create_node()
2016 ps.validate (m_ext_state); in get_or_create_node()
2256 program_state merged_state (m_ext_state); in process_worklist()
3268 const extrinsic_state &m_ext_state; member in ana::enode_label
[all …]
|
| H A D | exploded-graph.h | 91 const extrinsic_state &m_ext_state; variable
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state; variable
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/ |
| H A D | engine.cc | 91 m_ext_state (eg.get_ext_state ()), in impl_region_model_context()
106 m_ext_state (ext_state), in impl_region_model_context()
2112 m_ext_state (ext_state), in exploded_graph()
2164 program_state state (m_ext_state); in add_function_entry()
2165 state.push_frame (m_ext_state, fun); in add_function_entry()
2251 ps.validate (m_ext_state); in get_or_create_node()
2281 program_state merged_state (m_ext_state); in get_or_create_node()
2331 ps.validate (m_ext_state); in get_or_create_node()
2580 program_state merged_state (m_ext_state); in process_worklist()
2833 program_state merge (m_ext_state); in maybe_process_run_of_before_supernode_enodes()
[all …]
|
| H A D | exploded-graph.h | 82 const extrinsic_state &m_ext_state; variable
771 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
772 engine *get_engine () const { return m_ext_state.get_engine (); } in get_engine()
867 const extrinsic_state &m_ext_state; variable
|
| H A D | diagnostic-manager.cc | 1358 m_ext_state (ext_state) in null_assignment_sm_context()
1375 = old_smap->get_state (var_old_sval, m_ext_state); in get_state()
1447 const extrinsic_state &m_ext_state; member
|
| H A D | program-state.cc | 502 if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state)) in on_svalue_leak()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/ |
| H A D | engine.cc | 91 m_ext_state (eg.get_ext_state ()), in impl_region_model_context()
106 m_ext_state (ext_state), in impl_region_model_context()
2112 m_ext_state (ext_state), in exploded_graph()
2164 program_state state (m_ext_state); in add_function_entry()
2165 state.push_frame (m_ext_state, fun); in add_function_entry()
2251 ps.validate (m_ext_state); in get_or_create_node()
2281 program_state merged_state (m_ext_state); in get_or_create_node()
2331 ps.validate (m_ext_state); in get_or_create_node()
2580 program_state merged_state (m_ext_state); in process_worklist()
2833 program_state merge (m_ext_state); in maybe_process_run_of_before_supernode_enodes()
[all …]
|
| H A D | exploded-graph.h | 82 const extrinsic_state &m_ext_state; variable
771 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
772 engine *get_engine () const { return m_ext_state.get_engine (); } in get_engine()
867 const extrinsic_state &m_ext_state; variable
|
| H A D | diagnostic-manager.cc | 1358 m_ext_state (ext_state) in null_assignment_sm_context()
1375 = old_smap->get_state (var_old_sval, m_ext_state); in get_state()
1447 const extrinsic_state &m_ext_state; member
|
| H A D | program-state.cc | 502 if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state)) in on_svalue_leak()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/ |
| H A D | engine.cc | 91 m_ext_state (eg.get_ext_state ()), in impl_region_model_context()
106 m_ext_state (ext_state), in impl_region_model_context()
2112 m_ext_state (ext_state), in exploded_graph()
2164 program_state state (m_ext_state); in add_function_entry()
2165 state.push_frame (m_ext_state, fun); in add_function_entry()
2251 ps.validate (m_ext_state); in get_or_create_node()
2281 program_state merged_state (m_ext_state); in get_or_create_node()
2331 ps.validate (m_ext_state); in get_or_create_node()
2580 program_state merged_state (m_ext_state); in process_worklist()
2833 program_state merge (m_ext_state); in maybe_process_run_of_before_supernode_enodes()
[all …]
|
| H A D | exploded-graph.h | 82 const extrinsic_state &m_ext_state; variable
771 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
772 engine *get_engine () const { return m_ext_state.get_engine (); } in get_engine()
867 const extrinsic_state &m_ext_state; variable
|
| H A D | diagnostic-manager.cc | 1358 m_ext_state (ext_state) in null_assignment_sm_context()
1375 = old_smap->get_state (var_old_sval, m_ext_state); in get_state()
1447 const extrinsic_state &m_ext_state; member
|
| H A D | program-state.cc | 502 if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state)) in on_svalue_leak()
|