gcc/testsuite/gnat.dg/volatile5.adb

   1 -- { dg-do compile }
   2
   3 with Volatile5_Pkg; use Volatile5_Pkg;
   4
   5 procedure Volatile5 is
   6
   7    A : Rec;
   8
   9    procedure Proc is
  10    begin
  11       A := F;
  12    end;
  13
  14 begin
  15    Proc;
  16 end;