validation/constexpr-addr-of-static-member.c

   1 struct A {
   2         int a;
   3         int b[2];
   4 };
   5
   6 struct B {
   7         int c;
   8         struct A d;
   9 };
  10
  11 static struct B a= {1, {1, {1, 1}}};
  12
  13 static int *b = &a.d.a; // OK
  14 static int *c = &(&a.d)->a;     // OK
  15 static int *d = a.d.b;          // OK
  16 static int *e = (&a.d)->b;      // OK
  17 static int *f = &a.d.b[1];      // OK
  18 static int *g = &(&a.d)->b[1];  // OK
  19
  20 /*
  21  * check-name: address of static object's member constness verification.
  22  * check-command: sparse -Wconstexpr-not-const $file
  23  *
  24  * check-error-start
  25  * check-error-end
  26  */