diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-11-13 22:14:46 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-11-13 22:14:46 +0100 |
commit | d4e80643bc015d6404d9ac23a32cf9c5ff084976 (patch) | |
tree | cfe8c062e2815c2fffcaeb0d1049502b8aa96f69 /src/synth/elab-vhdl_expr.ads | |
parent | 56735b0d1e92b4246ef53442236e89afe07aacdc (diff) | |
download | ghdl-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.ads | 4 |
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. |