Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1501 __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 Dsmatch_conditions.c589 __push_true_states(); in __handle_condition_assigns()
H A Dsmatch_flow.c521 __push_true_states(); in __split_expr()
1128 __push_true_states(); in __split_stmt()
H A Dsmatch_states.c939 void __push_true_states(void) in __push_true_states() function
H A Dsmatch.h742 void __push_true_states(void);
H A Dsmatch_math.c893 __push_true_states(); in handle_conditional_rl()