Home
last modified time | relevance | path

Searched refs:program_point (Results 1 – 25 of 30) sorted by relevance

12

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dprogram-point.h171 class program_point
174 program_point (const function_point &fn_point, in program_point() function
187 bool operator== (const program_point &other) const
192 bool operator!= (const program_point &other) const
249 static program_point origin () in origin()
251 return program_point (function_point (NULL, NULL, in origin()
256 static program_point from_function_entry (const supergraph &sg, in from_function_entry()
259 return program_point (function_point::from_function_entry (sg, fun), in from_function_entry()
263 static program_point before_supernode (const supernode *supernode, in before_supernode()
267 return program_point (function_point::before_supernode (supernode, in before_supernode()
[all …]
H A Dprogram-point.cc290 program_point::print (pretty_printer *pp, const format &f) const in print()
302 program_point::dump () const in dump()
319 program_point::to_json () const in to_json()
353 program_point::push_to_call_stack (const supernode *caller, in push_to_call_stack()
361 program_point::pop_from_call_stack () in pop_from_call_stack()
369 program_point::hash () const in hash()
380 program_point::get_function_at_depth (unsigned depth) const in get_function_at_depth()
392 program_point::validate () const in validate()
418 program_point::on_edge (exploded_graph &eg, in on_edge()
675 program_point
[all …]
H A Dexploded-graph.h115 point_and_state (const program_point &point, in point_and_state()
135 const program_point &get_point () const { return m_point; } in get_point()
147 program_point m_point;
260 program_point *next_point,
270 const program_point &get_point () const { return m_ps.get_point (); } in get_point()
289 const program_point *get_point_key () const { return &m_ps.get_point (); } in get_point_key()
421 const program_point &get_setjmp_point () const in get_setjmp_point()
423 const program_point &origin_point = get_enode_origin ()->get_point (); in get_setjmp_point()
528 per_program_point_data (const program_point &key) in per_program_point_data()
532 const program_point m_key;
[all …]
H A Dengine.cc573 const program_point &dst_point = dst_node->get_point (); in find_stmt()
600 const program_point &dst_point = dst_node->get_point (); in find_stmt()
1099 const program_point &point = get_point (); in get_processed_stmt()
1221 const program_point &point = get_point (); in dump_processed_stmts()
1493 program_point *next_point, in on_edge()
1516 valid_longjmp_stack_p (const program_point &longjmp_point, in valid_longjmp_stack_p()
1517 const program_point &setjmp_point) in valid_longjmp_stack_p()
1542 const program_point &setjmp_point) in stale_jmp_buf()
1580 const program_point &src_point = src_node->get_point (); in maybe_add_custom_events_for_superedge()
1582 const program_point &dst_point = dst_node->get_point (); in maybe_add_custom_events_for_superedge()
[all …]
H A Dprogram-state.cc1018 const program_point &point = enode->get_point (); in on_edge()
1065 const program_point &point = enode->get_point (); in push_call()
1088 const program_point &point = enode->get_point (); in returning_call()
1108 const program_point &point, in prune_for_point()
1260 const program_point &point, in can_merge_with_p()
1671 program_point point (program_point::origin ()); in test_program_state_merging()
1739 program_point point (program_point::origin ()); in test_program_state_merging_2()
H A Dsm-signal.cc269 program_point entering_handler in impl_transition()
270 = program_point::from_function_entry (eg->get_supergraph (), in impl_transition()
H A Dprogram-state.h238 const program_point &point,
265 const program_point &point,
H A Ddiagnostic-manager.cc1500 const program_point &src_point = src_node->get_point (); in on_global_state_change()
1530 const program_point &src_point = src_node->get_point (); in on_state_change()
1644 const program_point *point, in null_assignment_sm_context()
1776 const program_point *m_point;
1791 const program_point &src_point = src_node->get_point (); in add_events_for_eedge()
1794 const program_point &dst_point = dst_node->get_point (); in add_events_for_eedge()
1902 program_point iter_point (dst_point); in add_events_for_eedge()
2086 const program_point &src_point = src_node->get_point (); in add_events_for_superedge()
2088 const program_point &dst_point = dst_node->get_point (); in add_events_for_superedge()
H A Dcall-info.cc109 const program_point &src_point = src_node->get_point (); in add_events_to_path()
H A Dregion-model.h275 const program_point &point,
757 const program_point &point,
1184 const program_point &point, in model_merger()
1210 const program_point &m_point;
H A Dfeasible-graph.cc264 const program_point &point = dest_fnode->get_inner_node ()->get_point (); in dump_feasible_path()
H A Danalyzer.h95 class program_point; variable
H A Dregion-model.cc4194 const program_point &point, in can_merge_with_p()
5545 program_point point (program_point::origin ()); in assert_region_models_merge()
5596 program_point point (program_point::origin ()); in test_state_merging()
5937 program_point point (program_point::origin ()); in test_constraint_merging()
5958 program_point point (program_point::origin ()); in test_widening_constraints()
6073 program_point point (program_point::origin ()); in test_iteration_1()
H A DChangeLog178 * program-point.h (program_point::print_source_line): Remove
495 * program-point.cc (program_point::get_next): Fix missing
1634 * program-point.cc (program_point::push_to_call_stack): New function.
1635 (program_point::pop_from_call_stack): New function.
1636 * program-point.h (program_point::push_to_call_stack): New decl.
1637 (program_point::pop_from_call_stack): New decl.
1721 * program-point.cc (program_point::get_function_at_depth): Refactor to
1723 (program_point::validate): Likewise.
1724 (program_point::on_edge): Likewise.
3837 (program_point::to_json): New.
[all …]
H A Dsvalue.h1116 key_t (tree type, const program_point &point,
1156 widening_svalue (tree type, const program_point &point,
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dprogram-point.h187 class program_point
190 program_point (const function_point &fn_point, in program_point() function
202 bool operator== (const program_point &other) const
261 static program_point from_function_entry (const supergraph &sg, in from_function_entry()
264 return program_point (function_point::from_function_entry (sg, fun), in from_function_entry()
268 static program_point before_supernode (const supernode *supernode, in before_supernode()
272 return program_point (function_point::before_supernode (supernode, in before_supernode()
277 static program_point before_stmt (const supernode *supernode, in before_stmt()
281 return program_point (function_point::before_stmt (supernode, stmt_idx), in before_stmt()
285 static program_point after_supernode (const supernode *supernode, in after_supernode()
[all …]
H A Dprogram-point.cc215 program_point::print (pretty_printer *pp, const format &f) const in print()
227 program_point::dump () const in dump()
239 program_point::hash () const in hash()
250 program_point::get_function_at_depth (unsigned depth) const in get_function_at_depth()
262 program_point::validate () const in validate()
288 program_point::on_edge (exploded_graph &eg, in on_edge()
533 program_point a = program_point::before_supernode (snode, NULL, in test_program_point_equality()
536 program_point b = program_point::before_supernode (snode, NULL, in test_program_point_equality()
H A Dexploded-graph.h101 point_and_state (const program_point &point, in point_and_state()
121 const program_point &get_point () const { return m_point; } in get_point()
133 program_point m_point;
231 program_point *next_point,
241 const program_point &get_point () const { return m_ps.get_point (); } in get_point()
259 const program_point *get_point_key () const { return &m_ps.get_point (); } in get_point_key()
357 const program_point &get_setjmp_point () const in get_setjmp_point()
359 const program_point &origin_point = get_enode_origin ()->get_point (); in get_setjmp_point()
464 per_program_point_data (const program_point &key) in per_program_point_data()
468 const program_point m_key;
[all …]
H A Dengine.cc396 const program_point &dst_point = dst_node->get_point (); in find_stmt()
423 const program_point &dst_point = dst_node->get_point (); in find_stmt()
1144 program_point *next_point, in on_edge()
1167 valid_longjmp_stack_p (const program_point &longjmp_point, in valid_longjmp_stack_p()
1168 const program_point &setjmp_point) in valid_longjmp_stack_p()
1255 const program_point &setjmp_point = rewind_info.get_setjmp_point (); in on_longjmp()
1257 const program_point &longjmp_point = get_point (); in on_longjmp()
1280 program_point next_point in on_longjmp()
1281 = program_point::after_supernode (setjmp_point.get_supernode (), in on_longjmp()
1409 const program_point &longjmp_point = eedge.m_src->get_point (); in update_model()
[all …]
H A Ddiagnostic-manager.cc658 const program_point &src_point = src_node->get_point (); in on_global_state_change()
686 const program_point &src_point = src_node->get_point (); in on_state_change()
821 const program_point &src_point = src_node->get_point (); in add_events_for_eedge()
823 const program_point &dst_point = dst_node->get_point (); in add_events_for_eedge()
996 const program_point &src_point = src_node->get_point (); in add_events_for_superedge()
998 const program_point &dst_point = dst_node->get_point (); in add_events_for_superedge()
H A Dsm-signal.cc231 program_point entering_handler in impl_transition()
232 = program_point::from_function_entry (eg->get_supergraph (), in impl_transition()
H A Danalyzer.h62 class program_point; variable
H A Dprogram-state.h259 const program_point &point,
H A Dprogram-state.cc813 const program_point &point = enode.get_point (); in on_edge()
855 const program_point &point, in prune_for_point()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/doc/
H A Danalyzer.texi174 the worklist keeps new nodes for the same program_point together,
181 try merging with the state of existing enodes for the program_point

12