Symbol: __save_imaginary_state
usr/src/tools/smatch/src/smatch_extra.c
1571
__save_imaginary_state(left, tmp_true, tmp_false);
usr/src/tools/smatch/src/smatch_extra.c
1581
__save_imaginary_state(right, tmp_true, tmp_false);
usr/src/tools/smatch/src/smatch_extra.h
240
void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list *false_rl);