Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c918 static struct stree *saved_implied_false; variable
971 get_tf_states(expr, &saved_implied_true, &saved_implied_false); in save_implications_hook()
979 (expr || saved_implied_true || saved_implied_false)) { in set_implied_states()
986 __print_stree(saved_implied_false); in set_implied_states()
995 FOR_EACH_SM(saved_implied_false, sm) { in set_implied_states()
998 free_stree(&saved_implied_false); in set_implied_states()
1004 saved_implied_false = extra_saved_implied_false; in set_extra_implied_states()