From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 30 Aug 2021 10:03:52 +0000 (+0200)
Subject: [Ada] Remove excessive guard in detection of access-to-variable objects
X-Git-Tag: basepoints/gcc-14~5591
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=474946c61a5dd5335ced09d52a95d1e3d90d1455;p=thirdparty%2Fgcc.git

[Ada] Remove excessive guard in detection of access-to-variable objects

It is safe to call Is_Access_Variable without calling
Is_Access_Object_Type before. Compiler cleanup only; semantics is
unaffected.

gcc/ada/

	* sem_util.adb (Is_Variable): Remove excessive guard.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 7b7566d96c7..9cff0f72998 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -21896,7 +21896,6 @@ package body Sem_Util is
               or else (K = E_Component
                         and then not In_Protected_Function (E))
               or else (Present (Etype (E))
-                        and then Is_Access_Object_Type (Etype (E))
                         and then Is_Access_Variable (Etype (E))
                         and then Is_Dereferenced (N))
               or else K = E_Out_Parameter