From: Gary Dismukes <dismukes@adacore.com>
Date: Wed, 2 Jul 2025 21:57:57 +0000 (+0000)
Subject: ada: Replace "not Present" test with "No" test
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ffa0e4301deccce77cc377e27fa510736bb1fb7;p=thirdparty%2Fgcc.git

ada: Replace "not Present" test with "No" test

Minor change to satisfy GNAT SAS checker.

gcc/ada/ChangeLog:

	* exp_aggr.adb (Build_Size_Expr): Change test of "not Present (...)"
	to "No (...)".
---

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 5b9be1e9a96..987db2a5d81 100644
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -6918,8 +6918,7 @@ package body Exp_Aggr is
                           and then
                             Present (First_Entity (Length_Subp))
                           and then
-                            not Present
-                                  (Next_Entity (First_Entity (Length_Subp)))
+                            No (Next_Entity (First_Entity (Length_Subp)))
                           and then
                             Base_Type
                               (Etype (First_Entity (Length_Subp))) = It_Base