From: Gary Dismukes <dismukes@adacore.com>
Date: Wed, 13 Dec 2023 20:08:46 +0000 (+0000)
Subject: ada: Minor change replacing "not Present" tests with "No" tests
X-Git-Tag: basepoints/gcc-15~3080
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9f6266e0adfe2e6f941dfc090510b5bf9287502c;p=thirdparty%2Fgcc.git

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 --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 6fceda3ceff2..25215cb84996 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