1  /* PR sanitizer/81223 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fsanitize=undefined" } */
       4  
       5  void bar ();
       6  
       7  void
       8  foo (int x)
       9  {
      10    struct S { char a[x]; } v;
      11    bar (v);
      12  }