gcc/testsuite/gnat.dg/varsize3_6.adb

   1 -- { dg-do compile }
   2
   3 with Varsize3_Pkg1; use Varsize3_Pkg1;
   4
   5 procedure Varsize3_6 is
   6
   7   Filter : Arr renames True.E;
   8
   9 begin
  10   null;
  11 end;