This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r235306 - in /trunk/gcc/ada: ChangeLog exp_ch6....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 21 Apr 2016 08:21:47 -0000
- Subject: r235306 - in /trunk/gcc/ada: ChangeLog exp_ch6....
Author: charlet
Date: Thu Apr 21 08:21:47 2016
New Revision: 235306
URL: https://gcc.gnu.org/viewcvs?rev=235306&root=gcc&view=rev
Log:
2016-04-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is
created for SPARK_To_C, the entity must remain invisible so it
does not overload subsequent references to the original function.
* exp_ch6.adb (Build_Procedure_Body_Form, Replace_Returns):
Handle Extended_Return_Statements by replacing it with a block
with assignments and a simple return statement.
* exp_util.adb (Build_Procedure_Form): Make procedure entity
invisible after analyzing declaration, to prevent improper
overloading.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/sem_ch6.adb