diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/einfo.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 8c401ca..471aea3 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; |