| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm.h | 60 typedef const state_machine::state *state_t; typedef in class:ana::state_machine
73 virtual state_t
87 virtual state_machine::state_t get_default_state (const svalue *) const
94 state_t get_state_by_name (const char *name) const;
135 virtual bool can_purge_p (state_t s) const = 0;
148 virtual bool reset_when_passed_to_unknown_fn_p (state_t s ATTRIBUTE_UNUSED,
161 state_t maybe_get_merged_state (state_t state_a,
162 state_t state_b) const
171 virtual state_t
[all...] |
| program-state.h | 86 entry_t (state_machine::state_t state,
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,
151 void set_global_state (state_machine::state_t state);
152 state_machine::state_t get_global_state () const;
188 state_machine::state_t m_global_state;
313 state_machine::state_t src_sm_val
[all...] |
| pending-diagnostic.h | 70 state_machine::state_t old_state,
71 state_machine::state_t new_state,
84 state_machine::state_t m_old_state;
85 state_machine::state_t m_new_state;
96 tree expr, state_machine::state_t state)
108 state_machine::state_t m_state;
117 state_machine::state_t state)
127 state_machine::state_t m_state;
135 tree expr, state_machine::state_t state,
142 state_machine::state_t m_state
[all...] |
| sm-fd.cc | 104 state_machine::state_t
128 bool can_purge_p (state_t s) const final override;
131 bool is_unchecked_fd_p (state_t s) const;
132 bool is_valid_fd_p (state_t s) const;
133 bool is_socket_fd_p (state_t s) const;
134 bool is_datagram_socket_fd_p (state_t s) const;
135 bool is_stream_socket_fd_p (state_t s) const;
136 bool is_closed_fd_p (state_t s) const;
137 bool is_constant_fd_p (state_t s) const;
138 bool is_readonly_fd_p (state_t s) const
[all...] |
| sm-sensitive.cc | 59 bool can_purge_p (state_t s) const final override;
62 state_t m_sensitive;
65 state_t m_stop;
229 sensitive_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const
|
| sm-pattern-test.cc | 71 bool can_purge_p (state_t s) const final override;
148 pattern_test_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const
|
| diagnostic-manager.h | 36 state_machine::state_t state,
81 state_machine::state_t m_state;
166 state_machine::state_t state,
218 state_machine::state_t state) const;
223 state_machine::state_t state) const;
227 state_machine::state_t state) const;
|
| sm-malloc.cc | 193 state_machine::state_t m_freed;
250 state_machine::state_t m_unchecked;
253 state_machine::state_t m_nonnull;
365 state_t
372 state_machine::state_t
416 bool can_purge_p (state_t s) const final override;
419 bool reset_when_passed_to_unknown_fn_p (state_t s,
422 state_t
423 maybe_get_merged_states_nonequal (state_t state_a,
424 state_t state_b) const final override
[all...] |
| sm-taint.cc | 101 state_t alt_get_inherited_state (const sm_state_map &map,
128 bool can_purge_p (state_t s) const final override;
130 bool get_taint (state_t s, tree type, enum bounds *out) const;
132 state_t combine_states (state_t s0, state_t s1) const;
150 state_t m_tainted;
153 state_t m_has_lb;
156 state_t m_has_ub;
159 state_t m_stop
[all...] |
| sm-signal.cc | 79 bool can_purge_p (state_t s) const final override;
84 state_t m_in_signal_handler;
87 state_t m_stop;
339 const state_t global_state = sm_ctxt->get_global_state ();
372 signal_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const
|
| checker-event.h | 364 state_machine::state_t from,
365 state_machine::state_t to,
384 state_machine::state_t m_from;
385 state_machine::state_t m_to;
404 void record_critical_state (tree var, state_machine::state_t state)
422 state_machine::state_t m_critical_state;
688 tree var, state_machine::state_t state)
704 state_machine::state_t m_state;
|
| sm-file.cc | 61 state_machine::state_t
83 bool can_purge_p (state_t s) const final override;
89 state_t m_unchecked;
92 state_t m_null;
95 state_t m_nonnull;
98 state_t m_closed;
101 state_t m_stop;
461 fileptr_state_machine::can_purge_p (state_t s) const
|
| sm.cc | 101 Return the state_t for the new state. */
103 state_machine::state_t
114 state_machine::state_t
|
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm.h | 60 typedef const state_machine::state *state_t; typedef in class:ana::state_machine
73 virtual state_t
81 virtual state_machine::state_t get_default_state (const svalue *) const
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,
135 void validate (state_t s) const;
141 state_t get_start_state () const { return m_start; }
144 state_t add_state (const char *name);
145 state_t add_custom_state (state *s
[all...] |
| pending-diagnostic.h | 66 state_machine::state_t old_state,
67 state_machine::state_t new_state,
80 state_machine::state_t m_old_state;
81 state_machine::state_t m_new_state;
92 tree expr, state_machine::state_t state)
104 state_machine::state_t m_state;
113 state_machine::state_t state)
123 state_machine::state_t m_state;
131 tree expr, state_machine::state_t state)
137 state_machine::state_t m_state
[all...] |
| program-state.h | 86 entry_t (state_machine::state_t state,
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...] |
| diagnostic-manager.h | 38 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;
|
| sm-file.cc | 62 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
|
| sm-taint.cc | 85 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
[all...] |
| sm-sensitive.cc | 61 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
|
| sm-pattern-test.cc | 74 bool can_purge_p (state_t s) const FINAL OVERRIDE;
152 pattern_test_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const
|
| checker-path.h | 238 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)
288 state_machine::state_t m_critical_state;
513 tree var, state_machine::state_t state)
524 state_machine::state_t m_state;
587 tree var, state_machine::state_t state);
|
| sm-signal.cc | 84 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 ();
367 signal_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const
|
| /src/sys/arch/amd64/stand/prekern/ |
| prekern.h | 62 } state_t; typedef in typeref:enum:__anon935
70 void print_state(state_t, char *);
|
| /src/external/mpl/bind/dist/bin/tests/system/hooks/driver/ |
| test-async.c | 59 } state_t; typedef in typeref:struct:state
195 static state_t *
197 state_t *state = NULL;
210 state_t *state = NULL;
214 *state = (state_t){ .async = false };
225 state_t *state = client_state_get(qctx, inst);
245 state_t *state = NULL;
278 state_t *state = (state_t *)arg;
308 state_t *state = client_state_get(qctx, inst)
[all...] |
