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.
