This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213247 - in /trunk/gcc/ada: ChangeLog inline.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 30 Jul 2014 10:47:17 -0000
- Subject: r213247 - in /trunk/gcc/ada: ChangeLog inline.a...
Author: charlet
Date: Wed Jul 30 10:47:17 2014
New Revision: 213247
URL: https://gcc.gnu.org/viewcvs?rev=213247&root=gcc&view=rev
Log:
2014-07-30 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb (Analyze_If_Expression): Resolve condition before
analyzing branches.
* sem_eval.adb (Out_Of_Range): Check for statically unevaluated
expression case.
2014-07-30 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Analyze_Aspect, predicate cases): Diagnose use
of predicate aspect on entity other than a type.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Body_Has_Contract): New predicate to determine
when a subprogram body without a previous spec cannot be inlined
in GNATprove mode, because it includes aspects or pragmas that
generate a SPARK contract clause.
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): A subprogram
instance cannot be inlined.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_eval.adb