This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213267 - 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 13:46:35 -0000
- Subject: r213267 - in /trunk/gcc/ada: ChangeLog inline.a...
Author: charlet
Date: Wed Jul 30 13:46:35 2014
New Revision: 213267
URL: https://gcc.gnu.org/viewcvs?rev=213267&root=gcc&view=rev
Log:
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb: Improve error recovery.
* inline.adb (Build_Body_To_Inline): Set Full_Analysis to false
before analyzing the body, so that in GNATprove mode there is
no light expansion. Whatever expansion is required by SPARK will
be performed when analysing the inlined code.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem_ch5.adb