aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/elab-vhdl_expr.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-11-13 22:14:46 +0100
committerTristan Gingold <tgingold@free.fr>2021-11-13 22:14:46 +0100
commitd4e80643bc015d6404d9ac23a32cf9c5ff084976 (patch)
treecfe8c062e2815c2fffcaeb0d1049502b8aa96f69 /src/synth/elab-vhdl_expr.ads
parent56735b0d1e92b4246ef53442236e89afe07aacdc (diff)
downloadghdl-d4e80643bc015d6404d9ac23a32cf9c5ff084976.tar.gz
ghdl-d4e80643bc015d6404d9ac23a32cf9c5ff084976.tar.bz2
ghdl-d4e80643bc015d6404d9ac23a32cf9c5ff084976.zip
synth: add exec_name_subtype. Fix #1911
Diffstat (limited to 'src/synth/elab-vhdl_expr.ads')
-rw-r--r--src/synth/elab-vhdl_expr.ads4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/elab-vhdl_expr.ads b/src/synth/elab-vhdl_expr.ads
index 2eac33f1c..77231b1a4 100644
--- a/src/synth/elab-vhdl_expr.ads
+++ b/src/synth/elab-vhdl_expr.ads
@@ -53,6 +53,10 @@ package Elab.Vhdl_Expr is
function Exec_Name (Syn_Inst : Synth_Instance_Acc; Name : Node)
return Valtyp;
+ -- Get the type of NAME. No expressions are expected to be evaluated.
+ function Exec_Name_Subtype (Syn_Inst : Synth_Instance_Acc; Name : Node)
+ return Type_Acc;
+
-- Synthesize EXPR. The expression must be self-constrained.
-- If EN is not No_Net, the execution is controlled by EN. This is used
-- for assertions and checks.