The comment for List_Length says "It is an error to call this function
with No_List (No_List is not considered to be the same as an empty
list).".  It legitimately happens in practice, so adjust the comment to
allow this.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

        * nlists.ads (List_Length): Adapt comment to match the
        behaviour.
diff --git a/gcc/ada/nlists.ads b/gcc/ada/nlists.ads
--- a/gcc/ada/nlists.ads
+++ b/gcc/ada/nlists.ads
@@ -146,9 +146,9 @@ package Nlists is
    --  No_List. (No_List is not considered to be the same as an empty list).
 
    function List_Length (List : List_Id) return Nat;
-   --  Returns number of items in the given list. It is an error to call
-   --  this function with No_List (No_List is not considered to be the same
-   --  as an empty list).
+   --  Returns number of items in the given list. If called on No_List it
+   --  returns 0, even though No_List is not considered to be the same as an
+   --  empty list.
 
    function Next (Node : Node_Or_Entity_Id) return Node_Or_Entity_Id;
    pragma Inline (Next);


Reply via email to