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