diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-26 12:57:52 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-26 12:57:52 +0200 |
| commit | 3b097d112828a037df20ac72ece37f771d321a1b (patch) | |
| tree | 2cc9b5a637f02648c47d1218218b06c410228d5c /gcc/ada/sem_ch8.adb | |
| parent | 3e5daac435e6f3da145310c2140745df5a04fd45 (diff) | |
| download | gcc-3b097d112828a037df20ac72ece37f771d321a1b.tar.gz | |
[multiple changes]
2010-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb: Adjust format of error message.
2010-10-26 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (OK_To_Reference): Removed, no longer used.
* exp_util.adb (Side_Effect_Free): Put in safety barrier in code to
detect renamings to avoid problems with invariants.
* sem_ch13.adb (Replace_Type_References_Generic): New procedure
(Build_Invariant_Procedure): Use Replace_Type_Reference_Generic
(Build_Predicate_Function): Use Replace_Type_Reference_Generic
* sem_res.adb, sem_ch8.adb, sem_ch4.adb (OK_To_Reference): Remove
references, flag is no longer set.
From-SVN: r165944
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 0aaa426ece6..9785348dc3e 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -5481,9 +5481,6 @@ package body Sem_Ch8 is -- Reference to type name in predicate/invariant expression - elsif OK_To_Reference (Etype (P)) then - Analyze_Selected_Component (N); - elsif Is_Appropriate_For_Entry_Prefix (P_Type) and then not In_Open_Scopes (P_Name) and then (not Is_Concurrent_Type (Etype (P_Name)) |