gcc/testsuite/gnat.dg/specs/size_attribute1_pkg2.adb

package body Size_Attribute1_Pkg2 is

  procedure Proc is
    I : Integer := T'Size;
  begin
    null;
  end;

end Size_Attribute1_Pkg2;