HomeSort by: relevance | last modified time | path
    Searched refs:ext_state (Results 1 - 25 of 54) sorted by relevancy

1 2 3

  /src/external/gpl3/gcc/dist/gcc/analyzer/
program-state.h 131 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);
158 const extrinsic_state &ext_state,
163 const extrinsic_state &ext_state);
166 const extrinsic_state &ext_state);
175 canonicalize_svalue (const svalue *sval, const extrinsic_state &ext_state);
182 const extrinsic_state &ext_state,
    [all...]
program-state.cc 375 const extrinsic_state &ext_state) const
379 sval = canonicalize_svalue (sval, ext_state);
391 if (region_model_manager *mgr = ext_state.get_model_manager ())
404 = get_state (parent_init_sval, ext_state);
413 = get_state (parent_sval, ext_state))
419 = m_sm.alt_get_inherited_state (*this, sval, ext_state))
429 const extrinsic_state &ext_state) const
433 sval = canonicalize_svalue (sval, ext_state);
451 const extrinsic_state &ext_state)
461 if (!set_state (ec, state, origin, ext_state))
    [all...]
call-summary.h 46 void dump_to_pp (const extrinsic_state &ext_state,
49 void dump (const extrinsic_state &ext_state, FILE *fp, bool simple) const;
50 void dump (const extrinsic_state &ext_state, bool simple) const;
73 const extrinsic_state &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...]
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...]
call-summary.cc 130 call_summary::dump_to_pp (const extrinsic_state &ext_state,
138 get_state ().dump_to_pp (ext_state, simple, true, pp);
144 call_summary::dump (const extrinsic_state &ext_state,
152 dump_to_pp (ext_state, &pp, simple);
159 call_summary::dump (const extrinsic_state &ext_state, bool simple) const
161 dump (ext_state, stderr, simple);
173 const extrinsic_state &ext_state)
176 m_ext_state (ext_state)
  /src/external/bsd/unbound/dist/pythonmod/doc/examples/
example0-1.py 20 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
  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
program-state.h 131 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...]
program-state.cc 380 const extrinsic_state &ext_state) const
384 sval = canonicalize_svalue (sval, ext_state);
396 if (region_model_manager *mgr = ext_state.get_model_manager ())
409 = get_state (parent_init_sval, ext_state);
418 = get_state (parent_sval, ext_state))
424 = m_sm.alt_get_inherited_state (*this, sval, ext_state))
434 const extrinsic_state &ext_state) const
438 sval = canonicalize_svalue (sval, ext_state);
456 const extrinsic_state &ext_state)
466 if (!set_state (ec, state, origin, ext_state))
    [all...]
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...]
  /src/external/bsd/unbound/dist/pythonmod/examples/
calc.py 61 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
resgen.py 52 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
resip.py 75 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
resmod.py 56 qstate.ext_state[id] = MODULE_WAIT_MODULE
63 qstate.ext_state[id] = MODULE_FINISHED
76 # qstate.ext_state[id] = MODULE_ERROR
83 qstate.ext_state[id] = MODULE_FINISHED
87 qstate.ext_state[id] = MODULE_ERROR
dict.py 94 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
edns.py 130 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
log.py 107 qstate.ext_state[id] = MODULE_WAIT_MODULE
116 qstate.ext_state[id] = MODULE_FINISHED
119 qstate.ext_state[id] = MODULE_ERROR
inplace_callbacks.py 351 qstate.ext_state[id] = MODULE_WAIT_MODULE
355 qstate.ext_state[id] = MODULE_FINISHED
359 qstate.ext_state[id] = MODULE_ERROR
  /src/external/bsd/unbound/dist/dynlibmod/examples/
helloworld.c 72 qstate->ext_state[id] = module_wait_module;
81 qstate->ext_state[id] = module_error;
84 qstate->ext_state[id] = module_finished;
86 qstate->ext_state[id] = module_error;
  /src/external/bsd/unbound/dist/pythonmod/
ubmodule-tst.py 128 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
ubmodule-msg.py 108 qstate.ext_state[id] = MODULE_FINISHED
122 qstate.ext_state[id] = MODULE_ERROR
131 # 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
  /src/external/bsd/unbound/dist/testdata/pymod.tdir/
pymod.py 112 qstate.ext_state[id] = MODULE_FINISHED
129 qstate.ext_state[id] = MODULE_ERROR
138 # 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
  /src/external/bsd/unbound/dist/testdata/pymod_thread.tdir/
pymod_thread.py 112 qstate.ext_state[id] = MODULE_FINISHED
134 qstate.ext_state[id] = MODULE_ERROR
143 # 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
  /src/external/bsd/unbound/dist/ipsecmod/
ipsecmod.c 126 qstate->ext_state[id] = module_error;
171 qstate->ext_state[id] = module_wait_subquery;
394 qstate->ext_state[id] = module_wait_module;
410 qstate->ext_state[id] = module_wait_module;
463 qstate->ext_state[id] = module_finished;
481 qstate->ext_state[id] = module_finished;
509 qstate->ext_state[id] = module_finished;
519 id, strextstate(qstate->ext_state[id]), strmodulevent(event));
556 qstate->ext_state[id] = module_finished;
  /src/external/bsd/unbound/dist/cachedb/
cachedb.c 320 qstate->ext_state[id] = module_finished;
804 qstate->ext_state[id] = module_wait_module;
814 qstate->ext_state[id] = module_wait_module;
832 qstate->ext_state[id] = module_finished;
852 qstate->ext_state[id] = module_wait_module;
862 qstate->ext_state[id] = module_wait_module;
869 qstate->ext_state[id] = module_finished;
883 qstate->ext_state[id] = module_wait_module;
904 qstate->ext_state[id] = module_finished;
909 qstate->ext_state[id] = module_finished
    [all...]

Completed in 43 milliseconds

1 2 3