diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-04-19 16:23:49 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-04-19 16:23:49 +0200 |
| commit | 80f764d9114dc6b147f398fed97fb985d0b9f1d4 (patch) | |
| tree | 9611f1cc95776bc13bbb162f4a9127a26209887d /src/synth/synth-expr.adb | |
| parent | a131ab5138f7a8bea69b4ff9434f287e77ef6f10 (diff) | |
| download | ghdl-80f764d9114dc6b147f398fed97fb985d0b9f1d4.tar.gz ghdl-80f764d9114dc6b147f398fed97fb985d0b9f1d4.tar.bz2 ghdl-80f764d9114dc6b147f398fed97fb985d0b9f1d4.zip | |
synth: reject protected types. Fix #1244
Diffstat (limited to 'src/synth/synth-expr.adb')
| -rw-r--r-- | src/synth/synth-expr.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index 98019b6d7..963532044 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -817,6 +817,9 @@ package body Synth.Expr is when Type_File => pragma Assert (Vtype = Dtype); return Vt; + when Type_Protected => + pragma Assert (Vtype = Dtype); + return Vt; end case; end Synth_Subtype_Conversion; |