From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 17 Apr 2024 12:58:24 +0000 (+0200)
Subject: ada: Fix gnatcheck violation reported after a recent cleanup
X-Git-Tag: basepoints/gcc-16~8040
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=39f35956587fe09fbdb87ebd203df6e3674f7b59;p=thirdparty%2Fgcc.git

ada: Fix gnatcheck violation reported after a recent cleanup

Code cleanup; semantics is unaffected.

gcc/ada/

	* sem_ch3.adb (Add_Interface_Tag_Components): Simplify with No.
---

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index eebaedc216b..a1112d7b44a 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -1618,7 +1618,7 @@ package body Sem_Ch3 is
 
       Last_Tag := Empty;
 
-      if not Present (Component_List (Ext)) then
+      if No (Component_List (Ext)) then
          Set_Null_Present (Ext, False);
          L := New_List;
          Set_Component_List (Ext,