From 092804708da8290834978a6dd4cc42496c66a64c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 8 Jan 2020 20:42:56 +0100
Subject: synth: emit an error in case of static assertion failure.  Fix #1068

---
 src/synth/synth-stmts.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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;
-- 
cgit v1.2.3