Searched refs:safe_state (Results 1 – 1 of 1) sorted by relevance
25 static struct smatch_state *safe_state(struct expression *expr) in safe_state() function92 set_true_false_states(my_id, name, sym, NULL, safe_state(binop)); in match_divide()127 set_true_false_states(my_id, name, sym, NULL, safe_state(left)); in match_overflow_to_less_than()