Home
last modified time | relevance | path

Searched refs:extrinsic_state (Results 1 – 25 of 54) sorted by relevance

123

/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
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);
261 const extrinsic_state &ext_state,
270 const extrinsic_state &ext_state,
274 const extrinsic_state &ext_state,
[all …]
H A Dprogram-state.cc98 extrinsic_state::dump () const in dump()
107 extrinsic_state::to_json () const in to_json()
126 extrinsic_state::get_model_manager () const in get_model_manager()
456 const extrinsic_state &ext_state) in set_state()
478 const extrinsic_state &ext_state) in set_state()
493 const extrinsic_state &ext_state) in impl_set_state()
607 const extrinsic_state &ext_state) in on_unknown_change()
646 const extrinsic_state &ext_state) in purge_state_involving()
716 const extrinsic_state &ext_state) in canonicalize_svalue()
1200 const extrinsic_state &ext_state, in can_merge_with_p()
[all …]
H A Dexploded-graph.h46 const extrinsic_state &ext_state,
82 const extrinsic_state *get_ext_state () const FINAL OVERRIDE in get_ext_state()
100 const extrinsic_state &m_ext_state;
141 void validate (const extrinsic_state &ext_state) const;
209 void dump (FILE *fp, const extrinsic_state &ext_state) const;
210 void dump (const extrinsic_state &ext_state) const;
795 const extrinsic_state &ext_state,
908 const extrinsic_state &m_ext_state;
950 const extrinsic_state *ext_state) const;
952 void dump (const extrinsic_state *ext_state = NULL) const;
[all …]
H A Dsm-taint.cc85 const extrinsic_state &ext_state)
589 const extrinsic_state &ext_state) in alt_get_inherited_state()
863 const extrinsic_state *ext_state = ctxt->get_ext_state (); in check_region_for_taint()
970 const extrinsic_state *ext_state = ctxt->get_ext_state (); in check_dynamic_size_for_taint()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
129 const extrinsic_state &ext_state) const;
131 const extrinsic_state &ext_state) const;
137 const extrinsic_state &ext_state);
141 const extrinsic_state &ext_state);
145 const extrinsic_state &ext_state);
158 const extrinsic_state &ext_state);
161 const extrinsic_state &ext_state);
209 void print (const extrinsic_state &ext_state,
260 const extrinsic_state &ext_state,
[all …]
H A Dprogram-state.cc98 extrinsic_state::dump () const in dump()
107 extrinsic_state::to_json () const in to_json()
126 extrinsic_state::get_model_manager () const in get_model_manager()
358 const extrinsic_state &ext_state) const in get_state()
420 const extrinsic_state &ext_state) in set_state()
442 const extrinsic_state &ext_state) in set_state()
459 const extrinsic_state &ext_state) in impl_set_state()
559 const extrinsic_state &ext_state) in on_unknown_change()
598 const extrinsic_state &ext_state) in purge_state_involving()
667 const extrinsic_state &ext_state) in canonicalize_svalue()
[all …]
H A Dexploded-graph.h45 const extrinsic_state &ext_state,
82 const extrinsic_state &m_ext_state;
122 void validate (const extrinsic_state &ext_state) const;
189 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
190 void dump (FILE *fp, const extrinsic_state &ext_state) const;
191 void dump (const extrinsic_state &ext_state) const;
196 json::object *to_json (const extrinsic_state &ext_state) const;
762 const extrinsic_state &ext_state,
771 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
867 const extrinsic_state &m_ext_state;
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
129 const extrinsic_state &ext_state) const;
131 const extrinsic_state &ext_state) const;
137 const extrinsic_state &ext_state);
141 const extrinsic_state &ext_state);
145 const extrinsic_state &ext_state);
158 const extrinsic_state &ext_state);
161 const extrinsic_state &ext_state);
209 void print (const extrinsic_state &ext_state,
260 const extrinsic_state &ext_state,
[all …]
H A Dprogram-state.cc98 extrinsic_state::dump () const in dump()
107 extrinsic_state::to_json () const in to_json()
126 extrinsic_state::get_model_manager () const in get_model_manager()
358 const extrinsic_state &ext_state) const in get_state()
420 const extrinsic_state &ext_state) in set_state()
442 const extrinsic_state &ext_state) in set_state()
459 const extrinsic_state &ext_state) in impl_set_state()
559 const extrinsic_state &ext_state) in on_unknown_change()
598 const extrinsic_state &ext_state) in purge_state_involving()
667 const extrinsic_state &ext_state) in canonicalize_svalue()
[all …]
H A Dexploded-graph.h45 const extrinsic_state &ext_state,
82 const extrinsic_state &m_ext_state;
122 void validate (const extrinsic_state &ext_state) const;
189 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
190 void dump (FILE *fp, const extrinsic_state &ext_state) const;
191 void dump (const extrinsic_state &ext_state) const;
196 json::object *to_json (const extrinsic_state &ext_state) const;
762 const extrinsic_state &ext_state,
771 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
867 const extrinsic_state &m_ext_state;
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
129 const extrinsic_state &ext_state) const;
131 const extrinsic_state &ext_state) const;
137 const extrinsic_state &ext_state);
141 const extrinsic_state &ext_state);
145 const extrinsic_state &ext_state);
158 const extrinsic_state &ext_state);
161 const extrinsic_state &ext_state);
209 void print (const extrinsic_state &ext_state,
260 const extrinsic_state &ext_state,
[all …]
H A Dprogram-state.cc98 extrinsic_state::dump () const in dump()
107 extrinsic_state::to_json () const in to_json()
126 extrinsic_state::get_model_manager () const in get_model_manager()
358 const extrinsic_state &ext_state) const in get_state()
420 const extrinsic_state &ext_state) in set_state()
442 const extrinsic_state &ext_state) in set_state()
459 const extrinsic_state &ext_state) in impl_set_state()
559 const extrinsic_state &ext_state) in on_unknown_change()
598 const extrinsic_state &ext_state) in purge_state_involving()
667 const extrinsic_state &ext_state) in canonicalize_svalue()
[all …]
H A Dexploded-graph.h45 const extrinsic_state &ext_state,
82 const extrinsic_state &m_ext_state;
122 void validate (const extrinsic_state &ext_state) const;
189 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
190 void dump (FILE *fp, const extrinsic_state &ext_state) const;
191 void dump (const extrinsic_state &ext_state) const;
196 json::object *to_json (const extrinsic_state &ext_state) const;
762 const extrinsic_state &ext_state,
771 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
867 const extrinsic_state &m_ext_state;
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
31 extrinsic_state (auto_delete_vec <state_machine> &checkers) in extrinsic_state() function
226 program_state (const extrinsic_state &ext_state);
244 void print (const extrinsic_state &ext_state,
266 bool can_purge_p (const extrinsic_state &ext_state,
283 const extrinsic_state &ext_state,
286 void validate (const extrinsic_state &ext_state) const;
320 const extrinsic_state &ext_state,
354 const extrinsic_state &ext_state) const;
373 void dump (const extrinsic_state &ext_state) const;
[all …]
H A Dprogram-state.cc84 extrinsic_state::dump_to_file (FILE *outf) const in dump_to_file()
97 extrinsic_state::dump () const in dump()
997 const extrinsic_state &ext_state, in can_merge_with_p()
1135 const extrinsic_state &ext_state) const in validate()
1194 const extrinsic_state &ext_state) const in dump()
1248 const extrinsic_state &ext_state) const in validate()
1269 const extrinsic_state &ext_state, in assert_dump_eq()
1435 extrinsic_state ext_state (checkers); in test_program_state_dumping()
1481 extrinsic_state ext_state (checkers); in test_program_state_dumping_2()
1526 extrinsic_state ext_state (checkers); in test_program_state_merging()
[all …]
H A Dexploded-graph.h46 const extrinsic_state &ext_state,
91 const extrinsic_state &m_ext_state;
130 void validate (const extrinsic_state &ext_state) const;
187 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
188 void dump (FILE *fp, const extrinsic_state &ext_state) const;
189 void dump (const extrinsic_state &ext_state) const;
310 const extrinsic_state &ext_state,
726 const extrinsic_state &ext_state,
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state;
H A Danalyzer.h59 class extrinsic_state; variable
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
31 extrinsic_state (auto_delete_vec <state_machine> &checkers) in extrinsic_state() function
226 program_state (const extrinsic_state &ext_state);
244 void print (const extrinsic_state &ext_state,
266 bool can_purge_p (const extrinsic_state &ext_state,
283 const extrinsic_state &ext_state,
286 void validate (const extrinsic_state &ext_state) const;
320 const extrinsic_state &ext_state,
354 const extrinsic_state &ext_state) const;
373 void dump (const extrinsic_state &ext_state) const;
[all …]
H A Dprogram-state.cc84 extrinsic_state::dump_to_file (FILE *outf) const in dump_to_file()
97 extrinsic_state::dump () const in dump()
997 const extrinsic_state &ext_state, in can_merge_with_p()
1135 const extrinsic_state &ext_state) const in validate()
1194 const extrinsic_state &ext_state) const in dump()
1248 const extrinsic_state &ext_state) const in validate()
1269 const extrinsic_state &ext_state, in assert_dump_eq()
1435 extrinsic_state ext_state (checkers); in test_program_state_dumping()
1481 extrinsic_state ext_state (checkers); in test_program_state_dumping_2()
1526 extrinsic_state ext_state (checkers); in test_program_state_merging()
[all …]
H A Dexploded-graph.h46 const extrinsic_state &ext_state,
91 const extrinsic_state &m_ext_state;
130 void validate (const extrinsic_state &ext_state) const;
187 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
188 void dump (FILE *fp, const extrinsic_state &ext_state) const;
189 void dump (const extrinsic_state &ext_state) const;
310 const extrinsic_state &ext_state,
726 const extrinsic_state &ext_state,
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state;
H A Danalyzer.h59 class extrinsic_state; variable
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/
H A Dprogram-state.h28 class extrinsic_state
31 extrinsic_state (auto_delete_vec <state_machine> &checkers) in extrinsic_state() function
226 program_state (const extrinsic_state &ext_state);
244 void print (const extrinsic_state &ext_state,
266 bool can_purge_p (const extrinsic_state &ext_state,
283 const extrinsic_state &ext_state,
286 void validate (const extrinsic_state &ext_state) const;
320 const extrinsic_state &ext_state,
354 const extrinsic_state &ext_state) const;
373 void dump (const extrinsic_state &ext_state) const;
[all …]
H A Dprogram-state.cc84 extrinsic_state::dump_to_file (FILE *outf) const in dump_to_file()
97 extrinsic_state::dump () const in dump()
997 const extrinsic_state &ext_state, in can_merge_with_p()
1135 const extrinsic_state &ext_state) const in validate()
1194 const extrinsic_state &ext_state) const in dump()
1248 const extrinsic_state &ext_state) const in validate()
1269 const extrinsic_state &ext_state, in assert_dump_eq()
1435 extrinsic_state ext_state (checkers); in test_program_state_dumping()
1481 extrinsic_state ext_state (checkers); in test_program_state_dumping_2()
1526 extrinsic_state ext_state (checkers); in test_program_state_merging()
[all …]
H A Dexploded-graph.h46 const extrinsic_state &ext_state,
91 const extrinsic_state &m_ext_state;
130 void validate (const extrinsic_state &ext_state) const;
187 void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const;
188 void dump (FILE *fp, const extrinsic_state &ext_state) const;
189 void dump (const extrinsic_state &ext_state) const;
310 const extrinsic_state &ext_state,
726 const extrinsic_state &ext_state,
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state;
H A Danalyzer.h59 class extrinsic_state; variable

123