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

245

if (estate_treat_untagged(one) != estate_treat_untagged(two))

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

56

if (estate_treat_untagged(s1) && estate_treat_untagged(s2))

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

154

bool estate_treat_untagged(struct smatch_state *state);

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

100

if (estate_treat_untagged(user))

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

1106

estate_treat_untagged(sm->state) ? "[u]" : "");

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

119

if (estate_treat_untagged(user))

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

1385

estate_treat_untagged(sm->state) ? "[u]" : "");

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

1408

estate_treat_untagged(sm->state) ? "[u]" : "");

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

192

return estate_treat_untagged(state);