> > If sym1 results in a return value that is some useful tree and inv1 > is true and cst1 is true via this call:
The only way for get_single_symbol to return a non NULL tree is to hit the return at the end -- and that always initializes inv and neg. And when the return is NULL the && prevents evaluating inv or neg. So I still think it's a false positive. -Andi
