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] Add postconditions to numeric functions

From: Arnaud Charlet <charlet at adacore dot com>
To: gcc-patches at gcc dot gnu dot org
Cc: Yannick Moy <moy at adacore dot com>
Date: Tue, 15 May 2012 07:03:11 -0400
Subject: [Ada] Add postconditions to numeric functions

Ada RM requires numeric functions to return values in specific ranges, and
specific values for some specified argument values. Many of these are now
translated as Ada 2012 Post aspects on numeric functions.

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

2012-05-15  Yannick Moy  <moy@adacore.com>

	* a-ngelfu.ads: Add postconditions using Ada 2012
	aspect syntax, reflecting some of the RM requirements for these
	functions, from Annex A.5.1 or G.2.4.

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]