gcc/testsuite/gnat.dg/compile_time_error1.adb

--  { dg-do compile }

package body Compile_Time_Error1 is

  procedure Dummy is null;

end Compile_Time_Error1;