| -- { dg-do run } | |
| procedure Array35 is | |
| subtype Str is String (1 .. 3); | |
| type T is record | |
| B : Boolean; | |
| S : Str; | |
| end record; | |
| for T use record | |
| B at 0 range 0 .. 0; | |
| S at 0 range 1 .. 24; | |
| end record; | |
| X : T := (B => True, S => "123"); | |
| begin | |
| X.B := False; | |
| if X.S /= "123" then | |
| raise Program_Error; | |
| end if; | |
| end; |