diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-10-19 00:04:31 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-08 09:34:58 +0100 |
| commit | 83ebb97db77ec475668d81ba3e717b2ebbeaffb7 (patch) | |
| tree | 5b398b95a63702c87eef7aa6c11f3dce72b29466 /gcc | |
| parent | 79e02673e97d1a359ca1fc2dc3f6d51d0debe7d8 (diff) | |
| download | gcc-83ebb97db77ec475668d81ba3e717b2ebbeaffb7.zip gcc-83ebb97db77ec475668d81ba3e717b2ebbeaffb7.tar.gz gcc-83ebb97db77ec475668d81ba3e717b2ebbeaffb7.tar.bz2 | |
ada: Remove obsolete code in Resolve_If_Expression
gcc/ada/
* sem_res.adb (Resolve_If_Expression): Remove obsolete special
case.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_res.adb | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 402da43..e5b3612 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -9393,21 +9393,10 @@ package body Sem_Res is Apply_Check (Then_Expr); -- If ELSE expression present, just resolve using the determined type - -- If type is universal, resolve to any member of the class. if Present (Else_Expr) then - if Typ = Universal_Integer then - Resolve (Else_Expr, Any_Integer); - - elsif Typ = Universal_Real then - Resolve (Else_Expr, Any_Real); - - else - Resolve (Else_Expr, Result_Type); - end if; - + Resolve (Else_Expr, Result_Type); Check_Unset_Reference (Else_Expr); - Apply_Check (Else_Expr); -- Apply RM 4.5.7 (17/3): whether the expression is statically or |