diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:51:22 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:51:22 +0200 |
| commit | 3a37ecec8934dc378bfce06d9ea2325a98159f43 (patch) | |
| tree | cfcfd46ae07ec430218af91fe7169c3475ba2e6e /gcc/ada/sem_ch13.adb | |
| parent | ad4ba28bb0d6acbd78ca6f2da71d987f6bd17ea6 (diff) | |
| download | gcc-3a37ecec8934dc378bfce06d9ea2325a98159f43.zip gcc-3a37ecec8934dc378bfce06d9ea2325a98159f43.tar.gz gcc-3a37ecec8934dc378bfce06d9ea2325a98159f43.tar.bz2 | |
[multiple changes]
2015-05-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: sem_ch13.adb (Add_Predicates): Undo analysis
of original expression in ASIS mode: does not solve the ASIS
problem of a usable type information, and crashes the back-end
when performing type annotations.
2015-05-26 Robert Dewar <dewar@adacore.com>
* sem_disp.adb (Inherited_Subprograms): Add One_Only parameter.
(Is_Overriding_Subprogram): Use One_Only_Parameter.
* sem_disp.ads (Inherited_Subprograms): Add One_Only parameter.
From-SVN: r223686
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index d994ba3..771398d 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -8494,13 +8494,6 @@ package body Sem_Ch13 is if Present (Asp) then - -- For ASIS use, perform semantic analysis of the original - -- predicate expression, which is otherwise not utilized. - - if ASIS_Mode then - Preanalyze_And_Resolve (Expression (Asp)); - end if; - Set_Entity (Identifier (Asp), New_Copy_Tree (Arg2)); end if; |