diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:39:22 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:39:22 +0200 |
| commit | 1773d80bb69879c5460954c729b3c254cb002426 (patch) | |
| tree | 0e7f3309f2d11ea3e4977088fbe9d54eac00e427 /gcc/ada/sem_ch13.adb | |
| parent | 3f80a182094a48e467eb5fd774c3016036980a0a (diff) | |
| download | gcc-1773d80bb69879c5460954c729b3c254cb002426.zip gcc-1773d80bb69879c5460954c729b3c254cb002426.tar.gz gcc-1773d80bb69879c5460954c729b3c254cb002426.tar.bz2 | |
[multiple changes]
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* inline.ads, inline.adb, sem_ch10.adb: Rename Check_Body_For_Inlining
to Check_Package_Body_For_Inlining, to prevent confusion with other
inlining subprograms.
2014-07-29 Robert Dewar <dewar@adacore.com>
* opt.ads: Minor comment update.
* sem_attr.adb (Uneval_Old_Msg): Deal with case of aspect, where
we want setting of Uneval_Old at time of encountering the aspect.
* sem_ch13.adb (Analyze_Aspect_Specifications): Capture setting
of Opt.Uneval_Old.
* sinfo.adb (Uneval_Old_Accept): New function (Uneval_Old_Warn):
New function (Set_Uneval_Old_Accept): New procedure.
(Set_Uneval_Old_Warn): New procedure.
* sinfo.ads: Uneval_Old_Accept: New flag Uneval_Old_Warn: New flag.
From-SVN: r213181
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index fc09f6f..f1a9f10 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -1544,6 +1544,19 @@ package body Sem_Ch13 is Set_Entity (Aspect, E); Ent := New_Occurrence_Of (E, Sloc (Id)); + -- Capture setting of Opt.Uneval_Old + + case Opt.Uneval_Old is + when 'A' => + Set_Uneval_Old_Accept (Aspect); + when 'E' => + null; + when 'W' => + Set_Uneval_Old_Warn (Aspect); + when others => + raise Program_Error; + end case; + -- Check for duplicate aspect. Note that the Comes_From_Source -- test allows duplicate Pre/Post's that we generate internally -- to escape being flagged here. |