Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c53 if (estate_capped(s1) && estate_capped(s2)) in merge_estates()
151 bool estate_capped(struct smatch_state *state) in estate_capped() function
243 if (estate_capped(one) != estate_capped(two)) in estates_equiv()
H A Dsmatch_kernel_user_data.c98 if (estate_capped(user) || is_capped_var_sym(cur->name, cur->sym)) in pre_merge_hook()
117 if (estate_capped(user)) in extra_nomod_hook()
170 return estate_capped(state); in user_rl_capped()
1105 estate_capped(sm->state) ? "[c]" : "", in struct_member_callback()
1384 estate_capped(sm->state) ? "[c]" : "", in param_set_to_user_data()
1407 estate_capped(sm->state) ? "[c]" : "", in param_set_to_user_data()
1450 if (!state || estate_capped(state)) in returns_param_capped()
H A Dsmatch_extra.h152 bool estate_capped(struct smatch_state *state);