diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-01-19 04:22:21 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-01-19 04:22:21 +0100 |
commit | 097cce34b39f2817d8f3d19b66f5b5aee1d41868 (patch) | |
tree | 2e7972b7662e2a64027f1314887514121d909d29 /src/vhdl/sem_expr.ads | |
parent | 3e24b144af77e0551c71e7fe9cc1f53e04883349 (diff) | |
download | ghdl-097cce34b39f2817d8f3d19b66f5b5aee1d41868.tar.gz ghdl-097cce34b39f2817d8f3d19b66f5b5aee1d41868.tar.bz2 ghdl-097cce34b39f2817d8f3d19b66f5b5aee1d41868.zip |
eval_is_in_bound: make it more tolerant.
Replaces check_implicit_conversion.
Fix #258
Diffstat (limited to 'src/vhdl/sem_expr.ads')
-rw-r--r-- | src/vhdl/sem_expr.ads | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/vhdl/sem_expr.ads b/src/vhdl/sem_expr.ads index 1576bc8ad..4f1a9d70e 100644 --- a/src/vhdl/sem_expr.ads +++ b/src/vhdl/sem_expr.ads @@ -93,13 +93,6 @@ package Sem_Expr is -- Check EXPR can be updated. procedure Check_Update (Expr : Iir); - -- Check the type of EXPR can be implicitly converted to TARG_TYPE, ie - -- if TARG_TYPE is a constrained array subtype, number of elements matches. - -- Return FALSE in case of error. - -- If TARG_TYPE or EXPR is NULL_IIR, silently returns TRUE. - function Check_Implicit_Conversion (Targ_Type : Iir; Expr : Iir) - return Boolean; - -- For a procedure call, A_TYPE must be null. function Sem_Subprogram_Call (Expr: Iir; A_Type: Iir) return Iir; |