| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | sm.h | 28 class state_machine; variable
39 class state_machine : public log_user
60 typedef const state_machine::state *state_t;
62 state_machine (const char *name, logger *logger);
63 virtual ~state_machine () {} in ~state_machine()
81 virtual state_machine::state_t get_default_state (const svalue *) const in get_default_state()
154 DISABLE_COPY_AND_ASSIGN (state_machine);
197 virtual state_machine::state_t get_state (const gimple *stmt,
199 virtual state_machine::state_t get_state (const gimple *stmt,
206 state_machine::state_t to,
[all …]
|
| H A D | program-state.h | 31 extrinsic_state (auto_delete_vec <state_machine> &checkers,
38 const state_machine &get_sm (int idx) const in get_sm()
65 auto_delete_vec <state_machine> &m_checkers;
86 entry_t (state_machine::state_t state, in entry_t()
103 state_machine::state_t m_state;
109 sm_state_map (const state_machine &sm);
130 state_machine::state_t get_state (const svalue *sval,
137 state_machine::state_t state,
141 state_machine::state_t state,
145 state_machine::state_t state,
[all …]
|
| H A D | sm.cc | 72 state_machine::state::dump_to_pp (pretty_printer *pp) const in dump_to_pp()
80 state_machine::state::to_json () const in to_json()
92 state_machine::state_machine (const char *name, logger *logger) in state_machine() function in ana::state_machine
103 state_machine::state_t
104 state_machine::add_state (const char *name) in add_state()
114 state_machine::state_t
115 state_machine::get_state_by_name (const char *name) const in get_state_by_name()
129 state_machine::dump_to_pp (pretty_printer *pp) const in dump_to_pp()
146 state_machine::to_json () const in to_json()
178 make_checkers (auto_delete_vec <state_machine> &out, logger *logger) in make_checkers()
[all …]
|
| H A D | diagnostic-manager.h | 33 saved_diagnostic (const state_machine *sm,
38 state_machine::state_t state,
71 const state_machine *m_sm;
78 state_machine::state_t m_state;
113 bool add_diagnostic (const state_machine *sm,
119 state_machine::state_t state,
165 const state_machine *sm,
167 state_machine::state_t state) const;
170 const state_machine *sm,
172 state_machine::state_t state) const;
[all …]
|
| H A D | pending-diagnostic.h | 66 state_machine::state_t old_state, in state_change()
67 state_machine::state_t new_state, in state_change()
80 state_machine::state_t m_old_state;
81 state_machine::state_t m_new_state;
92 tree expr, state_machine::state_t state) in call_with_state()
104 state_machine::state_t m_state;
113 state_machine::state_t state) in return_of_state()
123 state_machine::state_t m_state;
131 tree expr, state_machine::state_t state) in final_event()
137 state_machine::state_t m_state;
|
| H A D | program-state.cc | 74 state_machine *checker; in dump_to_pp()
114 state_machine *sm; in to_json()
142 state_machine *sm; in get_sm_idx_by_name()
178 sm_state_map::sm_state_map (const state_machine &sm) in sm_state_map()
378 state_machine::state_t
408 state_machine::state_t parent_state in get_state()
417 if (state_machine::state_t parent_state in get_state()
423 if (state_machine::state_t state in get_state()
454 state_machine::state_t state, in set_state()
476 state_machine::state_t state, in set_state()
[all …]
|
| H A D | checker-path.h | 236 const state_machine &sm,
238 state_machine::state_t from,
239 state_machine::state_t to,
252 const state_machine &m_sm;
254 state_machine::state_t m_from;
255 state_machine::state_t m_to;
270 void record_critical_state (tree var, state_machine::state_t state) in record_critical_state()
288 state_machine::state_t m_critical_state;
512 const state_machine *sm, in warning_event()
513 tree var, state_machine::state_t state) in warning_event()
[all …]
|
| H A D | diagnostic-manager.cc | 640 saved_diagnostic::saved_diagnostic (const state_machine *sm, in saved_diagnostic()
646 state_machine::state_t state, in saved_diagnostic()
920 const state_machine *get_sm () const { return m_sd.m_sm; } in get_sm()
968 diagnostic_manager::add_diagnostic (const state_machine *sm, in add_diagnostic()
974 state_machine::state_t state, in add_diagnostic()
1492 bool on_global_state_change (const state_machine &sm, in on_global_state_change()
1493 state_machine::state_t src_sm_val, in on_global_state_change()
1494 state_machine::state_t dst_sm_val) in on_global_state_change()
1521 bool on_state_change (const state_machine &sm, in on_state_change()
1522 state_machine::state_t src_sm_val, in on_state_change()
[all …]
|
| H A D | sm-taint.cc | 78 class taint_state_machine : public state_machine
670 : state_machine ("taint", logger) in taint_state_machine()
678 state_machine::state_t
893 state_machine::state_t
1012 state_machine *
1032 const state_machine *sm; in check_region_for_taint()
1059 const state_machine::state_t in check_region_for_taint()
1076 const state_machine::state_t in check_region_for_taint()
1106 const state_machine::state_t in check_region_for_taint()
1138 const state_machine *sm; in check_dynamic_size_for_taint()
[all …]
|
| H A D | sm-pattern-test.cc | 56 class pattern_test_state_machine : public state_machine
111 : state_machine ("pattern-test", logger) in pattern_test_state_machine()
161 state_machine *
|
| H A D | sm-malloc.cc | 120 struct allocation_state : public state_machine::state
169 state_machine::state_t m_freed;
226 state_machine::state_t m_unchecked;
229 state_machine::state_t m_nonnull;
333 class malloc_state_machine : public state_machine
348 state_machine::state_t
623 dyn_cast_allocation_state (state_machine::state_t state) in dyn_cast_allocation_state()
634 as_a_allocation_state (state_machine::state_t state) in as_a_allocation_state()
643 get_rs (state_machine::state_t state) in get_rs()
654 start_p (state_machine::state_t state) in start_p()
[all …]
|
| H A D | sm-sensitive.cc | 50 class sensitive_state_machine : public state_machine
159 : state_machine ("sensitive", logger) in sensitive_state_machine()
232 state_machine *
|
| H A D | sm-file.cc | 55 class fileptr_state_machine : public state_machine
62 state_machine::state_t
263 : state_machine ("file", logger) in fileptr_state_machine()
471 state_machine *
|
| H A D | sm-signal.cc | 73 class signal_state_machine : public state_machine
192 : state_machine ("signal", logger) in signal_state_machine()
376 state_machine *
|
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | program-state.h | 31 extrinsic_state (auto_delete_vec <state_machine> &checkers) in extrinsic_state()
36 const state_machine &get_sm (int idx) const in get_sm()
54 auto_delete_vec <state_machine> &m_checkers;
121 entry_t (state_machine::state_t state,
136 state_machine::state_t m_state;
149 void print (const state_machine &sm, const region_model *model,
151 void dump (const state_machine &sm) const;
163 state_machine::state_t get_state (svalue_id sid) const;
168 state_machine::state_t state,
171 state_machine::state_t state,
[all …]
|
| H A D | sm.h | 31 class state_machine; variable
39 class state_machine : public log_user
44 state_machine (const char *name, logger *logger) in state_machine() function
47 virtual ~state_machine () {} in ~state_machine()
98 DISABLE_COPY_AND_ASSIGN (state_machine);
107 start_start_p (state_machine::state_t state) in start_start_p()
146 state_machine::state_t from,
147 state_machine::state_t to,
154 tree var, state_machine::state_t state,
162 virtual state_machine::state_t get_global_state () const = 0;
[all …]
|
| H A D | sm.cc | 72 state_machine::state_t
73 state_machine::add_state (const char *name) in add_state()
82 state_machine::get_state_name (state_t s) const in get_state_name()
90 state_machine::state_t
91 state_machine::get_state_by_name (const char *name) in get_state_by_name()
105 state_machine::validate (state_t s) const in validate()
113 state_machine::dump_to_pp (pretty_printer *pp) const in dump_to_pp()
125 make_checkers (auto_delete_vec <state_machine> &out, logger *logger) in make_checkers()
144 state_machine **sm; in make_checkers()
|
| H A D | diagnostic-manager.h | 38 saved_diagnostic (const state_machine *sm,
42 tree var, state_machine::state_t state,
70 const state_machine *m_sm;
76 state_machine::state_t m_state;
104 void add_diagnostic (const state_machine *sm,
108 tree var, state_machine::state_t state,
154 const state_machine *sm,
155 tree var, state_machine::state_t state) const;
158 const state_machine *sm,
160 state_machine::state_t state) const;
|
| H A D | pending-diagnostic.h | 50 state_machine::state_t old_state, in state_change()
51 state_machine::state_t new_state, in state_change()
64 state_machine::state_t m_old_state;
65 state_machine::state_t m_new_state;
76 tree expr, state_machine::state_t state) in call_with_state()
88 state_machine::state_t m_state;
97 state_machine::state_t state) in return_of_state()
107 state_machine::state_t m_state;
115 tree expr, state_machine::state_t state) in final_event()
121 state_machine::state_t m_state;
|
| H A D | checker-path.h | 195 const state_machine &sm,
197 state_machine::state_t from,
198 state_machine::state_t to,
211 const state_machine &m_sm;
213 state_machine::state_t m_from;
214 state_machine::state_t m_to;
229 void record_critical_state (tree var, state_machine::state_t state) in record_critical_state()
247 state_machine::state_t m_critical_state;
429 const state_machine *sm, in warning_event()
430 tree var, state_machine::state_t state) in warning_event()
[all …]
|
| H A D | program-state.cc | 73 state_machine *checker; in dump_to_pp()
157 sm_state_map::print (const state_machine &sm, const region_model *model, in print()
206 sm_state_map::dump (const state_machine &sm) const in dump()
283 state_machine::state_t
316 state_machine::state_t state, in set_state()
345 state_machine::state_t state, in set_state()
360 sm_state_map::impl_set_state (svalue_id sid, state_machine::state_t state, in impl_set_state()
381 sm_state_map::set_global_state (state_machine::state_t state) in set_global_state()
388 state_machine::state_t
402 const state_machine &sm, in purge_for_unknown_fncall()
[all …]
|
| H A D | diagnostic-manager.cc | 70 saved_diagnostic::saved_diagnostic (const state_machine *sm, in saved_diagnostic()
74 tree var, state_machine::state_t state, in saved_diagnostic()
161 diagnostic_manager::add_diagnostic (const state_machine *sm, in add_diagnostic()
165 tree var, state_machine::state_t state, in add_diagnostic()
652 bool on_global_state_change (const state_machine &sm, in on_global_state_change()
653 state_machine::state_t src_sm_val, in on_global_state_change()
654 state_machine::state_t dst_sm_val) in on_global_state_change()
679 bool on_state_change (const state_machine &sm, in on_state_change()
680 state_machine::state_t src_sm_val, in on_state_change()
681 state_machine::state_t dst_sm_val, in on_state_change()
[all …]
|
| H A D | sm-pattern-test.cc | 49 class pattern_test_state_machine : public state_machine
101 : state_machine ("pattern-test", logger) in pattern_test_state_machine()
148 state_machine *
|
| H A D | sm-sensitive.cc | 49 class sensitive_state_machine : public state_machine
164 : state_machine ("sensitive", logger) in sensitive_state_machine()
245 state_machine *
|
| H A D | sm-signal.cc | 71 class signal_state_machine : public state_machine
164 : state_machine ("signal", logger) in signal_state_machine()
350 state_machine *
|