| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | exploded-graph.h | 33 exploded_node *enode_for_diag,
98 exploded_node *m_enode_for_diag;
156 typedef exploded_node node_t;
163 bool show_enode_details_p (const exploded_node &enode) const;
166 dump_extra_info (const exploded_node *, pretty_printer *) const {} in dump_extra_info()
178 class exploded_node : public dnode<eg_traits>
202 exploded_node (const point_and_state &ps, int index);
314 DISABLE_COPY_AND_ASSIGN (exploded_node);
341 exploded_edge (exploded_node *src, exploded_node *dest,
443 const exploded_node *get_enode_origin () const in get_enode_origin()
[all …]
|
| H A D | engine.cc | 85 exploded_node *enode_for_diag, in impl_region_model_context()
300 exploded_node *enode_for_diag, in impl_sm_context()
480 const_cast<exploded_node *> (m_enode_for_diag), in on_custom_transition()
517 exploded_node *m_enode_for_diag;
572 const exploded_node *dst_node = eedge->m_dest; in find_stmt()
599 const exploded_node *dst_node = eedge->m_dest; in find_stmt()
991 const auto_vec<exploded_node *> &enodes) in print_enode_indices()
997 exploded_node *enode; in print_enode_indices()
1049 eg_traits::dump_args_t::show_enode_details_p (const exploded_node &enode) const in show_enode_details_p()
1069 exploded_node::status_to_str (enum status s) in status_to_str()
[all …]
|
| H A D | trimmed-graph.cc | 101 const exploded_node *inner_dst_node) in trimmed_graph()
108 auto_vec <const exploded_node *> worklist; in trimmed_graph()
113 const exploded_node *inner_node = worklist.pop (); in trimmed_graph()
131 exploded_node *inner_node; in trimmed_graph()
151 const exploded_node *inner_src = inner_edge->m_src; in trimmed_graph()
152 const exploded_node *inner_dest = inner_edge->m_dest; in trimmed_graph()
|
| H A D | trimmed-graph.h | 60 trimmed_node (const exploded_node *inner_node) in trimmed_node()
67 const exploded_node *m_inner_node;
94 const exploded_node *inner_dst_node);
108 hash_set <const exploded_node *> m_enodes;
112 typedef hash_map<const exploded_node *, trimmed_node *> map_t;
|
| H A D | feasible-graph.h | 66 const exploded_node *get_inner_node () const { return m_inner_node; } in get_inner_node()
70 base_feasible_node (const exploded_node *inner_node, unsigned index) in base_feasible_node()
74 const exploded_node *m_inner_node;
84 feasible_node (const exploded_node *inner_node, unsigned index, in feasible_node()
117 infeasible_node (const exploded_node *inner_node, unsigned index, in infeasible_node()
190 feasible_node *add_node (const exploded_node *enode,
|
| H A D | diagnostic-manager.cc | 93 exploded_path *get_best_epath (const exploded_node *target_enode,
100 exploded_path *explore_feasible_paths (const exploded_node *target_enode,
105 const exploded_node *target_enode,
108 void dump_trimmed_graph (const exploded_node *target_enode,
112 void dump_feasible_graph (const exploded_node *target_enode,
115 void dump_feasible_path (const exploded_node *target_enode,
141 epath_finder::get_best_epath (const exploded_node *enode, in get_best_epath()
376 epath_finder::explore_feasible_paths (const exploded_node *target_enode, in explore_feasible_paths()
458 const exploded_node *target_enode, in process_worklist_item()
567 void dump_extra_info (const exploded_node *enode, in dump_extra_info()
[all …]
|
| H A D | diagnostic-manager.h | 34 const exploded_node *enode,
72 const exploded_node *m_enode;
114 exploded_node *enode,
122 bool add_diagnostic (exploded_node *enode,
|
| H A D | checker-path.h | 420 setjmp_event (location_t loc, const exploded_node *enode, in setjmp_event()
434 const exploded_node *m_enode;
586 const exploded_node *enode, const gimple *stmt,
603 void record_setjmp_event (const exploded_node *enode, in record_setjmp_event()
609 bool get_setjmp_event (const exploded_node *enode, in get_setjmp_event()
631 hash_map <const exploded_node *, diagnostic_event_id_t> m_setjmp_event_ids;
|
| H A D | program-state.h | 222 exploded_node *enode,
227 exploded_node *enode,
233 exploded_node *enode,
239 exploded_node *enode_for_diag,
|
| H A D | ChangeLog | 74 model from the exploded_node's state.
137 * engine.cc (exploded_node::dump_dot): Add nodes for saved
1016 (exploded_node::on_stmt): Pass unknown_side_effects to sm_ctxt
1263 * engine.cc (exploded_node::on_stmt_pre): Return when handling
1320 (exploded_node::on_stmt): Add path_ctxt param, updating ctor calls
1323 (exploded_node::detect_leaks): Update for new path_ctxt param.
1335 Create an impl_path_context and pass it to exploded_node::on_stmt.
1350 (exploded_node::on_stmt): Add path_ctxt param.
1882 * engine.cc (exploded_node::on_longjmp): Update for new param of
1915 * engine.cc (exploded_node::on_stmt_pre): Handle
[all …]
|
| H A D | sm-signal.cc | 263 exploded_node *src_enode, in impl_transition()
279 exploded_node *dst_enode = eg->get_or_create_node (entering_handler, in impl_transition()
|
| H A D | call-info.cc | 108 const exploded_node *src_node = eedge.m_src; in add_events_to_path()
|
| H A D | feasible-graph.cc | 169 feasible_graph::add_node (const exploded_node *enode, in add_node()
|
| H A D | sm.h | 178 exploded_node *src_enode,
|
| H A D | program-state.cc | 1013 exploded_node *enode, in on_edge()
1060 exploded_node *enode, in push_call()
1083 exploded_node *enode, in returning_call()
1109 exploded_node *enode_for_diag, in prune_for_point()
|
| H A D | analyzer.h | 99 class exploded_node; variable
|
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | exploded-graph.h | 33 const exploded_node *enode_for_diag,
85 const exploded_node *m_enode_for_diag;
142 typedef exploded_node node_t;
158 class exploded_node : public dnode<eg_traits>
178 exploded_node (const point_and_state &ps, int index);
271 DISABLE_COPY_AND_ASSIGN (exploded_node);
309 exploded_edge (exploded_node *src, exploded_node *dest,
379 const exploded_node *get_enode_origin () const in get_enode_origin()
411 typedef exploded_node *value_type;
412 typedef exploded_node *compare_type;
[all …]
|
| H A D | engine.cc | 76 const exploded_node *enode_for_diag, in impl_region_model_context()
200 const exploded_node *enode_for_diag, in impl_sm_context()
337 const_cast<exploded_node *> (m_enode_for_diag), in on_custom_transition()
343 const exploded_node *m_enode_for_diag;
395 const exploded_node *dst_node = eedge->m_dest; in find_stmt()
422 const exploded_node *dst_node = eedge->m_dest; in find_stmt()
761 const auto_vec<exploded_node *> &enodes) in print_enode_indices()
767 exploded_node *enode; in print_enode_indices()
804 exploded_node::exploded_node (const point_and_state &ps, in exploded_node() function in ana::exploded_node
816 exploded_node::get_dot_fillcolor () const in get_dot_fillcolor()
[all …]
|
| H A D | diagnostic-manager.h | 39 const exploded_node *enode,
71 const exploded_node *m_enode;
105 const exploded_node *enode,
111 void add_diagnostic (const exploded_node *enode,
|
| H A D | diagnostic-manager.cc | 71 const exploded_node *enode, in saved_diagnostic()
128 const exploded_node *get_diag_node () const { return m_diag_enode; } in get_diag_node()
130 bool reachable_from_p (const exploded_node *src_enode) const in reachable_from_p()
143 const exploded_node *m_diag_enode;
162 const exploded_node *enode, in add_diagnostic()
186 diagnostic_manager::add_diagnostic (const exploded_node *enode, in add_diagnostic()
657 const exploded_node *src_node = m_eedge.m_src; in on_global_state_change()
660 const exploded_node *dst_node = m_eedge.m_dest; in on_global_state_change()
685 const exploded_node *src_node = m_eedge.m_src; in on_state_change()
688 const exploded_node *dst_node = m_eedge.m_dest; in on_state_change()
[all …]
|
| H A D | checker-path.h | 337 setjmp_event (location_t loc, const exploded_node *enode, in setjmp_event()
351 const exploded_node *m_enode;
486 const exploded_node *enode, const gimple *stmt,
501 void record_setjmp_event (const exploded_node *enode, in record_setjmp_event()
507 bool get_setjmp_event (const exploded_node *enode, in get_setjmp_event()
527 hash_map <const exploded_node *, diagnostic_event_id_t> m_setjmp_event_ids;
|
| H A D | sm-signal.cc | 225 exploded_node *src_enode, in impl_transition()
241 exploded_node *dst_enode = eg->get_or_create_node (entering_handler, in impl_transition()
|
| H A D | analyzer.h | 65 class exploded_node; variable
|
| H A D | sm.h | 122 exploded_node *src_enode,
|
| H A D | program-state.h | 254 const exploded_node &enode,
|