From: Piotr Trojanek <troja...@adacore.com>

We intentionally allow First to work on No_List, so there is no need to guard
against a No_List. Code cleanup; semantics is unaffected.

gcc/ada/ChangeLog:

        * sem_attr.adb (Resolve_Attribute): Remove redundant guard.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_attr.adb | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index d4034d28da6..4f5047f7b97 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -13014,7 +13014,6 @@ package body Sem_Attr is
             --  their Entity attribute to reference their discriminal.
 
             if Expander_Active
-              and then Present (Expressions (N))
               and then Attr_Id /= Attribute_Make
             then
                declare
-- 
2.43.0

Reply via email to