| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm.h | 28 class state_machine;
39 class state_machine : public log_user class in namespace:ana
60 typedef const state_machine::state *state_t;
62 state_machine (const char *name, logger *logger);
63 virtual ~state_machine () {}
87 virtual state_machine::state_t get_default_state (const svalue *) const
198 DISABLE_COPY_AND_ASSIGN (state_machine);
202 /* States are owned by the state_machine. */
241 virtual state_machine::state_t get_state (const gimple *stmt,
243 virtual state_machine::state_t get_state (const gimple *stmt
[all...] |
| sm.cc | 67 /* class state_machine::state. */
72 state_machine::state::dump_to_pp (pretty_printer *pp) const
80 state_machine::state::to_json () const
88 /* class state_machine. */
90 /* state_machine's ctor. */
92 state_machine::state_machine (const char *name, logger *logger) function in class:ana::state_machine
98 /* Add a state with name NAME to this state_machine.
99 The string is required to outlive the state_machine.
103 state_machine::state_
[all...] |
| program-state.h | 31 extrinsic_state (auto_delete_vec <state_machine> &checkers,
38 const state_machine &get_sm (int idx) const
65 auto_delete_vec <state_machine> &m_checkers;
86 entry_t (state_machine::state_t state,
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...] |
| diagnostic-manager.h | 33 saved_diagnostic (const state_machine *sm,
36 state_machine::state_t state,
73 const state_machine *m_sm;
81 state_machine::state_t m_state;
162 bool add_diagnostic (const state_machine *sm,
166 state_machine::state_t state,
216 const state_machine *sm,
218 state_machine::state_t state) const;
221 const state_machine *sm,
223 state_machine::state_t state) const
[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-pattern-test.cc | 53 class pattern_test_state_machine : public state_machine
107 : state_machine ("pattern-test", logger)
119 /* Implementation of state_machine::on_condition vfunc for
157 state_machine *
|
| checker-event.h | 362 const state_machine &sm,
364 state_machine::state_t from,
365 state_machine::state_t to,
382 const state_machine &m_sm;
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;
687 const state_machine *sm,
688 tree var, state_machine::state_t state
[all...] |
| program-state.cc | 70 state_machine *checker;
100 {"checkers" : array of objects, one for each state_machine}. */
110 state_machine *sm;
138 state_machine *sm;
174 sm_state_map::sm_state_map (const state_machine &sm)
373 state_machine::state_t
403 state_machine::state_t parent_state
412 if (state_machine::state_t parent_state
418 if (state_machine::state_t state
449 state_machine::state_t state
[all...] |
| sm-sensitive.cc | 48 class sensitive_state_machine : public state_machine
164 : state_machine ("sensitive", logger),
188 /* Implementation of state_machine::on_stmt vfunc for
238 state_machine *
|
| sm-malloc.cc | 125 struct allocation_state : public state_machine::state
193 state_machine::state_t m_freed;
247 These states are owned by the state_machine base class. */
250 state_machine::state_t m_unchecked;
253 state_machine::state_t m_nonnull;
357 class malloc_state_machine : public state_machine
372 state_machine::state_t
677 dyn_cast_allocation_state (state_machine::state_t state)
688 as_a_allocation_state (state_machine::state_t state)
697 get_rs (state_machine::state_t state
[all...] |
| pending-diagnostic.cc | 270 pending_diagnostic::add_final_event (const state_machine *sm,
273 tree var, state_machine::state_t state,
|
| diagnostic-manager.cc | 670 saved_diagnostic::saved_diagnostic (const state_machine *sm,
674 state_machine::state_t state,
1084 const state_machine *get_sm () const { return m_sd.m_sm; }
1131 diagnostic_manager::add_diagnostic (const state_machine *sm,
1135 state_machine::state_t state,
1771 bool on_global_state_change (const state_machine &sm,
1772 state_machine::state_t src_sm_val,
1773 state_machine::state_t dst_sm_val)
1802 bool on_state_change (const state_machine &sm,
1803 state_machine::state_t src_sm_val
[all...] |
| /src/external/apache2/mDNSResponder/dist/ServiceRegistration/ |
| nat64.c | 32 static void nat64_infra_prefix_publisher_event_deliver(nat64_infra_prefix_publisher_t *state_machine, nat64_infra_prefix_publisher_event_t *event);
34 static void nat64_br_prefix_publisher_event_deliver(nat64_br_prefix_publisher_t *state_machine, nat64_br_prefix_publisher_event_t *event);
37 static bool nat64_query_prefix_on_infra(nat64_infra_prefix_monitor_t *state_machine);
361 #define NAT64_EVENT_ANNOUNCE(state_machine, event) \
364 event.name, state_machine->state_name); \
367 #define NAT64_STATE_ANNOUNCE(state_machine, event) \
371 event->name, state_machine->state_name); \
374 state_machine->state_name); \
378 #define NAT64_UNEXPECTED_EVENT(state_machine, event) \
382 event->name, state_machine->state_name);
588 nat64_infra_prefix_monitor_t *state_machine = context; local
788 nat64_thread_prefix_monitor_t *state_machine = context; local
795 nat64_thread_prefix_monitor_t *state_machine = context; local
1302 nat64_br_prefix_publisher_t *state_machine = context; local
1309 nat64_br_prefix_publisher_t *state_machine = context; local
1737 nat64_thread_prefix_monitor_t *state_machine = route_state->nat64->thread_monitor; local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm.h | 28 class state_machine;
39 class state_machine : public log_user class in namespace:ana
60 typedef const state_machine::state *state_t;
62 state_machine (const char *name, logger *logger);
63 virtual ~state_machine () {}
81 virtual state_machine::state_t get_default_state (const svalue *) const
154 DISABLE_COPY_AND_ASSIGN (state_machine);
158 /* States are owned by the state_machine. */
197 virtual state_machine::state_t get_state (const gimple *stmt,
199 virtual state_machine::state_t get_state (const gimple *stmt
[all...] |
| sm.cc | 67 /* class state_machine::state. */
72 state_machine::state::dump_to_pp (pretty_printer *pp) const
80 state_machine::state::to_json () const
88 /* class state_machine. */
90 /* state_machine's ctor. */
92 state_machine::state_machine (const char *name, logger *logger) function in class:ana::state_machine
98 /* Add a state with name NAME to this state_machine.
99 The string is required to outlive the state_machine.
103 state_machine::state_
[all...] |
| program-state.h | 31 extrinsic_state (auto_delete_vec <state_machine> &checkers,
38 const state_machine &get_sm (int idx) const
65 auto_delete_vec <state_machine> &m_checkers;
86 entry_t (state_machine::state_t state,
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...] |
| 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...] |
| 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...] |
| sm-pattern-test.cc | 56 class pattern_test_state_machine : public state_machine
111 : state_machine ("pattern-test", logger)
123 /* Implementation of state_machine::on_condition vfunc for
161 state_machine *
|
| 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)
288 state_machine::state_t m_critical_state;
512 const state_machine *sm,
513 tree var, state_machine::state_t state
[all...] |
| program-state.cc | 74 state_machine *checker;
104 {"checkers" : array of objects, one for each state_machine}. */
114 state_machine *sm;
142 state_machine *sm;
178 sm_state_map::sm_state_map (const state_machine &sm)
378 state_machine::state_t
408 state_machine::state_t parent_state
417 if (state_machine::state_t parent_state
423 if (state_machine::state_t state
454 state_machine::state_t state
[all...] |
| sm-sensitive.cc | 50 class sensitive_state_machine : public state_machine
159 : state_machine ("sensitive", logger)
182 /* Implementation of state_machine::on_stmt vfunc for
232 state_machine *
|
| diagnostic-manager.cc | 640 saved_diagnostic::saved_diagnostic (const state_machine *sm,
646 state_machine::state_t state,
920 const state_machine *get_sm () const { return m_sd.m_sm; }
968 diagnostic_manager::add_diagnostic (const state_machine *sm,
974 state_machine::state_t state,
1492 bool on_global_state_change (const state_machine &sm,
1493 state_machine::state_t src_sm_val,
1494 state_machine::state_t dst_sm_val)
1521 bool on_state_change (const state_machine &sm,
1522 state_machine::state_t src_sm_val
[all...] |
| sm-file.cc | 55 class fileptr_state_machine : public state_machine
62 state_machine::state_t
263 : state_machine ("file", logger)
356 /* Implementation of state_machine::on_stmt vfunc for fileptr_state_machine. */
411 /* Implementation of state_machine::on_condition vfunc for
447 /* Implementation of state_machine::can_purge_p vfunc for fileptr_state_machine.
457 /* Implementation of state_machine::on_leak vfunc for
471 state_machine *
|
| /src/tests/usr.bin/xlint/lint1/ |
| msg_130.c | 110 state_machine(const char *str) function
|
