diff options
Diffstat (limited to 'sem_expr.ads')
| -rw-r--r-- | sem_expr.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sem_expr.ads b/sem_expr.ads index 3304923..d8c006b 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); |