gcc/testsuite/gcc.dg/lvalue-3.c

   1 /* Test that assignment of a read-only variable that gets const-ness
   2    from a read-only field is diagnosed.  */
   3 /* Origin: Joseph Myers <joseph@codesourcery.com> */
   4 /* { dg-do compile } */
   5 /* { dg-options "" } */
   6
   7 struct s { const int a; } x;
   8 typeof (x.a) b;
   9 void
  10 f (void)
  11 {
  12   x.a = 1; /* { dg-error "assignment of read-only member 'a'" } */
  13   b = 1; /* { dg-error "assignment of read-only variable 'b'" } */
  14 }