Home
last modified time | relevance | path

Searched refs:estate_treat_untagged (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c56 if (estate_treat_untagged(s1) && estate_treat_untagged(s2)) in merge_estates()
166 bool estate_treat_untagged(struct smatch_state *state) in estate_treat_untagged() function
245 if (estate_treat_untagged(one) != estate_treat_untagged(two)) in estates_equiv()
H A Dsmatch_kernel_user_data.c100 if (estate_treat_untagged(user)) in pre_merge_hook()
119 if (estate_treat_untagged(user)) in extra_nomod_hook()
192 return estate_treat_untagged(state); in user_rl_treat_untagged()
1106 estate_treat_untagged(sm->state) ? "[u]" : ""); in struct_member_callback()
1385 estate_treat_untagged(sm->state) ? "[u]" : ""); in param_set_to_user_data()
1408 estate_treat_untagged(sm->state) ? "[u]" : ""); in param_set_to_user_data()
H A Dsmatch_extra.h154 bool estate_treat_untagged(struct smatch_state *state);