]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix gnatcheck violation reported after a recent cleanup
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 17 Apr 2024 12:58:24 +0000 (14:58 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 21 Jun 2024 08:34:18 +0000 (10:34 +0200)
Code cleanup; semantics is unaffected.

gcc/ada/

* sem_ch3.adb (Add_Interface_Tag_Components): Simplify with No.

gcc/ada/sem_ch3.adb

index eebaedc216bcdb8647baaf24434ca0b8f47b562b..a1112d7b44ae2adb6fe92e7b4f3f65a85fbe8419 100644 (file)
@@ -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,