__push_true_states (reference) in projects: illumos-gate

Searched refs:__push_true_states (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A D	smatch_db.c	`1501 __push_true_states(); in call_return_state_hooks_conditional() 1541 __push_true_states(); in call_return_state_hooks_compare() 1809 __push_true_states(); in call_return_state_hooks_split_null_non_null_zero() 1905 __push_true_states(); in call_return_state_hooks_split_success_fail()`
H A D	smatch_conditions.c	`589 __push_true_states(); in __handle_condition_assigns()`
H A D	smatch_flow.c	`521 __push_true_states(); in __split_expr() 1128 __push_true_states(); in __split_stmt()`
H A D	smatch_states.c	`939 void __push_true_states(void) in __push_true_states() function`
H A D	smatch.h	`742 void __push_true_states(void);`
H A D	smatch_math.c	`893 __push_true_states(); in handle_conditional_rl()`