gcc/testsuite/gnat.dg/volatile12.adb

-- { dg-do compile }

package body Volatile12 is

   procedure Proc (A : Arr) is begin null; end;

end Volatile12;