gcc-4.3.1/gcc/testsuite/gnat.dg/addr1.ads

--  { dg-do compile }

package addr1 is
   pragma Elaborate_Body;
end;