From 59345e3243a06b92e127f01b7e8931946a762ab8 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sat, 10 May 2025 11:19:01 -0400
Subject: [PATCH] KNOWNBUG test for implict cast from real to int

---
 .../verilog/expressions/cast_from_real2.desc    |  9 +++++++++
 .../verilog/expressions/cast_from_real2.sv      | 17 +++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 regression/verilog/expressions/cast_from_real2.desc
 create mode 100644 regression/verilog/expressions/cast_from_real2.sv

diff --git a/regression/verilog/expressions/cast_from_real2.desc b/regression/verilog/expressions/cast_from_real2.desc
new file mode 100644
index 00000000..c1552ed9
--- /dev/null
+++ b/regression/verilog/expressions/cast_from_real2.desc
@@ -0,0 +1,9 @@
+KNOWNBUG
+cast_from_real2.sv
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+The implicit cast is currently not allowed.
diff --git a/regression/verilog/expressions/cast_from_real2.sv b/regression/verilog/expressions/cast_from_real2.sv
new file mode 100644
index 00000000..4b619e94
--- /dev/null
+++ b/regression/verilog/expressions/cast_from_real2.sv
@@ -0,0 +1,17 @@
+module main;
+
+  int a, b, c, d;
+
+  // implicit casting as part of an assignment
+  initial begin
+    a = 0.0;
+    assert(a == 0);
+    b = 1.0;
+    assert(b == 1);
+    c = 0.5;
+    assert(c == 1);
+    d = -0.5;
+    assert(d == -1);
+  end
+
+endmodule