]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Minor change replacing "not Present" tests with "No" tests
authorGary Dismukes <dismukes@adacore.com>
Wed, 13 Dec 2023 20:08:46 +0000 (20:08 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 9 Jan 2024 13:13:32 +0000 (14:13 +0100)
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).

gcc/ada/exp_aggr.adb

index 6fceda3ceff2df24d8241ff8b125548276c0f7be..25215cb84996bf65e6684ce6fc0e9345d34d4517 100644 (file)
@@ -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