[Ada] Aspects on expression function without prior declaration

[Arnaud Charlet <charlet at adacore dot com>]

This patch corrects the parser to detect an illegal placement of the aspect
specification list.

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

--  semantics.adb:

procedure Semantics is
   function Error (Formal : Integer) return Boolean
     with Pre => Formal > 1234 is (Formal = 5678);
begin
   null;
end Semantics;

----------------------------
-- Compilation and output --
----------------------------

$ gcc -c -gnat12 semantics.adb
semantics.adb:3:11: aspect specifications must come after parenthesized
  expression

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

2013-04-24  Hristian Kirtchev  <kirtchev@adacore.com>

	* par-ch6.adb (P_Subprogram): Detect an illegal
	placement of the aspect specification list in the context of
	expression functions.

Attachment: difs
Description: Text document