This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r198296 - in /trunk/gcc/ada: ChangeLog checks.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 25 Apr 2013 10:51:20 -0000
- Subject: r198296 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Thu Apr 25 10:51:19 2013
New Revision: 198296
URL: http://gcc.gnu.org/viewcvs?rev=198296&root=gcc&view=rev
Log:
2013-04-25 Arnaud Charlet <charlet@adacore.com>
* par-prag.adb: Fix typo.
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Apply_Predicate_Check): If the type has a static
predicate and the expression is also static, check whether the
expression satisfies the predicate.
* sem_ch3.adb (Analyze_Object_Declaration): If the type has a
static predicate and the expression is also static, see if the
expression satisfies the predicate.
* sem_util.adb: Alphabetize several routines.
(Check_Expression_Against_Static_Predicate): New routine.
* sem_util.ads (Check_Expression_Against_Static_Predicate): New routine.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/par-prag.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sem_util.ads