This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213271 - in /trunk/gcc/ada: ChangeLog debug.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 30 Jul 2014 13:54:18 -0000
- Subject: r213271 - in /trunk/gcc/ada: ChangeLog debug.ad...
Author: charlet
Date: Wed Jul 30 13:54:18 2014
New Revision: 213271
URL: https://gcc.gnu.org/viewcvs?rev=213271&root=gcc&view=rev
Log:
2014-07-30 Pat Rogers <rogers@adacore.com>
* gnat_rm.texi: Minor word error.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* exp_prag.adb (Expand_Old): Insert declarationss of temporaries
created to capture the value of the prefix of 'Old at the
beginning of the current declarative part, to prevent data flow
anomalies in the postcondition procedure that will follow.
2014-07-30 Yannick Moy <moy@adacore.com>
* debug.adb: Retire debug flag -gnatdQ.
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Check SPARK_Mode
on decl, not on body. Ignore predicate functions.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove use of
debug flag -gnatdQ. Correctly analyze SPARK_Mode on decl and
body when generating a decl for a body on which SPARK_Mode aspect
is given.
* sem_prag.adb (Analyze_Pragma|SPARK_Mode): Reorder tests for
attaching pragma to entity, to account for declaration not coming
from source.
* sem_res.adb (Resolve_Call): Issue warning and flag subprogram
as not always inlined in GNATprove mode, when called in an
assertion context.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/debug.adb
trunk/gcc/ada/exp_prag.adb
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb