]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Replace "not Present" test with "No" test
authorGary Dismukes <dismukes@adacore.com>
Wed, 2 Jul 2025 21:57:57 +0000 (21:57 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 22 Jul 2025 08:35:14 +0000 (10:35 +0200)
Minor change to satisfy GNAT SAS checker.

gcc/ada/ChangeLog:

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

gcc/ada/exp_aggr.adb

index 5b9be1e9a965d108890bdac5a6ae242969724036..987db2a5d813493f4b7cb9d54a27f2bacd0ad3b7 100644 (file)
@@ -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