diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:39:03 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:39:03 +0100 |
| commit | 0d66cee51db569b3b4c4de2cb4b2292f9df4eaa5 (patch) | |
| tree | 75f8bc4a9ebb56b89c85738dd56b3ebce809e23f /gcc/ada/expander.adb | |
| parent | b7cb4a617fd5fd4ec69eedf3790f5c9ef836f0d7 (diff) | |
| download | gcc-0d66cee51db569b3b4c4de2cb4b2292f9df4eaa5.zip gcc-0d66cee51db569b3b4c4de2cb4b2292f9df4eaa5.tar.gz gcc-0d66cee51db569b3b4c4de2cb4b2292f9df4eaa5.tar.bz2 | |
[multiple changes]
2014-01-29 Robert Dewar <dewar@adacore.com>
* expander.adb: Minor reformatting.
2014-01-29 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Predefined_Primitive_Bodies): Adding documentation to
previous patch.
From-SVN: r207257
Diffstat (limited to 'gcc/ada/expander.adb')
| -rw-r--r-- | gcc/ada/expander.adb | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb index 6ed3e63..9f57cda 100644 --- a/gcc/ada/expander.adb +++ b/gcc/ada/expander.adb @@ -57,7 +57,7 @@ package body Expander is -- The following table is used to save values of the Expander_Active flag -- when they are saved by Expander_Mode_Save_And_Set. We use an extendible -- table (which is a bit of overkill) because it is easier than figuring - -- out a maximum value or bothering with range checks! + -- out a maximum value or bothering with range checks. package Expander_Flags is new Table.Table ( Table_Component_Type => Boolean, @@ -129,13 +129,16 @@ package body Expander is -- In GNATprove mode we only need a very limited subset of -- the usual expansions. This limited subset is implemented -- in Expand_SPARK. - -- Regular expansion is followed by special handling for transient - -- scopes for unconstrained results, etc. but this is not needed, - -- and in general cannot be done correctly, in this mode. if GNATprove_Mode then Expand_SPARK (N); Set_Analyzed (N); + + -- Regular expansion is normally followed by special handling + -- for transient scopes for unconstrained results, etc. but + -- this is not needed, and in general cannot be done correctly, + -- in this mode, so we are all done. + return; -- Here for normal non-SPARK mode |