aboutsummaryrefslogtreecommitdiffstats
path: root/sem_expr.ads
diff options
context:
space:
mode:
Diffstat (limited to 'sem_expr.ads')
-rw-r--r--sem_expr.ads6
1 files changed, 6 insertions, 0 deletions
diff --git a/sem_expr.ads b/sem_expr.ads
index 2fa594b7f..e209afdfa 100644
--- a/sem_expr.ads
+++ b/sem_expr.ads
@@ -63,6 +63,12 @@ package Sem_Expr is
-- (Handle specific overloading rules).
function Sem_Case_Expression (Expr : Iir) return Iir;
+ -- Sem COND as a condition.
+ -- In VHDL08, this follows 9.2.9 Condition operator.
+ -- In VHDL87 and 93, type of COND must be a boolean.
+ -- A check is made that COND can be read.
+ function Sem_Condition (Cond : Iir) return Iir;
+
-- Check EXPR can be read.
procedure Check_Read (Expr : Iir);