Home
last modified time | relevance | path

Searched refs:estate_has_hard_max (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c47 if ((estate_has_hard_max(s1) && (!estate_rl(s2) || estate_has_hard_max(s2))) || in merge_estates()
48 (estate_has_hard_max(s2) && (!estate_rl(s1) || estate_has_hard_max(s1)))) in merge_estates()
123 int estate_has_hard_max(struct smatch_state *state) in estate_has_hard_max() function
247 if (estate_has_hard_max(one) != estate_has_hard_max(two)) in estates_equiv()
354 if (estate_has_hard_max(state)) in clone_partial_estate()
H A Dsmatch_extra.c683 if (estate_has_hard_max(sm->state)) in handle_canonical_while_count_down()
690 if (estate_has_hard_max(sm->state)) in handle_canonical_while_count_down()
885 if (!estate_has_hard_max(sm->state) && !__has_breaks()) { in __extra_pre_loop_hook_after()
893 if (!estate_has_hard_max(sm->state)) { in __extra_pre_loop_hook_after()
2473 if (estate_has_hard_max(sm->state)) in struct_member_callback()
2789 if (!estate_get_single_value(state, &dummy) && estate_has_hard_max(state)) { in match_call_info()
H A Dsmatch_extra.h148 int estate_has_hard_max(struct smatch_state *state);
H A Dsmatch_math.c719 if (implied != RL_HARD || estate_has_hard_max(state)) { in handle_binop_rl()
1041 if (implied == RL_HARD && !estate_has_hard_max(state)) in handle_variable()