From a53fb5761e6f4c924612727bcd27678936c1ee3f Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 29 Dec 2022 20:19:36 +0100 Subject: [PATCH] ada: Remove a couple of unreachable statements The "then" arm of these nested if-statements is trivially unreachable. gcc/ada/ * exp_ch7.adb (Make_Adjust_Call): Remove unreachable statement. (Make_Final_Call): Likewise. --- gcc/ada/exp_ch7.adb | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index f29a97a0ceb6..86878616f6a6 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -6043,11 +6043,7 @@ package body Exp_Ch7 is -- Derivations from [Limited_]Controlled elsif Is_Controlled (Utyp) then - if Has_Controlled_Component (Utyp) then - Adj_Id := Find_Optional_Prim_Op (Utyp, TSS_Deep_Adjust); - else - Adj_Id := Find_Optional_Prim_Op (Utyp, Name_Of (Adjust_Case)); - end if; + Adj_Id := Find_Optional_Prim_Op (Utyp, Name_Of (Adjust_Case)); -- Tagged types @@ -8396,11 +8392,7 @@ package body Exp_Ch7 is -- Derivations from [Limited_]Controlled elsif Is_Controlled (Utyp) then - if Has_Controlled_Component (Utyp) then - Fin_Id := Find_Optional_Prim_Op (Utyp, TSS_Deep_Finalize); - else - Fin_Id := Find_Optional_Prim_Op (Utyp, Name_Of (Finalize_Case)); - end if; + Fin_Id := Find_Optional_Prim_Op (Utyp, Name_Of (Finalize_Case)); -- Tagged types -- 2.47.3