Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c36 int false_impossible = 0; in handle_compare() local
45 false_impossible = 1; in handle_compare()
47 if (!true_impossible && !false_impossible) in handle_compare()
52 false_impossible ? &impossible : NULL); in handle_compare()
59 false_impossible ? &impossible : NULL); in handle_compare()