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

743

void __use_false_states(void);

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

591

__use_false_states();

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

659

__use_false_states();

usr/src/tools/smatch/src/smatch_db.c

1502

__use_false_states();

usr/src/tools/smatch/src/smatch_db.c

1542

__use_false_states();

usr/src/tools/smatch/src/smatch_db.c

1810

__use_false_states();

usr/src/tools/smatch/src/smatch_db.c

1906

__use_false_states();

usr/src/tools/smatch/src/smatch_flow.c

1129

__use_false_states();

usr/src/tools/smatch/src/smatch_flow.c

522

__use_false_states();

usr/src/tools/smatch/src/smatch_flow.c

714

__use_false_states();

usr/src/tools/smatch/src/smatch_math.c

894

__use_false_states();