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

243

if (estate_capped(one) != estate_capped(two))

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

53

if (estate_capped(s1) && estate_capped(s2))

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

152

bool estate_capped(struct smatch_state *state);

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

1105

estate_capped(sm->state) ? "[c]" : "",

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

117

if (estate_capped(user))

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

1384

estate_capped(sm->state) ? "[c]" : "",

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

1407

estate_capped(sm->state) ? "[c]" : "",

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

1450

if (!state || estate_capped(state))

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

170

return estate_capped(state);

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

98

if (estate_capped(user) || is_capped_var_sym(cur->name, cur->sym))