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 f(void)10f (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 } 15