[gcc r14-7059] ada: Minor change replacing "not Present" tests with "No" tests

[Marc Poulhi?s]

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

commit r14-7059-g9f6266e0adfe2e6f941dfc090510b5bf9287502c
Author: Gary Dismukes <dismukes@adacore.com>
Date:   Wed Dec 13 20:08:46 2023 +0000

    ada: Minor change replacing "not Present" tests with "No" tests
    
    Fixing two places flagged by gnatcheck to use "No" instead of "not Present".
    
    gcc/ada/
    
            * exp_aggr.adb (Expand_Container_Aggregate): Change "not Present"
            tests to tests using "No" (in two places).

Diff:
---
 gcc/ada/exp_aggr.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 6fceda3ceff..25215cb8499 100644
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -7047,7 +7047,7 @@ package body Exp_Aggr is
       --  Determine whether this is an indexed aggregate (see RM 4.3.5(25/5)).
 
       if Present (New_Indexed_Subp) then
-         if not Present (Add_Unnamed_Subp) then
+         if No (Add_Unnamed_Subp) then
             Is_Indexed_Aggregate := True;
 
          else
@@ -7226,7 +7226,7 @@ package body Exp_Aggr is
             end Expand_Range_Component;
 
          begin
-            pragma Assert (not Present (Expressions (N)));
+            pragma Assert (No (Expressions (N)));
 
             if Siz > 0 then