usr/src/tools/smatch/src/smatch.h

727

void __set_true_false_sm(struct sm_state *true_state,

usr/src/tools/smatch/src/smatch_conditions.c

340

__set_true_false_sm(sm, NULL);

usr/src/tools/smatch/src/smatch_conditions.c

343

__set_true_false_sm(NULL, sm);

usr/src/tools/smatch/src/smatch_function_hooks.c

826

__set_true_false_sm(sm, NULL);

usr/src/tools/smatch/src/smatch_function_hooks.c

829

__set_true_false_sm(NULL, sm);

usr/src/tools/smatch/src/smatch_function_hooks.c

838

__set_true_false_sm(sm, NULL);

usr/src/tools/smatch/src/smatch_function_hooks.c

841

__set_true_false_sm(NULL, sm);

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

991

__set_true_false_sm(sm, NULL);

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

996

__set_true_false_sm(NULL, sm);

usr/src/tools/smatch/src/smatch_states.c

795

__set_true_false_sm(sm, sm);