TRUE

34		__analyzer_eval (middle (false) == 0); // { dg-warning "TRUE" }
		~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~

TRUE

35		__analyzer_eval (middle (true) == 42); // { dg-warning "TRUE" }
		~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~