/* PR middle-end/8408 */
/* Verify that the recognizer explicitly
handles ADDRESSOF operands. */
void foo(void)
{
double d1 = 3.14159, d2;
if (&d2 == &d1)
;
}