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] Allow precondition/postcondition for generic subprogram

From: Arnaud Charlet <charlet at adacore dot com>
To: gcc-patches at gcc dot gnu dot org
Cc: Robert Dewar <dewar at adacore dot com>
Date: Thu, 31 Jul 2008 11:45:12 +0200
Subject: [Ada] Allow precondition/postcondition for generic subprogram

This patch allows the use of precondition and postcondition pragmas
for generic subprograms. However, it is not complete, with this
patch in place, such pragmas are recognized and legality-checked,
but the corresponding checks on instances are not yet enabled.

See gnat.dg/specs/genericppc.ads which now compiles without complaint.

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

2008-07-31  Robert Dewar  <dewar@adacore.com>

	* einfo.adb (Spec_PPC): Now defined for generic subprograms
	
	* einfo.ads (Spec_PPC): Now defined for generic subprograms
	
	* sem_prag.adb (Check_Precondition_Postcondition): Handle generic
	subprogram case

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]