-- { dg-do run }procedure Volatile4 istype My_Int is newInteger;pragma Volatile (My_Int);type Rec is record
I : My_Int;end record;function F (R : Rec)return Rec isbeginreturn R;end;
R : Rec := (I =>0);begin
R := F (R);if R.I /=0thenraise Program_Error;end if;end;