Hello, > +/* Unreachable code in if (0) block. */ > +void baz(int *p) > +{ > + if (0) > + { > + return; /* { dg-bogus "not reachable" } */
Hmm? Why are you explicitely saying that warning here would be bogus? It quite clearly _is_ unreachable, so warning there makes sense. Maybe you want an XFAILed dg-warning if your current implementation fails to warn, and a further XFAILed dg-bogus on the next line? (Or at the very least a comment in the test case that this is actually not what we really want, but rather what current GCCs produce) Ciao, Michael.