gcc/testsuite/gnat.dg/varsize3_2.adb

-- { dg-do compile }

with Varsize3_Pkg1; use Varsize3_Pkg1;

procedure Varsize3_2 is

  Filter : constant Object := True;

begin
  null;
end;