| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| feasible-graph.h | 31 class feasible_node;
83 class feasible_node : public base_feasible_node class in namespace:ana
86 feasible_node (const exploded_node *inner_node, unsigned index, function in class:ana::feasible_node
161 feasible_edge (feasible_node *src, feasible_node *dest,
168 /* Subclass of base_feasible_edge for connecting a feasible_node
175 infeasible_edge (feasible_node *src, infeasible_node *dest,
194 feasible_node *add_node (const exploded_node *enode,
198 void add_feasibility_problem (feasible_node *src_fnode,
202 std::unique_ptr<exploded_path> make_epath (feasible_node *fnode) const
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| feasible-graph.h | 29 class feasible_node;
81 class feasible_node : public base_feasible_node class in namespace:ana
84 feasible_node (const exploded_node *inner_node, unsigned index, function in class:ana::feasible_node
157 feasible_edge (feasible_node *src, feasible_node *dest,
164 /* Subclass of base_feasible_edge for connecting a feasible_node
171 infeasible_edge (feasible_node *src, infeasible_node *dest,
190 feasible_node *add_node (const exploded_node *enode,
194 void add_feasibility_problem (feasible_node *src_fnode,
198 exploded_path *make_epath (feasible_node *fnode) const
[all...] |
