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

742

void __push_true_states(void);

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

589

__push_true_states();

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

1501

__push_true_states();

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

1541

__push_true_states();

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

1809

__push_true_states();

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

1905

__push_true_states();

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

1128

__push_true_states();

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

521

__push_true_states();

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

893

__push_true_states();