Home
last modified time | relevance | path

Searched refs:impl_region_model_context (Results 1 – 11 of 11) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dengine.cc83 impl_region_model_context::
84 impl_region_model_context (exploded_graph &eg, in impl_region_model_context() function in ana::impl_region_model_context
104 impl_region_model_context::
105 impl_region_model_context (program_state *state, in impl_region_model_context() function in ana::impl_region_model_context
121 impl_region_model_context::warn (pending_diagnostic *d) in warn()
143 impl_region_model_context::add_note (pending_note *pn) in add_note()
153 impl_region_model_context::on_svalue_leak (const svalue *sval) in on_svalue_leak()
161 impl_region_model_context::
170 impl_region_model_context::on_unknown_change (const svalue *sval, in on_unknown_change()
178 impl_region_model_context::on_escaped_function (tree fndecl) in on_escaped_function()
[all …]
H A DChangeLog395 * engine.cc (impl_region_model_context::warn): Propagate return
596 * engine.cc (impl_region_model_context::add_note): New.
597 * exploded-graph.h (impl_region_model_context::add_note): New
631 (impl_region_model_context::on_state_leak): Use it when rejecting
729 * exploded-graph.h (impl_region_model_context::get_stmt): New.
1194 * engine.cc (impl_region_model_context::get_taint_map): New.
1195 * exploded-graph.h (impl_region_model_context::get_taint_map):
1303 (impl_region_model_context::impl_region_model_context): Update for
1305 (impl_region_model_context::bifurcate): New.
1306 (impl_region_model_context::terminate_path): New.
[all …]
H A Dprogram-state.h153 impl_region_model_context *ctxt);
156 impl_region_model_context *ctxt);
H A Dprogram-state.cc548 impl_region_model_context *ctxt) in on_svalue_leak()
564 impl_region_model_context *ctxt) in on_liveness_change()
1030 impl_region_model_context ctxt (eg, enode, in on_edge()
1068 impl_region_model_context ctxt (eg, enode, in push_call()
1091 impl_region_model_context ctxt (eg, enode, in returning_call()
1209 impl_region_model_context ctxt (eg, enode_for_diag, in prune_for_point()
1680 impl_region_model_context ctxt (&s0, ext_state, &uncertainty); in test_program_state_merging()
H A Dexploded-graph.h29 class impl_region_model_context : public region_model_context
32 impl_region_model_context (exploded_graph &eg,
45 impl_region_model_context (program_state *state,
H A Danalyzer.h79 class impl_region_model_context; variable
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dengine.cc74 impl_region_model_context::
75 impl_region_model_context (exploded_graph &eg, in impl_region_model_context() function in ana::impl_region_model_context
93 impl_region_model_context::
94 impl_region_model_context (program_state *state, in impl_region_model_context() function in ana::impl_region_model_context
109 impl_region_model_context::warn (pending_diagnostic *d) in warn()
119 impl_region_model_context::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()
127 impl_region_model_context::on_svalue_purge (svalue_id first_unused_sid, in on_svalue_purge()
145 impl_region_model_context::on_unknown_change (svalue_id sid) in on_unknown_change()
221 impl_region_model_context old_ctxt in get_fndecl_for_call()
237 impl_region_model_context old_ctxt in on_transition()
[all …]
H A Dprogram-state.cc505 impl_region_model_context *ctxt) in on_svalue_purge()
825 impl_region_model_context ctxt (eg, &enode, in on_edge()
948 impl_region_model_context ctxt (eg, NULL, in prune_for_point()
1066 impl_region_model_context ctxt (out, NULL, ext_state); in can_merge_with_p()
1529 impl_region_model_context ctxt (&s0, NULL, ext_state); in test_program_state_merging()
1565 impl_region_model_context merged_ctxt (&merged, NULL, ext_state); in test_program_state_merging()
H A Danalyzer.h50 class impl_region_model_context; variable
H A Dexploded-graph.h29 class impl_region_model_context : public region_model_context
32 impl_region_model_context (exploded_graph &eg,
44 impl_region_model_context (program_state *state,
H A Dprogram-state.h192 impl_region_model_context *ctxt);