Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_imaginary_absolute.c54 void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list … in __save_imaginary_state() function
H A Dsmatch_extra.h240 void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list …
H A Dsmatch_extra.c1571 __save_imaginary_state(left, tmp_true, tmp_false); in handle_comparison()
1581 __save_imaginary_state(right, tmp_true, tmp_false); in handle_comparison()