[gcc r13-5070] ada: Remove a couple of unreachable statements

[gcc r13-5070] ada: Remove a couple of unreachable statements

[Marc Poulhi?s]

https://gcc.gnu.org/g:a53fb5761e6f4c924612727bcd27678936c1ee3f

commit r13-5070-ga53fb5761e6f4c924612727bcd27678936c1ee3f
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Thu Dec 29 20:19:36 2022 +0100

    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.

Diff:
---
 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