[Ada] Fix comment of Get_Iterable_Type_Primitive

2020-06-17  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_util.ads, sem_util.adb (Get_Iterable_Type_Primitive): Fix
	comment and enforce it with an assertion in the body.

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 5f1510785917cba9a8079483927ecbdd614a283d..62b526d08f49cba7baff19922416d6af43ae92c2 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -10175,6 +10175,16 @@ package body Sem_Util is
      (Typ : Entity_Id;
       Nam : Name_Id) return Entity_Id
    is
+      pragma Assert
+        (Is_Type (Typ)
+         and then
+         Nam_In (Nam, Name_Element,
+                      Name_First,
+                      Name_Has_Element,
+                      Name_Last,
+                      Name_Next,
+                      Name_Previous));
+
       Funcs : constant Node_Id := Find_Value_Of_Aspect (Typ, Aspect_Iterable);
       Assoc : Node_Id;
 

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index caefa05aca01d326a8dfd974bd64276f455b19d6..9f2ad5aa7a61246cf120ae2ccd73666aedd8cfcd 100644 (file)
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1126,8 +1126,8 @@ package Sem_Util is
    function Get_Iterable_Type_Primitive
      (Typ : Entity_Id;
       Nam : Name_Id) return Entity_Id;
-   --  Retrieve one of the primitives First, Next, Has_Element, Element from
-   --  the value of the Iterable aspect of a type.
+   --  Retrieve one of the primitives First, Last, Next, Previous, Has_Element,
+   --  Element from the value of the Iterable aspect of a type.
 
    procedure Get_Library_Unit_Name_String (Decl_Node : Node_Id);
    --  Retrieve the fully expanded name of the library unit declared by