From 69bf47b6eca46dd92381849fdf8c4c37750423f1 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Tue, 16 Jan 2024 22:43:09 +0100 Subject: [PATCH] ada: Remove dead branch from Get_Enclosing_Object The dead branch in routine Get_Enclosing_Object was most likely some experiment from the early days of GNATprove. This routine is meant to be called with the LHS of an assignment statement where an implicit dereference is always rewritten into explicit one, regardless if code is generated. gcc/ada/ChangeLog: * sem_util.adb (Get_Enclosing_Object): Remove dead code. --- gcc/ada/sem_util.adb | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index c8e30f3dc7f..a62b7013d70 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -10266,14 +10266,7 @@ package body Sem_Util is | N_Selected_Component | N_Slice => - -- If not generating code, a dereference may be left implicit. - -- In thoses cases, return Empty. - - if Is_Access_Type (Etype (Prefix (N))) then - return Empty; - else - return Get_Enclosing_Object (Prefix (N)); - end if; + return Get_Enclosing_Object (Prefix (N)); when N_Type_Conversion => return Get_Enclosing_Object (Expression (N)); -- 2.47.3