https://gcc.gnu.org/g:9ffa0e4301deccce77cc377e27fa510736bb1fb7

commit r16-2404-g9ffa0e4301deccce77cc377e27fa510736bb1fb7
Author: Gary Dismukes <dismu...@adacore.com>
Date:   Wed Jul 2 21:57:57 2025 +0000

    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:
---
 gcc/ada/exp_aggr.adb | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 5b9be1e9a965..987db2a5d813 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

Reply via email to