Searched refs:estate_capped (Results 1 – 3 of 3) sorted by relevance
53 if (estate_capped(s1) && estate_capped(s2)) in merge_estates()151 bool estate_capped(struct smatch_state *state) in estate_capped() function243 if (estate_capped(one) != estate_capped(two)) in estates_equiv()
98 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()
152 bool estate_capped(struct smatch_state *state);