diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-01-08 20:42:56 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-01-09 21:13:52 +0100 |
| commit | 092804708da8290834978a6dd4cc42496c66a64c (patch) | |
| tree | 24b940d99deddac7ce7b39b7ef01ea5fd2d0190d | |
| parent | 2a8b6abb8a06ebda88817c22ecb970eb7898ec04 (diff) | |
| download | ghdl-092804708da8290834978a6dd4cc42496c66a64c.tar.gz ghdl-092804708da8290834978a6dd4cc42496c66a64c.tar.bz2 ghdl-092804708da8290834978a6dd4cc42496c66a64c.zip | |
synth: emit an error in case of static assertion failure. Fix #1068
| -rw-r--r-- | src/synth/synth-stmts.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index 4986ea1b1..5b5c6c2a2 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -2521,7 +2521,7 @@ package body Synth.Stmts is Val := Synth_Expression (Syn_Inst, Cond); if Is_Static (Val) then if Val.Scal /= 1 then - raise Internal_Error; + Error_Msg_Synth (+Stmt, "assertion failure"); end if; return; end if; |