gcc/testsuite/gnat.dg/volatile12.ads

package Volatile12 is

   type Arr is array (Integer range <>) of Integer with Volatile;

   procedure Proc (A : Arr);

end Volatile12;