| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm-signal.cc | 265 const extrinsic_state &ext_state = eg->get_ext_state (); variable
267 = program_point::from_function_entry (*ext_state.get_model_manager (),
271 program_state state_entering_handler (ext_state);
|
| sm-taint.cc | 103 const extrinsic_state &ext_state)
908 const extrinsic_state &ext_state)
925 state_t arg_state = map.get_state (arg, ext_state);
958 state_t arg0_state = map.get_state (arg0, ext_state);
959 state_t arg1_state = map.get_state (arg1, ext_state);
968 return map.get_state (arg1, ext_state);
1568 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
1569 if (!ext_state)
1586 state = smap->get_state (index, *ext_state);
1610 state = smap->get_state (offset, *ext_state);
1682 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
1718 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
1738 const extrinsic_state *ext_state = get_ext_state (); local
[all...] |
| diagnostic-manager.cc | 1852 /* Compare SRC_STATE and DST_STATE (which use EXT_STATE), and call
1872 const extrinsic_state &ext_state,
1876 == ext_state.get_num_checkers ());
1878 == ext_state.get_num_checkers ());
1879 for (unsigned i = 0; i < ext_state.get_num_checkers (); i++)
1881 const state_machine &sm = ext_state.get_sm (i);
1900 = src_smap.get_state (sval, ext_state);
1929 const extrinsic_state &ext_state)
1932 m_ext_state (ext_state)
2219 const extrinsic_state &ext_state = pb.get_ext_state () local
[all...] |
| sm-fd.cc | 148 const extrinsic_state &ext_state) const;
153 const extrinsic_state &ext_state) const;
157 const extrinsic_state &ext_state) const;
161 const extrinsic_state &ext_state) const;
165 const extrinsic_state &ext_state) const;
169 const extrinsic_state &ext_state) const;
1193 const extrinsic_state &ext_state) const
1195 smap->set_state (model, fd_sval, m_valid_read_write, NULL, ext_state);
1652 const extrinsic_state &ext_state) const
1655 engine *eng = ext_state.get_engine ()
2253 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
2285 const extrinsic_state *ext_state = ctxt->get_ext_state (); variable
2338 const extrinsic_state *ext_state = ctxt->get_ext_state (); variable
2389 const extrinsic_state *ext_state = ctxt->get_ext_state (); variable
2441 const extrinsic_state *ext_state = ctxt->get_ext_state (); variable
2496 const extrinsic_state *ext_state = ctxt->get_ext_state (); variable
2569 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
[all...] |
| sm-malloc.cc | 436 const extrinsic_state &ext_state) const;
441 const extrinsic_state &ext_state) const;
2559 const extrinsic_state &ext_state) const
2563 NULL, ext_state);
2567 NULL, ext_state);
2576 const extrinsic_state &ext_state) const
2578 smap->set_state (model, new_ptr_sval, m_free.m_nonnull, NULL, ext_state);
2602 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
2603 if (!ext_state)
2622 *ext_state);
2633 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm-taint.cc | 87 const extrinsic_state &ext_state)
681 const extrinsic_state &ext_state)
698 state_t arg_state = map.get_state (arg, ext_state);
723 state_t arg0_state = map.get_state (arg0, ext_state);
724 state_t arg1_state = map.get_state (arg1, ext_state);
1042 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
1043 if (!ext_state)
1060 state = smap->get_state (index, *ext_state);
1077 state = smap->get_state (offset, *ext_state);
1107 state = smap->get_state (size_sval, *ext_state);
1148 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
[all...] |
| diagnostic-manager.cc | 1569 /* Compare SRC_STATE and DST_STATE (which use EXT_STATE), and call
1589 const extrinsic_state &ext_state,
1593 == ext_state.get_num_checkers ());
1595 == ext_state.get_num_checkers ());
1596 for (unsigned i = 0; i < ext_state.get_num_checkers (); i++)
1598 const state_machine &sm = ext_state.get_sm (i);
1617 = src_smap.get_state (sval, ext_state);
1646 const extrinsic_state &ext_state)
1649 m_ext_state (ext_state)
1908 const extrinsic_state &ext_state = pb.get_ext_state () local
[all...] |
| sm-malloc.cc | 401 const extrinsic_state &ext_state) const;
2097 const extrinsic_state &ext_state) const
2101 NULL, ext_state);
2105 NULL, ext_state);
2129 const extrinsic_state *ext_state = ctxt->get_ext_state (); local
2130 if (!ext_state)
2149 *ext_state);
|
| /src/external/gpl3/gcc/dist/gcc/ |
| ree.cc | 582 class ext_state class
613 ext_state *state)
705 merge_def_and_ext (ext_cand *cand, rtx_insn *def_insn, ext_state *state)
763 combine_reaching_defs (ext_cand *cand, const_rtx set_pat, ext_state *state)
1293 ext_state state;
|
| /src/external/gpl3/gcc.old/dist/gcc/ |
| ree.cc | 582 class ext_state class
613 ext_state *state)
705 merge_def_and_ext (ext_cand *cand, rtx_insn *def_insn, ext_state *state)
763 combine_reaching_defs (ext_cand *cand, const_rtx set_pat, ext_state *state)
1293 ext_state state;
|
| /src/external/bsd/unbound/dist/util/ |
| module.h | 660 enum module_ext_state ext_state[MAX_MODULE]; member in struct:module_qstate
764 * Changes the qstate->ext_state to be correct on exit.
775 * @return: if at exit the ext_state is:
|
| /src/external/bsd/unbound/dist/validator/ |
| validator.c | 370 qstate->ext_state[id] = module_error;
521 qstate->ext_state[id] = module_wait_subquery;
548 enum module_ext_state ext_state = qstate->ext_state[id]; local
578 /* Not interested in subquery response. Restore the ext_state,
580 qstate->ext_state[id] = ext_state;
861 qstate->ext_state[id] = module_wait_reply;
2488 qstate->ext_state[id] = module_restart_next;
2526 qstate->ext_state[id] = module_finished
[all...] |
