From: Piotr Trojanek <troja...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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.43.0
