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  }