gcc/testsuite/c-c++-common/Wswitch-unreachable-3.c

/* { dg-do compile } */

extern void f (int *);

void
g (int i)
{
  switch (i)
    {
      int a[3];
      __builtin_memset (a, 0, sizeof a); /* { dg-warning "statement will never be executed" } */

    default:
      f (a);
    }

  switch (i)
    {
      int a[3];
      int b[3];
      int c[3];
      b[1] = 60; /* { dg-warning "statement will never be executed" } */

    default:
      f (a);
      f (b);
      f (c);
    }
}