/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | feasible-graph.cc | 185 add_feasibility_problem(feasible_node *src_fnode, const exploded_edge *eedge, rejected_constraint *rc) argument
|
H A D | sm-signal.cc | 231 gcc_assert (eedge); variable
|
H A D | checker-path.cc | 647 call_event::call_event (const exploded_edge &eedge, argument 406 superedge_event(enum event_kind kind, const exploded_edge &eedge, location_t loc, tree fndecl, int depth) argument 427 cfg_edge_event(enum event_kind kind, const exploded_edge &eedge, location_t loc, tree fndecl, int depth) argument 705 return_event(const exploded_edge &eedge, location_t loc, tree fndecl, int depth) argument 816 rewind_event(const exploded_edge *eedge, enum event_kind kind, location_t loc, tree fndecl, int depth, const rewind_info_t *rewind_info) argument [all...] |
H A D | checker-path.h | 311 start_cfg_edge_event (const exploded_edge &eedge, argument 335 end_cfg_edge_event (const exploded_edge &eedge, argument 468 rewind_from_longjmp_event (const exploded_edge *eedge, argument 485 rewind_to_setjmp_event(const exploded_edge *eedge, location_t loc, tree fndecl, int depth, const rewind_info_t *rewind_info) argument [all...] |
H A D | engine.cc | 566 const exploded_edge *eedge = epath.m_edges[idx]; variable 591 const exploded_edge *eedge; variable [all...] |
H A D | diagnostic-manager.cc | 1473 const exploded_edge *eedge = epath.m_edges[i]; local 1484 state_change_event_creator(const path_builder &pb, const exploded_edge &eedge, checker_path *emission_path) argument 1785 add_events_for_eedge(const path_builder &pb, const exploded_edge &eedge, checker_path *emission_path, interesting_t *interest) const argument 2068 add_events_for_superedge(const path_builder &pb, const exploded_edge &eedge, checker_path *emission_path) const argument [all...] |
H A D | exploded-graph.h | 970 feasibility_problem(unsigned eedge_idx, const exploded_edge &eedge, const gimple *last_stmt, rejected_constraint *rc) argument
|
/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/ |
H A D | checker-path.cc | 600 call_event::call_event (const exploded_edge &eedge, argument 653 return_event::return_event (const exploded_edge &eedge, argument 359 superedge_event(enum event_kind kind, const exploded_edge &eedge, location_t loc, tree fndecl, int depth) argument 380 cfg_edge_event(enum event_kind kind, const exploded_edge &eedge, location_t loc, tree fndecl, int depth) argument 750 rewind_event(const exploded_edge *eedge, enum event_kind kind, location_t loc, tree fndecl, int depth, const rewind_info_t *rewind_info) argument [all...] |
H A D | checker-path.h | 270 start_cfg_edge_event (const exploded_edge &eedge, argument 294 end_cfg_edge_event (const exploded_edge &eedge, argument 385 rewind_from_longjmp_event (const exploded_edge *eedge, argument 402 rewind_to_setjmp_event(const exploded_edge *eedge, location_t loc, tree fndecl, int depth, const rewind_info_t *rewind_info) argument [all...] |
H A D | diagnostic-manager.cc | 635 const exploded_edge *eedge = epath.m_edges[i]; local 646 state_change_event_creator (const exploded_edge &eedge, argument 816 add_events_for_eedge(const path_builder &pb, const exploded_edge &eedge, checker_path *emission_path) const argument 983 add_events_for_superedge(const path_builder &pb, const exploded_edge &eedge, checker_path *emission_path) const argument [all...] |
H A D | exploded-graph.h | 869 feasibility_problem(unsigned eedge_idx, const region_model &model, const exploded_edge &eedge, const gimple *last_stmt) argument
|
H A D | engine.cc | 389 const exploded_edge *eedge = epath.m_edges[idx]; variable 414 const exploded_edge *eedge; variable 1290 exploded_edge *eedge local 1406 update_model(region_model *model, const exploded_edge &eedge) argument 1424 add_events_to_path(checker_path *emission_path, const exploded_edge &eedge) argument 2824 const exploded_edge *eedge; local 2861 const exploded_edge *eedge = m_edges[i]; local 2970 const exploded_edge *eedge = m_edges[i]; local [all...] |