TRUE

24		__analyzer_eval (x == x); /* { dg-warning "TRUE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~

FALSE

25		__analyzer_eval (x == y); /* { dg-warning "FALSE" } */
		^~~~~~~~~~~~~~~~~~~~~~~~