diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-04-15 09:44:02 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-04-15 09:44:02 +0200 |
| commit | 6489560319d3a60ade233681172903bafebf7821 (patch) | |
| tree | c5ce331b1168e5f9a65758369749a768b3156440 /src/synth/elab-vhdl_objtypes.ads | |
| parent | a2677c042c4594357c23ac2f1c9e09b1b5bf0e41 (diff) | |
| download | ghdl-6489560319d3a60ade233681172903bafebf7821.tar.gz ghdl-6489560319d3a60ade233681172903bafebf7821.tar.bz2 ghdl-6489560319d3a60ade233681172903bafebf7821.zip | |
synth-vhdl_stmts: check subtype compatibility for scalar signal assoc.
Fix #2032
Diffstat (limited to 'src/synth/elab-vhdl_objtypes.ads')
| -rw-r--r-- | src/synth/elab-vhdl_objtypes.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/elab-vhdl_objtypes.ads b/src/synth/elab-vhdl_objtypes.ads index 46f088dfd..59f18b534 100644 --- a/src/synth/elab-vhdl_objtypes.ads +++ b/src/synth/elab-vhdl_objtypes.ads @@ -240,6 +240,10 @@ package Elab.Vhdl_Objtypes is function Are_Types_Equal (L, R : Type_Acc) return Boolean; + -- Return True iff L is within R. + -- See LRM08 5.2.1 (Scalar types) for definition of compatible. + function Is_Scalar_Subtype_Compatible (L, R : Type_Acc) return Boolean; + -- Return the length of a vector type. function Vec_Length (Typ : Type_Acc) return Iir_Index32; |