1  /* PR middle-end/10138 - warn for uninitialized arrays passed as const*
       2     arguments
       3     Verify that passing pointers to uninitialized objects to arguments
       4     to functions declared with attribute access is diagnosed where expected.
       5     { dg-do compile }
       6     { dg-options "-O -Wall -ftrivial-auto-var-init=zero" } */
       7  
       8  #define RW(...) __attribute__ ((access (read_write, __VA_ARGS__)))
       9  
      10  RW (1) RW (3) void
      11  f4pi (int*, int*, int*, int*);    // { dg-message "in a call to 'f4pi' declared with attribute 'access \\\(read_write, \[13\]\\\)'" }
      12  
      13  
      14  void nowarn_scalar (void)
      15  {
      16    int i1 = 0, i2, i3 = 1, i4;
      17    f4pi (&i1, &i2, &i3, &i4);
      18  }
      19  
      20  void warn_scalar_1 (void)
      21  {
      22    int i1;                         // { dg-message "declared here" "" }
      23    int i2, i3 = 1, i4;
      24  
      25    f4pi (&i1, &i2, &i3, &i4);      // { dg-warning "'i1' may be used uninitialized" "" }
      26  }
      27  
      28  void warn_scalar_2 (void)
      29  {
      30    int j1 = 0, j2, j4;
      31    int j3;
      32  
      33    f4pi (&j1, &j2, &j3, &j4);      // { dg-warning "'j3' may be used uninitialized" "" }
      34  }
      35  
      36  
      37  void nowarn_array_init (void)
      38  {
      39    int a1[4] = { 0 }, a2[5], a3[6] = { 0 }, a4[7];
      40  
      41    f4pi (a1, a2, a3, a4);
      42  }
      43  
      44  void warn_array_1 (void)
      45  {
      46    int a1[4];                  // { dg-message "'a1' declared here" }
      47    int a2[5], a3[6] = { 0 }, a4[7];
      48  
      49    f4pi (a1, a2, a3, a4);      // { dg-warning "'a1' may be used uninitialized" }
      50  }
      51  
      52  void warn_array_2 (void)
      53  {
      54    int a1[4] = { 0 }, a2[5], a4[7];
      55    int a3[6];                  // { dg-message "'a3' declared here" }
      56  
      57    f4pi (a1, a2, a3, a4);      // { dg-warning "'a3' may be used uninitialized" }
      58  }