From cde6aede1c8851fa0b64e548c5b9a391c1d6af8a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 28 Jun 2014 03:47:31 +0200 Subject: Resolve expression in variable assignment when target is an aggregate. --- sem_expr.ads | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'sem_expr.ads') 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); -- cgit v1.2.3