Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c708 struct smatch_state *capped_state; in handle_compare() local
764 capped_state = alloc_estate_rl(user_rl); in handle_compare()
765 estate_set_capped(capped_state); in handle_compare()
773 left_true = capped_state; in handle_compare()
775 right_false = capped_state; in handle_compare()
782 left_false = capped_state; in handle_compare()
784 right_true = capped_state; in handle_compare()