diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2016-04-21 08:21:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-21 10:21:47 +0200 |
| commit | 17fd72cef4060b14c2cf363726261f820fdcab10 (patch) | |
| tree | 6d78cfbf4eddbde7ffc65d7c92d2e4e1c9f74bc3 /gcc/java/jvspec.c | |
| parent | aeb98f1dcd25905b55c0b30c3189e9ddae55b7d2 (diff) | |
| download | gcc-17fd72cef4060b14c2cf363726261f820fdcab10.zip gcc-17fd72cef4060b14c2cf363726261f820fdcab10.tar.gz gcc-17fd72cef4060b14c2cf363726261f820fdcab10.tar.bz2 | |
sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is created for SPARK_To_C...
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.
From-SVN: r235306
Diffstat (limited to 'gcc/java/jvspec.c')
0 files changed, 0 insertions, 0 deletions