gcc/testsuite/gcc.dg/uninit-34.c

   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" } */
   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 }