1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=bounds -fno-sanitize-recover=bounds -Wall" } */
       3  
       4  /* Don't fail on valid uses.  */
       5  
       6  struct S { int a[10]; };
       7  struct T { int l; int a[]; };
       8  struct U { int l; int a[0]; };
       9  struct V { int l; int a[1]; };
      10  
      11  __attribute__ ((noinline, noclone))
      12  void
      13  fn_p (int p)
      14  {
      15  }
      16  
      17  __attribute__ ((noinline, noclone))
      18  void
      19  fn_a (volatile int a[])
      20  {
      21    /* This is not instrumented.  */
      22    a[4] = 5;
      23  }
      24  
      25  __attribute__ ((noinline, noclone))
      26  int
      27  foo_i (int i)
      28  {
      29    int a[5] = { };
      30    int k = i ? a[i] : i;
      31    return k;
      32  }
      33  
      34  int
      35  main (void)
      36  {
      37    volatile int a[5];
      38    a[4] = 1;
      39    a[2] = a[3];
      40    fn_p (a[4]);
      41    fn_a (a);
      42  
      43    int i = 4;
      44    a[i] = 1;
      45    a[2] = a[i];
      46    fn_p (a[i]);
      47    foo_i (i);
      48  
      49    const int n = 5;
      50    volatile int b[n];
      51    b[4] = 1;
      52    b[2] = b[3];
      53    fn_p (b[4]);
      54    fn_a (b);
      55  
      56    volatile int c[n][n][n];
      57    c[2][2][2] = 2;
      58    i = c[4][4][4];
      59  
      60    volatile struct S s;
      61    s.a[9] = 1;
      62    i = s.a[9];
      63  
      64    /* Don't instrument flexible array members.  */
      65    struct T *t = (struct T *) __builtin_malloc (sizeof (struct T) + 10);
      66    t->a[1] = 1;
      67  
      68    /* Don't instrument zero-sized arrays (GNU extension).  */
      69    struct U *u = (struct U *) __builtin_malloc (sizeof (struct U) + 10);
      70    u->a[1] = 1;
      71  
      72    /* Don't instrument last array in a struct.  */
      73    struct V *v = (struct V *) __builtin_malloc (sizeof (struct V) + 10);
      74    v->a[1] = 1;
      75  
      76    long int *d[10][5];
      77    d[9][0] = (long int *) 0;
      78    d[8][3] = d[9][0];
      79  
      80    return 0;
      81  }