aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorGary Dismukes <dismukes@adacore.com>2023-12-13 20:08:46 +0000
committerMarc Poulhiès <poulhies@adacore.com>2024-01-09 14:13:32 +0100
commit9f6266e0adfe2e6f941dfc090510b5bf9287502c (patch)
treed071f6c01779ca9236842a9f6b865832c98e966d /gcc
parent1e2a2daa773e9d9e7638849af4c03f2636f1f07b (diff)
downloadgcc-9f6266e0adfe2e6f941dfc090510b5bf9287502c.zip
gcc-9f6266e0adfe2e6f941dfc090510b5bf9287502c.tar.gz
gcc-9f6266e0adfe2e6f941dfc090510b5bf9287502c.tar.bz2
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).
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/exp_aggr.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 6fceda3..25215cb 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