Searched refs:capped_state (Results 1 – 1 of 1) sorted by relevance
708 struct smatch_state *capped_state; in handle_compare() local764 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()