Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c49 estate_set_hard_max(tmp); in merge_estates()
130 void estate_set_hard_max(struct smatch_state *state) in estate_set_hard_max() function
355 estate_set_hard_max(ret); in clone_partial_estate()
396 estate_set_hard_max(state); in alloc_estate_sval()
H A Dsmatch_extra.c684 estate_set_hard_max(estate); in handle_canonical_while_count_down()
691 estate_set_hard_max(estate); in handle_canonical_while_count_down()
740 estate_set_hard_max(estate); in handle_canonical_for_inc()
786 estate_set_hard_max(estate); in handle_canonical_for_dec()
1147 estate_set_hard_max(state); in match_vanilla_assign()
1595 estate_set_hard_max(left_true_state); in handle_comparison()
1675 estate_set_hard_max(left_true_state); in handle_comparison()
1676 estate_set_hard_max(left_false_state); in handle_comparison()
1679 estate_set_hard_max(right_true_state); in handle_comparison()
2820 estate_set_hard_max(state); in set_param_value()
[all …]
H A Dsmatch_extra.h149 void estate_set_hard_max(struct smatch_state *state);