https://gcc.gnu.org/g:39f35956587fe09fbdb87ebd203df6e3674f7b59
commit r15-1513-g39f35956587fe09fbdb87ebd203df6e3674f7b59 Author: Piotr Trojanek <troja...@adacore.com> Date: Wed Apr 17 14:58:24 2024 +0200 ada: Fix gnatcheck violation reported after a recent cleanup Code cleanup; semantics is unaffected. gcc/ada/ * sem_ch3.adb (Add_Interface_Tag_Components): Simplify with No. Diff: --- gcc/ada/sem_ch3.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index eebaedc216bc..a1112d7b44ae 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -1618,7 +1618,7 @@ package body Sem_Ch3 is Last_Tag := Empty; - if not Present (Component_List (Ext)) then + if No (Component_List (Ext)) then Set_Null_Present (Ext, False); L := New_List; Set_Component_List (Ext,