Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1506 __merge_true_states(); in call_return_state_hooks_conditional()
1555 __merge_true_states(); in call_return_state_hooks_compare()
1821 __merge_true_states(); in call_return_state_hooks_split_null_non_null_zero()
1917 __merge_true_states(); in call_return_state_hooks_split_success_fail()
H A Dsmatch_conditions.c601 __merge_true_states(); in __handle_condition_assigns()
H A Dsmatch_flow.c524 __merge_true_states(); in __split_expr()
1131 __merge_true_states(); in __split_stmt()
H A Dsmatch_states.c1012 void __merge_true_states(void) in __merge_true_states() function
H A Dsmatch.h746 void __merge_true_states(void);
H A Dsmatch_math.c897 __merge_true_states(); in handle_conditional_rl()