Resolve expression in variable assignment when target is an aggregate.

1 files changed, 5 insertions, 0 deletions

diff --git a/sem_expr.ads b/sem_expr.ads
index 3304923c7..d8c006b95 100644
--- a/sem_expr.ads
+++ b/sem_expr.ads
@@ -69,6 +69,11 @@ package Sem_Expr is
    --  A check is made that COND can be read.
    function Sem_Condition (Cond : Iir) return Iir;
 
+   --  Same as Sem_Expression but knowing that the type of EXPR must be a
+   --  composite type.  Used for expressions in assignment statement when the
+   --  target is an aggregate.
+   function Sem_Composite_Expression (Expr : Iir) return Iir;
+
    --  Check EXPR can be read.
    procedure Check_Read (Expr : Iir);