gcc/testsuite/gnat.dg/varsize3_4.adb

-- { dg-do compile }

with Varsize3_Pkg1; use Varsize3_Pkg1;

procedure Varsize3_4 is

  Filter : Object renames True;

begin
  null;
end;