From 2c5960c36dce34514bbbbdadefd543331a851144 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 4 Aug 2021 10:08:32 +0200 Subject: vhdl-sem_expr: check subtype constraint of record aggregate elements. For #1419 --- src/vhdl/vhdl-sem_expr.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb index 29770f0a5..cd3d4826a 100644 --- a/src/vhdl/vhdl-sem_expr.adb +++ b/src/vhdl/vhdl-sem_expr.adb @@ -3214,7 +3214,8 @@ package body Vhdl.Sem_Expr is Expr := Sem_Expression_Wildcard (Expr, El_Type, Constrained); if Expr /= Null_Iir then - Set_Associated_Expr (El, Eval_Expr_If_Static (Expr)); + Set_Associated_Expr + (El, Eval_Expr_Check_If_Static (Expr, El_Type)); Expr_Staticness := Min (Expr_Staticness, Get_Expr_Staticness (Expr)); if not Add_Constraints -- cgit v1.2.3