From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 8 Dec 2020 17:14:08 +0000 (-0500)
Subject: [Ada] Assert failure on complex code with private type and discriminant
X-Git-Tag: basepoints/gcc-13~8116
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae77b299e9717e3a76ac6b7be65145a50aa31ed2;p=thirdparty%2Fgcc.git

[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 8c401ca0c6a6..471aea345a9a 100644
--- 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;