/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/ |
H A D | program-state.h | 28 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 D | program-state.cc | 98 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 D | exploded-graph.h | 46 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 D | sm-taint.cc | 85 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 D | program-state.h | 28 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 D | program-state.cc | 98 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 D | exploded-graph.h | 45 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 D | program-state.h | 28 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 D | program-state.cc | 98 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 D | exploded-graph.h | 45 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 D | program-state.h | 28 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 D | program-state.cc | 98 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 D | exploded-graph.h | 45 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 D | program-state.h | 28 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 D | program-state.cc | 84 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 D | exploded-graph.h | 46 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 D | analyzer.h | 59 class extrinsic_state; variable
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/ |
H A D | program-state.h | 28 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 D | program-state.cc | 84 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 D | exploded-graph.h | 46 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 D | analyzer.h | 59 class extrinsic_state; variable
|
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/ |
H A D | program-state.h | 28 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 D | program-state.cc | 84 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 D | exploded-graph.h | 46 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 D | analyzer.h | 59 class extrinsic_state; variable
|