1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/synth/issue1273/assert2.vhdl b/testsuite/synth/issue1273/assert2.vhdl
new file mode 100644
index 000000000..48843d0e9
--- /dev/null
+++ b/testsuite/synth/issue1273/assert2.vhdl
@@ -0,0 +1,19 @@
+entity assert2 is
+  port (v : natural;
+        en : boolean;
+        res : out natural);
+end assert2;
+
+architecture behav of assert2 is
+begin
+  process (v, en)
+  begin
+    if en then
+      assert v < 10 report "bad v value";
+      res <= v + 1;
+    else
+      res <= 0;
+    end if;
+  end process;
+end behav;
+