1 /* PR sanitizer/80659 */
2 /* { dg-do compile } */
3 
4 void
foo(int a)5 foo (int a)
6 {
7   switch (a)
8     {
9     case 0:
10       (int[3]) { };
11       int h;
12     }
13 }
14