gcc/testsuite/gnat.dg/volatile5_pkg.ads

package Volatile5_Pkg is

   type Rec is record
      I : Integer;
   end record;
   pragma Volatile(Rec);

  function F return Rec;

end Volatile5_Pkg;
--