[Ada] Crash on early call region of SPARK subprogram body

[Pierre-Marie de Rodat <derodat at adacore dot com>]

This patch accounts for the case where the early call region of a subprogram
body declared in a package body spans into the empty corresponding spec due to
pragma Elaborate_Body.

------------
-- Source --
------------

--  gnat.adc

pragma SPARK_Mode (On);

--  pack.ads

package Pack with Elaborate_Body is
end Pack;

--  pack.adb

with Ada.Text_IO; use Ada.Text_IO;

package body Pack is
   procedure Proc;

   procedure Elaborator is
   begin
      Proc;
   end Elaborator;

   procedure Proc is
   begin
      Put_Line ("Proc");
   end Proc;

begin
   Elaborator;
end Pack;

-----------------
-- Compilation --
-----------------

$ gcc -c pack.adb

Tested on x86_64-pc-linux-gnu, committed on trunk

2017-11-16  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_elab.adb (Include): Including a node which is also a compilation
	unit terminates the search because there are no more lists to examine.

Attachment: difs
Description: Text document