diff options
author | Gary Dismukes <dismukes@adacore.com> | 2023-12-13 20:08:46 +0000 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-01-09 14:13:32 +0100 |
commit | 9f6266e0adfe2e6f941dfc090510b5bf9287502c (patch) | |
tree | d071f6c01779ca9236842a9f6b865832c98e966d /gcc | |
parent | 1e2a2daa773e9d9e7638849af4c03f2636f1f07b (diff) | |
download | gcc-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.adb | 4 |
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 |