From 83ebb97db77ec475668d81ba3e717b2ebbeaffb7 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 19 Oct 2022 00:04:31 +0200 Subject: [PATCH] ada: Remove obsolete code in Resolve_If_Expression gcc/ada/ * sem_res.adb (Resolve_If_Expression): Remove obsolete special case. --- gcc/ada/sem_res.adb | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 402da430b2f..e5b3612d186 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 -- 2.11.4.GIT