Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c99 estate_set_capped(state); in pre_merge_hook()
118 estate_set_capped(new); in extra_nomod_hook()
600 estate_set_capped(state); in handle_op_assign()
646 estate_set_capped(state); in match_assign()
765 estate_set_capped(capped_state); in handle_compare()
1198 estate_set_capped(state); in set_param_user_data()
1272 estate_set_capped(state); in set_to_user_data()
1454 estate_set_capped(new); in returns_param_capped()
H A Dsmatch_estate.c54 estate_set_capped(tmp); in merge_estates()
161 void estate_set_capped(struct smatch_state *state) in estate_set_capped() function
H A Dsmatch_extra.h153 void estate_set_capped(struct smatch_state *state);