[Ada] Assert failure on complex code with private type and discriminant

gcc/ada/

	* einfo.adb (Discriminant_Constraint): Refine assertion.

diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb
index 8c401ca..471aea3 100644 (file)
--- a/gcc/ada/einfo.adb
+++ b/gcc/ada/einfo.adb
@@ -1120,7 +1120,9 @@ package body Einfo is
 
    function Discriminant_Constraint (Id : E) return L is
    begin
-      pragma Assert (Is_Composite_Type (Id) and then Has_Discriminants (Id));
+      pragma Assert
+        (Is_Composite_Type (Id)
+          and then (Has_Discriminants (Id) or else Is_Constrained (Id)));
       return Elist21 (Id);
    end Discriminant_Constraint;