1  /* PR middle-end/101300 - -fsanitize=undefined suppresses -Wuninitialized
       2     for a VLA read at -O0
       3     { dg-do compile }
       4     { dg-options "-O0 -Wall -fsanitize=undefined" }
       5     { dg-require-effective-target alloca } */
       6  
       7  int warn_vla_rd0 (int n)
       8  {
       9    char a[n];
      10    return a[0];      // { dg-warning "\\\[-Wuninitialized]" }
      11  }
      12  
      13  int warn_vla_rd1 (int n)
      14  {
      15    char a[n];
      16    return a[1];      // { dg-warning "\\\[-Wuninitialized]" }
      17  }
      18  
      19  int warn_vla_rdi (int n, int i)
      20  {
      21    char a[n];
      22    return a[i];      // { dg-warning "\\\[-Wuninitialized]" }
      23  }
      24  
      25  
      26  int warn_vla_wr0_rd2_1_0 (int n)
      27  {
      28    char a[n];
      29    a[0] = __LINE__;
      30    int x = a[2];     // { dg-warning "\\\[-Wuninitialized]" }
      31    int y = a[1];     // { dg-warning "\\\[-Wuninitialized]" }
      32    int z = a[0];
      33    return x + y + z;
      34  }
      35  
      36  int warn_vla_wr1_rd2_1_0 (int n)
      37  {
      38    char a[n];
      39    a[1] = __LINE__;
      40    int x = a[2];     // { dg-warning "\\\[-Wuninitialized]" }
      41    int y = a[1];
      42    int z = a[0];     // { dg-warning "\\\[-Wuninitialized]" }
      43    return x + y + z;
      44  }
      45  
      46  int warn_vla_wr2_rd2_1_0 (int n)
      47  {
      48    char a[n];
      49    a[2] = __LINE__;
      50    int x = a[2];
      51    int y = a[1];     // { dg-warning "\\\[-Wuninitialized]" }
      52    int z = a[0];     // { dg-warning "\\\[-Wuninitialized]" }
      53    return x + y + z;
      54  }