Symbol: safe_state
usr/src/tools/smatch/src/smatch_integer_overflow.c
127
set_true_false_states(my_id, name, sym, NULL, safe_state(left));
usr/src/tools/smatch/src/smatch_integer_overflow.c
92
set_true_false_states(my_id, name, sym, NULL, safe_state(binop));