This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Ada] Aspects on expression function without prior declaration


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]