https://gcc.gnu.org/g:9ffa0e4301deccce77cc377e27fa510736bb1fb7
commit r16-2404-g9ffa0e4301deccce77cc377e27fa510736bb1fb7 Author: Gary Dismukes <dismu...@adacore.com> Date: Wed Jul 2 21:57:57 2025 +0000 ada: Replace "not Present" test with "No" test Minor change to satisfy GNAT SAS checker. gcc/ada/ChangeLog: * exp_aggr.adb (Build_Size_Expr): Change test of "not Present (...)" to "No (...)". Diff: --- gcc/ada/exp_aggr.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index 5b9be1e9a965..987db2a5d813 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -6918,8 +6918,7 @@ package body Exp_Aggr is and then Present (First_Entity (Length_Subp)) and then - not Present - (Next_Entity (First_Entity (Length_Subp))) + No (Next_Entity (First_Entity (Length_Subp))) and then Base_Type (Etype (First_Entity (Length_Subp))) = It_Base