diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-09-30 00:26:16 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-09-30 00:26:16 +0200 |
| commit | ecdc917bd5ff5d1e314796a24fd40d9716a37918 (patch) | |
| tree | dc74e8e594770f9f245f7e0e1609483841ceaf78 /src | |
| parent | 7eb71d12d9fc376926d1960457cdda7e0d54fcb4 (diff) | |
| download | ghdl-ecdc917bd5ff5d1e314796a24fd40d9716a37918.tar.gz ghdl-ecdc917bd5ff5d1e314796a24fd40d9716a37918.tar.bz2 ghdl-ecdc917bd5ff5d1e314796a24fd40d9716a37918.zip | |
synth: slice: avoid crash in case of incorrect slice.
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/synth-stmts.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index 57a155a9f..726017f27 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -160,12 +160,12 @@ package body Synth.Stmts is if Voff /= No_Net then Error_Msg_Synth (+Pfx, "dynamic index must be the last suffix"); - return; + else + -- FIXME: check index. + pragma Assert (Mul = 0); + null; end if; - -- FIXME: check index. - - pragma Assert (Mul = 0); Dest_Off := Dest_Off + Off; Dest_Type := Get_Array_Element (Dest_Type); end; |