Home
last modified time | relevance | path

Searched refs:ext_state (Results 1 – 25 of 53) sorted by relevance

123

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dprogram-state.cc380 const extrinsic_state &ext_state) const in get_state()
384 sval = canonicalize_svalue (sval, ext_state); in get_state()
396 if (region_model_manager *mgr = ext_state.get_model_manager ()) in get_state()
409 = get_state (parent_init_sval, ext_state); in get_state()
418 = get_state (parent_sval, ext_state)) in get_state()
424 = m_sm.alt_get_inherited_state (*this, sval, ext_state)) in get_state()
434 const extrinsic_state &ext_state) const in get_origin()
438 sval = canonicalize_svalue (sval, ext_state); in get_origin()
456 const extrinsic_state &ext_state) in set_state() argument
466 if (!set_state (ec, state, origin, ext_state)) in set_state()
[all …]
H A Dprogram-state.h131 const extrinsic_state &ext_state) const;
133 const extrinsic_state &ext_state) const;
139 const extrinsic_state &ext_state);
143 const extrinsic_state &ext_state);
147 const extrinsic_state &ext_state);
160 const extrinsic_state &ext_state);
163 const extrinsic_state &ext_state);
172 canonicalize_svalue (const svalue *sval, const extrinsic_state &ext_state);
194 program_state (const extrinsic_state &ext_state);
207 void print (const extrinsic_state &ext_state,
[all …]
H A Dsm-taint.cc87 const extrinsic_state &ext_state)
681 const extrinsic_state &ext_state) in alt_get_inherited_state()
698 state_t arg_state = map.get_state (arg, ext_state); in alt_get_inherited_state()
723 state_t arg0_state = map.get_state (arg0, ext_state); in alt_get_inherited_state()
724 state_t arg1_state = map.get_state (arg1, ext_state); in alt_get_inherited_state()
1042 const extrinsic_state *ext_state = ctxt->get_ext_state (); in check_region_for_taint() local
1043 if (!ext_state) in check_region_for_taint()
1060 state = smap->get_state (index, *ext_state); in check_region_for_taint()
1077 state = smap->get_state (offset, *ext_state); in check_region_for_taint()
1107 state = smap->get_state (size_sval, *ext_state); in check_region_for_taint()
[all …]
H A Dexploded-graph.h46 const extrinsic_state &ext_state,
144 void validate (const extrinsic_state &ext_state) const;
211 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
212 void dump (FILE *fp, const extrinsic_state &ext_state) const;
213 void dump (const extrinsic_state &ext_state) const;
218 json::object *to_json (const extrinsic_state &ext_state) const;
798 const extrinsic_state &ext_state,
953 const extrinsic_state *ext_state) const;
954 void dump (FILE *fp, const extrinsic_state *ext_state) const;
955 void dump (const extrinsic_state *ext_state = NULL) const;
[all …]
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dprogram-state.cc597 program_state::program_state (const extrinsic_state &ext_state) in program_state() argument
599 m_checker_states (ext_state.get_num_checkers ()), in program_state()
602 int num_states = ext_state.get_num_checkers (); in program_state()
707 program_state::print (const extrinsic_state &ext_state, in print() argument
720 pp_printf (pp, "%s: ", ext_state.get_name (i)); in print()
721 smap->print (ext_state.get_sm (i), m_region_model, pp); in print()
737 program_state::dump_to_pp (const extrinsic_state &ext_state, in dump_to_pp() argument
752 pp_printf (pp, "%s: ", ext_state.get_name (i)); in dump_to_pp()
753 smap->print (ext_state.get_sm (i), m_region_model, pp); in dump_to_pp()
772 program_state::dump_to_file (const extrinsic_state &ext_state, in dump_to_file() argument
[all …]
H A Dprogram-state.h226 program_state (const extrinsic_state &ext_state);
244 void print (const extrinsic_state &ext_state,
247 void dump_to_pp (const extrinsic_state &ext_state, bool summarize,
249 void dump_to_file (const extrinsic_state &ext_state, bool summarize,
251 void dump (const extrinsic_state &ext_state, bool summarize) const;
266 bool can_purge_p (const extrinsic_state &ext_state,
275 const state_machine &sm = ext_state.get_sm (i);
283 const extrinsic_state &ext_state,
286 void validate (const extrinsic_state &ext_state) const;
320 const extrinsic_state &ext_state,
[all …]
/netbsd-src/external/bsd/unbound/dist/pythonmod/examples/
H A Ddict.py94 qstate.ext_state[id] = MODULE_ERROR
98 qstate.ext_state[id] = MODULE_FINISHED
103 qstate.ext_state[id] = MODULE_FINISHED
107 qstate.ext_state[id] = MODULE_WAIT_MODULE
112 qstate.ext_state[id] = MODULE_FINISHED
116 qstate.ext_state[id] = MODULE_ERROR
H A Dcalc.py61 qstate.ext_state[id] = MODULE_ERROR
65 qstate.ext_state[id] = MODULE_FINISHED
70 qstate.ext_state[id] = MODULE_WAIT_MODULE
75 qstate.ext_state[id] = MODULE_FINISHED
79 qstate.ext_state[id] = MODULE_ERROR
H A Dresgen.py52 qstate.ext_state[id] = MODULE_ERROR
59 qstate.ext_state[id] = MODULE_FINISHED
63 qstate.ext_state[id] = MODULE_WAIT_MODULE
68 qstate.ext_state[id] = MODULE_FINISHED
72 qstate.ext_state[id] = MODULE_ERROR
H A Dresip.py75 qstate.ext_state[id] = MODULE_ERROR
82 qstate.ext_state[id] = MODULE_FINISHED
86 qstate.ext_state[id] = MODULE_WAIT_MODULE
91 qstate.ext_state[id] = MODULE_FINISHED
95 qstate.ext_state[id] = MODULE_ERROR
H A Dresmod.py56 qstate.ext_state[id] = MODULE_WAIT_MODULE
63 qstate.ext_state[id] = MODULE_FINISHED
83 qstate.ext_state[id] = MODULE_FINISHED
87 qstate.ext_state[id] = MODULE_ERROR
H A Dedns.py130 qstate.ext_state[id] = MODULE_WAIT_MODULE
144 qstate.ext_state[id] = MODULE_ERROR
189 qstate.ext_state[id] = MODULE_FINISHED
193 qstate.ext_state[id] = MODULE_ERROR
H A Dlog.py105 qstate.ext_state[id] = MODULE_WAIT_MODULE
114 qstate.ext_state[id] = MODULE_FINISHED
117 qstate.ext_state[id] = MODULE_ERROR
H A Dinplace_callbacks.py351 qstate.ext_state[id] = MODULE_WAIT_MODULE
355 qstate.ext_state[id] = MODULE_FINISHED
359 qstate.ext_state[id] = MODULE_ERROR
/netbsd-src/external/bsd/unbound/dist/pythonmod/doc/examples/
H A Dexample0-1.py20 qstate.ext_state[id] = MODULE_WAIT_MODULE
25 qstate.ext_state[id] = MODULE_FINISHED
30 qstate.ext_state[id] = MODULE_WAIT_MODULE
34 qstate.ext_state[id] = MODULE_ERROR
H A Dexample0.rst111 You have to set qstate.ext_state on exit.
123 qstate.ext_state[id] = MODULE_WAIT_MODULE
127 qstate.ext_state[id] = MODULE_FINISHED
131 qstate.ext_state[id] = MODULE_WAIT_MODULE
135 qstate.ext_state[id] = MODULE_ERROR
/netbsd-src/external/bsd/unbound/dist/pythonmod/
H A Dubmodule-msg.py108 qstate.ext_state[id] = MODULE_FINISHED
122 qstate.ext_state[id] = MODULE_ERROR
139 qstate.ext_state[id] = MODULE_WAIT_MODULE
144 qstate.ext_state[id] = MODULE_FINISHED
149 qstate.ext_state[id] = MODULE_WAIT_MODULE
153 qstate.ext_state[id] = MODULE_ERROR
H A Dubmodule-tst.py128 qstate.ext_state[id] = MODULE_ERROR
135 qstate.ext_state[id] = MODULE_WAIT_MODULE
140 qstate.ext_state[id] = MODULE_FINISHED
145 qstate.ext_state[id] = MODULE_WAIT_MODULE
149 qstate.ext_state[id] = MODULE_ERROR
/netbsd-src/external/bsd/unbound/dist/testdata/pymod_thread.tdir/
H A Dpymod_thread.py112 qstate.ext_state[id] = MODULE_FINISHED
134 qstate.ext_state[id] = MODULE_ERROR
151 qstate.ext_state[id] = MODULE_WAIT_MODULE
156 qstate.ext_state[id] = MODULE_FINISHED
161 qstate.ext_state[id] = MODULE_WAIT_MODULE
165 qstate.ext_state[id] = MODULE_ERROR
/netbsd-src/external/bsd/unbound/dist/testdata/pymod.tdir/
H A Dpymod.py112 qstate.ext_state[id] = MODULE_FINISHED
129 qstate.ext_state[id] = MODULE_ERROR
146 qstate.ext_state[id] = MODULE_WAIT_MODULE
151 qstate.ext_state[id] = MODULE_FINISHED
156 qstate.ext_state[id] = MODULE_WAIT_MODULE
160 qstate.ext_state[id] = MODULE_ERROR
/netbsd-src/external/bsd/unbound/dist/ipsecmod/
H A Dipsecmod.c126 qstate->ext_state[id] = module_error; in ipsecmod_error()
171 qstate->ext_state[id] = module_wait_subquery; in generate_request()
394 qstate->ext_state[id] = module_wait_module; in ipsecmod_handle_query()
410 qstate->ext_state[id] = module_wait_module; in ipsecmod_handle_query()
462 qstate->ext_state[id] = module_finished; in ipsecmod_handle_query()
480 qstate->ext_state[id] = module_finished; in ipsecmod_handle_response()
508 qstate->ext_state[id] = module_finished; in ipsecmod_handle_response()
518 id, strextstate(qstate->ext_state[id]), strmodulevent(event)); in ipsecmod_operate()
555 qstate->ext_state[id] = module_finished; in ipsecmod_operate()
/netbsd-src/external/bsd/unbound/dist/dynlibmod/examples/
H A Dhelloworld.c72 qstate->ext_state[id] = module_wait_module; in operate()
81 qstate->ext_state[id] = module_error; in operate()
84 qstate->ext_state[id] = module_finished; in operate()
86 qstate->ext_state[id] = module_error; in operate()
/netbsd-src/external/bsd/unbound/dist/cachedb/
H A Dcachedb.c326 qstate->ext_state[id] = module_finished; in error_response()
738 qstate->ext_state[id] = module_wait_module; in cachedb_handle_query()
745 qstate->ext_state[id] = module_wait_module; in cachedb_handle_query()
763 qstate->ext_state[id] = module_finished; in cachedb_handle_query()
785 qstate->ext_state[id] = module_wait_module; in cachedb_handle_query()
790 qstate->ext_state[id] = module_finished; in cachedb_handle_query()
796 qstate->ext_state[id] = module_wait_module; in cachedb_handle_query()
815 qstate->ext_state[id] = module_finished; in cachedb_handle_response()
820 qstate->ext_state[id] = module_finished; in cachedb_handle_response()
828 qstate->ext_state[id] = module_finished; in cachedb_handle_response()
[all …]
/netbsd-src/external/bsd/unbound/dist/edns-subnet/
H A Dsubnetmod.c779 "event:%s", id, strextstate(qstate->ext_state[id]), in subnetmod_operate()
788 qstate->ext_state[id] = module_finished; in subnetmod_operate()
801 qstate->ext_state[id] = module_finished; in subnetmod_operate()
823 qstate->ext_state[id] = module_wait_module; in subnetmod_operate()
834 qstate->ext_state[id] = module_finished; in subnetmod_operate()
846 qstate->ext_state[id] = module_finished; in subnetmod_operate()
895 qstate->ext_state[id] = module_wait_module; in subnetmod_operate()
900 qstate->ext_state[id] = eval_response(qstate, id, sq); in subnetmod_operate()
901 if(qstate->ext_state[id] == module_finished && in subnetmod_operate()
925 qstate->ext_state[id] = module_wait_module; in subnetmod_operate()
[all …]
/netbsd-src/external/bsd/unbound/dist/ipset/
H A Dipset.c40 qstate->ext_state[id] = module_finished; in error_response()
296 id, strextstate(qstate->ext_state[id]), strmodulevent(event)); in ipset_operate()
311 qstate->ext_state[id] = module_wait_module; in ipset_operate()
319 qstate->ext_state[id] = module_finished; in ipset_operate()
339 qstate->ext_state[id] = module_finished; in ipset_operate()

123