diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-16 11:44:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-16 11:44:04 +0200 |
| commit | fb757f7da43d13603d3d8b821f62076336e412a9 (patch) | |
| tree | 053397ad0da456b40522b26baa0eeb0cfbf88e9e /gcc/ada/sem_attr.adb | |
| parent | 17d7bdd87dcafe86ec678cb22604e4aada008948 (diff) | |
| download | gcc-fb757f7da43d13603d3d8b821f62076336e412a9.zip gcc-fb757f7da43d13603d3d8b821f62076336e412a9.tar.gz gcc-fb757f7da43d13603d3d8b821f62076336e412a9.tar.bz2 | |
[multiple changes]
2016-06-16 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb, inline.adb, sem_attr.adb, sem_elab.adb: Minor
reformatting.
2016-06-16 Bob Duff <duff@adacore.com>
* sem_util.adb (Collect): Avoid Empty Full_T. Otherwise Etype
(Full_T) crashes when assertions are on.
* sem_ch12.adb (Matching_Actual): Correctly handle the case where
"others => <>" appears in a generic formal package, other than
by itself.
2016-06-16 Arnaud Charlet <charlet@adacore.com>
* usage.adb: Remove confusing comment in usage line.
* bindgen.adb: Fix binder generated file in codepeer mode wrt
recent additions.
2016-06-16 Javier Miranda <miranda@adacore.com>
* restrict.adb (Check_Restriction_No_Use_Of_Entity): Avoid
never-ending loop, code cleanup; adding also support for Text_IO.
* sem_ch8.adb (Find_Expanded_Name): Invoke
Check_Restriction_No_Use_Entity.
2016-06-16 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb: Minor comment fix.
* einfo.ads (Has_Protected): Clarify comment.
* sem_ch9.adb (Analyze_Protected_Type_Declaration): Do not
consider private protected types declared in the runtime for
the No_Local_Protected_Types restriction.
From-SVN: r237507
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index a0740f0..f153517 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -1384,6 +1384,7 @@ package body Sem_Attr is and then Chars (Scope (Spec_Id)) = Name_uPostconditions then -- This situation occurs only when preanalyzing the inlined body + pragma Assert (not Full_Analysis); Spec_Id := Scope (Spec_Id); |