From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 25 Mar 2024 21:50:47 +0000 (+0100)
Subject: ada: Remove repeated condition in check for implementation attributes
X-Git-Tag: basepoints/gcc-16~8877
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ed963a52a0a7349f0beb765ee0802857d1752eb;p=thirdparty%2Fgcc.git

ada: Remove repeated condition in check for implementation attributes

Code cleanup; semantics is unaffected.

gcc/ada/

	* sem_attr.adb (Analyze_Attribute): Remove condition that is
	already checked by an enclosing IF statement.
---

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 2b22cf13ad0..6c32d201c55 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -3225,7 +3225,7 @@ package body Sem_Attr is
 
       if Comes_From_Source (N) then
          if not Attribute_83 (Attr_Id) then
-            if Ada_Version = Ada_83 and then Comes_From_Source (N) then
+            if Ada_Version = Ada_83 then
                Error_Msg_Name_1 := Aname;
                Error_Msg_N ("(Ada 83) attribute% is not standard??", N);
             end if;