usr/src/tools/smatch/src/smatch_implied.c

1191

implied_true = filter_stack(gate_sm, pre_stree, false_stack, true_stack);

usr/src/tools/smatch/src/smatch_implied.c

653

*true_states = filter_stack(sm, pre_stree, false_stack, true_stack);

usr/src/tools/smatch/src/smatch_implied.c

655

*false_states = filter_stack(sm, pre_stree, true_stack, false_stack);

usr/src/tools/smatch/src/smatch_implied.c

834

*implied_true = filter_stack(sm, pre_stree, false_stack, true_stack);

usr/src/tools/smatch/src/smatch_implied.c

835

*implied_false = filter_stack(sm, pre_stree, true_stack, false_stack);

usr/src/tools/smatch/src/smatch_implied.c

882

*implied_true = filter_stack(sm, pre_stree, false_stack, true_stack);

usr/src/tools/smatch/src/smatch_implied.c

883

*implied_false = filter_stack(sm, pre_stree, true_stack, false_stack);

usr/src/tools/smatch/src/smatch_implied.c

907

*implied_true = filter_stack(sm, pre_stree, false_stack, true_stack);

usr/src/tools/smatch/src/smatch_implied.c

908

*implied_false = filter_stack(sm, pre_stree, true_stack, false_stack);