Home
last modified time | relevance | path

Searched refs:state_t (Results 1 – 25 of 68) sorted by relevance

123

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dsm.h60 typedef const state_machine::state *state_t; typedef
73 virtual state_t
81 virtual state_machine::state_t get_default_state (const svalue *) const in get_default_state()
88 state_t get_state_by_name (const char *name) const;
114 virtual bool can_purge_p (state_t s) const = 0;
129 virtual bool reset_when_passed_to_unknown_fn_p (state_t s ATTRIBUTE_UNUSED, in reset_when_passed_to_unknown_fn_p()
135 void validate (state_t s) const;
141 state_t get_start_state () const { return m_start; } in get_start_state()
144 state_t add_state (const char *name);
145 state_t add_custom_state (state *s) in add_custom_state()
[all …]
H A Dprogram-state.h86 entry_t (state_machine::state_t state, in entry_t()
103 state_machine::state_t m_state;
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,
149 void set_global_state (state_machine::state_t state);
150 state_machine::state_t get_global_state () const;
177 state_machine::state_t m_global_state;
299 state_machine::state_t src_sm_val,
[all …]
H A Dpending-diagnostic.h66 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 Dsm-taint.cc85 state_t alt_get_inherited_state (const sm_state_map &map,
101 bool can_purge_p (state_t s) const FINAL OVERRIDE;
103 bool get_taint (state_t s, tree type, enum bounds *out) const;
105 state_t combine_states (state_t s0, state_t s1) const;
119 state_t m_tainted;
122 state_t m_has_lb;
125 state_t m_has_ub;
128 state_t m_stop;
678 state_machine::state_t
698 state_t arg_state = map.get_state (arg, ext_state); in alt_get_inherited_state()
[all …]
H A Ddiagnostic-manager.h38 state_machine::state_t state,
78 state_machine::state_t m_state;
119 state_machine::state_t state,
167 state_machine::state_t state) const;
172 state_machine::state_t state) const;
176 state_machine::state_t state) const;
H A Dsm-file.cc62 state_machine::state_t
84 bool can_purge_p (state_t s) const FINAL OVERRIDE;
90 state_t m_unchecked;
93 state_t m_null;
96 state_t m_nonnull;
99 state_t m_closed;
102 state_t m_stop;
452 fileptr_state_machine::can_purge_p (state_t s) const in can_purge_p()
H A Dsm-malloc.cc169 state_machine::state_t m_freed;
226 state_machine::state_t m_unchecked;
229 state_machine::state_t m_nonnull;
341 state_t
348 state_machine::state_t
389 bool can_purge_p (state_t s) const FINAL OVERRIDE;
392 bool reset_when_passed_to_unknown_fn_p (state_t s,
412 state_t m_null;
416 state_t m_non_heap; // TODO: or should this be a different state machine?
420 state_t m_stop;
[all …]
H A Dchecker-path.h238 state_machine::state_t from,
239 state_machine::state_t to,
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;
513 tree var, state_machine::state_t state) in warning_event()
524 state_machine::state_t m_state;
587 tree var, state_machine::state_t state);
H A Dprogram-state.cc378 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()
491 state_machine::state_t state, in impl_set_state()
529 sm_state_map::set_global_state (state_machine::state_t state) in set_global_state()
536 state_machine::state_t
550 if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state)) in on_svalue_leak()
[all …]
H A Dsm-signal.cc84 bool can_purge_p (state_t s) const FINAL OVERRIDE;
89 state_t m_in_signal_handler;
92 state_t m_stop;
335 const state_t global_state = sm_ctxt->get_global_state (); in on_stmt()
367 signal_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p()
H A Dsm-sensitive.cc61 bool can_purge_p (state_t s) const FINAL OVERRIDE;
64 state_t m_sensitive;
67 state_t m_stop;
223 sensitive_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dprogram-state.h121 entry_t (state_machine::state_t state,
136 state_machine::state_t m_state;
163 state_machine::state_t get_state (svalue_id sid) const;
168 state_machine::state_t state,
171 state_machine::state_t state,
174 state_machine::state_t state,
177 void set_global_state (state_machine::state_t state);
178 state_machine::state_t get_global_state () const;
209 state_machine::state_t m_global_state;
307 state_machine::state_t src_sm_val,
[all …]
H A Dsm.h42 typedef unsigned state_t; typedef
58 const char *get_state_name (state_t s) const;
60 state_t get_state_by_name (const char *name);
82 virtual bool can_purge_p (state_t s) const = 0;
90 void validate (state_t s) const;
95 state_t add_state (const char *name);
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,
[all …]
H A Dpending-diagnostic.h50 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 Dsm-file.cc66 bool can_purge_p (state_t s) const FINAL OVERRIDE;
70 state_t m_start;
75 state_t m_unchecked;
78 state_t m_null;
81 state_t m_nonnull;
84 state_t m_closed;
87 state_t m_stop;
396 fileptr_state_machine::can_purge_p (state_t s) const in can_purge_p()
H A Dsm-taint.cc67 bool can_purge_p (state_t s) const FINAL OVERRIDE;
70 state_t m_start;
74 state_t m_tainted;
77 state_t m_has_lb;
80 state_t m_has_ub;
83 state_t m_stop;
315 taint_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p()
H A Ddiagnostic-manager.h42 tree var, state_machine::state_t state,
76 state_machine::state_t m_state;
108 tree var, state_machine::state_t state,
155 tree var, state_machine::state_t state) const;
160 state_machine::state_t state) const;
H A Dchecker-path.h197 state_machine::state_t from,
198 state_machine::state_t to,
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;
430 tree var, state_machine::state_t state) in warning_event()
441 state_machine::state_t m_state;
487 tree var, state_machine::state_t state);
H A Dsm.cc72 state_machine::state_t
82 state_machine::get_state_name (state_t s) const in get_state_name()
90 state_machine::state_t
105 state_machine::validate (state_t s) const in validate()
H A Dsm-signal.cc89 bool can_purge_p (state_t s) const FINAL OVERRIDE;
94 state_t m_start;
97 state_t m_in_signal_handler;
100 state_t m_stop;
296 const state_t global_state = sm_ctxt->get_global_state (); in on_stmt()
341 signal_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p()
H A Dsm-sensitive.cc67 bool can_purge_p (state_t s) const FINAL OVERRIDE;
70 state_t m_start;
73 state_t m_sensitive;
76 state_t m_stop;
236 sensitive_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p()
H A Dsm-pattern-test.cc67 bool can_purge_p (state_t s) const FINAL OVERRIDE;
70 state_t m_start;
139 pattern_test_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p()
H A Dprogram-state.cc283 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
547 state_machine::state_t state = get_state (parent_sid); in on_inherited_svalue()
557 state_machine::state_t state = get_state (src_sid); in on_cast()
566 impl_set_state (sid, (state_machine::state_t)0, svalue_id::null ()); in on_unknown_change()
1166 state_machine::state_t old_state, in add_sm_change()
[all …]
/netbsd-src/external/gpl3/gcc/dist/gcc/
H A Dgenautomata.cc195 typedef struct state *state_t; typedef
701 state_t next_equiv_class_state;
708 state_t equiv_class_state;
727 state_t to_state;
748 state_t state;
819 state_t start_state;
3462 static state_t first_free_state;
3741 static state_t
3744 state_t result; in get_free_state()
3782 free_state (state_t state) in free_state()
[all …]
/netbsd-src/external/gpl3/gcc.old/dist/gcc/
H A Dgenautomata.c195 typedef struct state *state_t; typedef
701 state_t next_equiv_class_state;
708 state_t equiv_class_state;
727 state_t to_state;
748 state_t state;
819 state_t start_state;
3462 static state_t first_free_state;
3741 static state_t
3744 state_t result; in get_free_state()
3782 free_state (state_t state) in free_state()
[all …]

123