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

761

void __save_pre_cond_states(void);

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

199

__save_pre_cond_states();

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

275

__save_pre_cond_states();

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

503

__save_pre_cond_states();

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

520

__save_pre_cond_states();

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

567

__save_pre_cond_states();

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

645

__save_pre_cond_states();

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

214

__save_pre_cond_states();