(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
uninit-pr98583.c
       1  /* PR middle-end/98583 - missing -Wuninitialized reading from a second VLA
       2     in its own block
       3     { dg-do compile }
       4     { dg-options "-O2 -Wall" }
       5     { dg-require-effective-target alloca } */
       6  
       7  void f (int*);
       8  void g (int);
       9  
      10  void h1 (int n)
      11  {
      12    int a[n];
      13    f (a);
      14  
      15    int b[n];
      16    g (b[1]);         // { dg-warning "\\\[-Wuninitialized" }
      17  }
      18  
      19  void h2 (int n, int i, int j)
      20  {
      21    if (i)
      22      {
      23        int a[n];
      24        f (a);
      25      }
      26  
      27    if (j)
      28      {
      29        int b[n];
      30        g (b[1]);     // { dg-warning "\\\[-Wmaybe-uninitialized" }
      31      }
      32  }