From: Eric Botcazou <ebotca...@adacore.com> 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. Tested on x86_64-pc-linux-gnu, committed on master. --- 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 f29a97a0ceb..86878616f6a 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.34.1