usr/src/tools/smatch/src/smatch_estate.c

54

estate_set_capped(tmp);

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

153

void estate_set_capped(struct smatch_state *state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

118

estate_set_capped(new);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1198

estate_set_capped(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1272

estate_set_capped(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1454

estate_set_capped(new);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

600

estate_set_capped(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

646

estate_set_capped(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

765

estate_set_capped(capped_state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

99

estate_set_capped(state);