| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| infinite-loop.cc | 73 infinite_loop (const exploded_node &enode,
77 : m_enode (enode),
113 loop_obj->set_integer ("enode", m_enode.m_index);
216 const exploded_node *enode,
225 enode->get_function ()->decl,
226 enode->get_stack_depth ()),
227 enode,
326 /* If ENODE has an in-edge corresponding to a CFG backedge, return that
331 get_in_edge_back_edge (const exploded_node &enode)
333 for (auto in_edge : enode.m_preds
[all...] |
| infinite-recursion.cc | 184 const exploded_node *enode,
197 enode,
320 /* Return true iff ENODE is the PK_BEFORE_SUPERNODE at a function
324 is_entrypoint_p (exploded_node *enode)
327 const supernode *snode = enode->get_supernode ();
332 const program_point &point = enode->get_point ();
339 enode we find that's also the entrypoint of the same function. */
343 exploded_node *enode) const
348 visited.add (enode);
349 for (auto in_edge : enode->m_preds
[all...] |
| checker-path.h | 113 void record_setjmp_event (const exploded_node *enode,
116 m_setjmp_event_ids.put (enode, setjmp_emission_id);
119 bool get_setjmp_event (const exploded_node *enode,
122 if (diagnostic_event_id_t *emission_id = m_setjmp_event_ids.get (enode))
|
| pending-diagnostic.cc | 271 const exploded_node *enode,
278 (event_loc_info (get_stmt_location (stmt, enode->get_function ()),
279 enode->get_function ()->decl,
280 enode->get_stack_depth ()),
281 enode,
|
| call-summary.h | 37 const exploded_node *enode)
39 m_enode (enode)
|
| engine.cc | 1106 exploded_node *enode; local
1107 FOR_EACH_VEC_ELT (enodes, i, enode)
1112 cur_start_idx = cur_finish_idx = enode->m_index;
1116 if (enode->m_index == cur_finish_idx + 1)
1118 cur_finish_idx = enode->m_index;
1126 cur_start_idx = cur_finish_idx = enode->m_index;
1154 Return true if ENODE should be shown in detail in .dot output.
1155 Return false if no detail should be shown for ENODE. */
1158 eg_traits::dump_args_t::show_enode_details_p (const exploded_node &enode) const
1168 Expand enodes at program points where we hit the per-enode limit, so w
[all...] |
| diagnostic-manager.h | 110 pending_location (exploded_node *enode,
114 : m_enode (enode),
126 pending_location (exploded_node *enode,
129 : m_enode (enode),
|
| program-state.h | 233 exploded_node *enode,
238 exploded_node *enode,
244 exploded_node *enode,
|
| checker-event.h | 368 const exploded_node *enode);
594 const exploded_node *enode,
597 m_enode (enode), m_setjmp_call (setjmp_call)
686 const exploded_node *enode,
690 m_enode (enode),
|
| exploded-graph.h | 187 bool show_enode_details_p (const exploded_node &enode) const;
205 /* Has this enode had exploded_graph::process_node called on it?
364 /* The saved_diagnostics at this enode, borrowed from the
373 called on this enode. */
590 /* The number of attempts to create an enode for this point
729 void add_node (exploded_node *enode);
741 key_t (const worklist &w, exploded_node *enode)
742 : m_worklist (w), m_enode (enode)
763 int get_scc_id (const exploded_node *enode) const
765 const supernode *snode = enode->get_supernode ()
[all...] |
| feasible-graph.cc | 94 rather than the model within the enode. */
120 /* Update state for the stmts that were processed in each enode. */
189 /* Add a feasible_node to this graph for ENODE, STATE with the
193 feasible_graph::add_node (const exploded_node *enode,
198 feasible_node *fnode = new feasible_node (enode, m_nodes.length (),
|
| program-state.cc | 1159 /* Determine if following edge SUCC from ENODE is valid within the graph EG
1173 exploded_node *enode,
1199 const program_point &point = enode->get_point ();
1212 impl_region_model_context ctxt (eg, enode,
1213 &enode->get_state (),
1238 program_state::detect_leaks (enode->get_state (), *this,
1251 exploded_node *enode,
1256 const program_point &point = enode->get_point ();
1259 impl_region_model_context ctxt (eg, enode,
1260 &enode->get_state ()
[all...] |
| feasible-graph.h | 194 feasible_node *add_node (const exploded_node *enode,
|
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| engine.cc | 997 exploded_node *enode; local
998 FOR_EACH_VEC_ELT (enodes, i, enode)
1003 cur_start_idx = cur_finish_idx = enode->m_index;
1007 if (enode->m_index == cur_finish_idx + 1)
1009 cur_finish_idx = enode->m_index;
1017 cur_start_idx = cur_finish_idx = enode->m_index;
1045 Return true if ENODE should be shown in detail in .dot output.
1046 Return false if no detail should be shown for ENODE. */
1049 eg_traits::dump_args_t::show_enode_details_p (const exploded_node &enode) const
1059 Expand enodes at program points where we hit the per-enode limit, so w
[all...] |
| diagnostic-manager.h | 34 const exploded_node *enode,
114 exploded_node *enode,
122 bool add_diagnostic (exploded_node *enode,
|
| checker-path.h | 420 setjmp_event (location_t loc, const exploded_node *enode,
423 m_enode (enode), m_setjmp_call (setjmp_call)
586 const exploded_node *enode, const gimple *stmt,
603 void record_setjmp_event (const exploded_node *enode,
606 m_setjmp_event_ids.put (enode, setjmp_emission_id);
609 bool get_setjmp_event (const exploded_node *enode,
612 if (diagnostic_event_id_t *emission_id = m_setjmp_event_ids.get (enode))
|
| program-state.h | 222 exploded_node *enode,
227 exploded_node *enode,
233 exploded_node *enode,
|
| diagnostic-manager.cc | 126 /* Get the "best" exploded_path for reaching ENODE from the origin,
141 epath_finder::get_best_epath (const exploded_node *enode,
148 unsigned snode_idx = enode->get_supernode ()->m_index;
151 desc, enode->m_index, snode_idx, diag_idx);
156 We want to find the shortest feasible path from the origin to ENODE
164 if (exploded_path *epath = explore_feasible_paths (enode, desc, diag_idx))
169 desc, enode->m_index, snode_idx, diag_idx,
178 desc, enode->m_index, snode_idx, diag_idx);
193 = new exploded_path (m_sep->get_shortest_path (enode));
199 desc, enode->m_index, snode_idx, diag_idx
[all...] |
| feasible-graph.cc | 100 rather than the model within the enode. */
165 /* Add a feasible_node to this graph for ENODE, STATE with the
169 feasible_graph::add_node (const exploded_node *enode,
174 feasible_node *fnode = new feasible_node (enode, m_nodes.length (),
|
| program-state.cc | 999 /* Determine if following edge SUCC from ENODE is valid within the graph EG
1013 exploded_node *enode,
1018 const program_point &point = enode->get_point ();
1030 impl_region_model_context ctxt (eg, enode,
1031 &enode->get_state (),
1047 program_state::detect_leaks (enode->get_state (), *this,
1060 exploded_node *enode,
1065 const program_point &point = enode->get_point ();
1068 impl_region_model_context ctxt (eg, enode,
1069 &enode->get_state ()
[all...] |
| exploded-graph.h | 163 bool show_enode_details_p (const exploded_node &enode) const;
181 /* Has this enode had exploded_graph::process_node called on it?
322 /* The saved_diagnostics at this enode, borrowed from the
331 called on this enode. */
534 /* The number of attempts to create an enode for this point
730 void add_node (exploded_node *enode);
742 key_t (const worklist &w, exploded_node *enode)
743 : m_worklist (w), m_enode (enode)
764 int get_scc_id (const exploded_node *enode) const
766 const supernode *snode = enode->get_supernode ()
[all...] |
| checker-path.cc | 1043 const exploded_node *enode, const gimple *stmt,
1047 = new warning_event (get_stmt_location (stmt, enode->get_function ()),
1048 enode->get_function ()->decl,
1049 enode->get_stack_depth (),
|
| feasible-graph.h | 190 feasible_node *add_node (const exploded_node *enode,
|
| /src/sys/kern/ |
| kern_sysctl.c | 624 const struct sysctlnode *enode, *onode; local
643 enode = NULL;
656 enode = rnode;
657 if (qnode.sysctl_ver != enode->sysctl_ver &&
658 qnode.sysctl_ver != sysctl_rootof(enode)->sysctl_ver)
666 enode = l->l_proc->p_emul->e_sysctlovly;
668 error = sysctl_locate(l, oname, elim, &enode, NULL);
671 elim = enode->sysctl_clen;
672 enode = enode->sysctl_child
[all...] |
| /src/sys/uvm/ |
| uvm_physseg.c | 388 const struct uvm_physseg *enode = nnode; local
391 if(enode->start <= pa && pa < enode->end)
393 if (enode->start < pa)
395 if (enode->end > pa)
|
