/* { dg-options "-O -fcompare-debug" } */

void foo (void) {}