From dca9234d86427faed88f6d139c925d6ae698bd4b Mon Sep 17 00:00:00 2001
From: Michael Baier <mb+git@katzfink.at>
Date: Fri, 10 Jul 2026 14:37:19 +0200
Subject: [PATCH] Testcases for new truncation checks

---
 tests/rtlil/bug1206_memory_offset_negative_overflow.ys | 6 ++++++
 tests/rtlil/bug1206_memory_offset_overflow.ys          | 6 ++++++
 tests/rtlil/bug1206_memory_size_overflow.ys            | 6 ++++++
 tests/rtlil/bug1206_wire_offset_negative_overflow.ys   | 6 ++++++
 tests/rtlil/bug1206_wire_offset_overflow.ys            | 6 ++++++
 5 files changed, 30 insertions(+)
 create mode 100644 tests/rtlil/bug1206_memory_offset_negative_overflow.ys
 create mode 100644 tests/rtlil/bug1206_memory_offset_overflow.ys
 create mode 100644 tests/rtlil/bug1206_memory_size_overflow.ys
 create mode 100644 tests/rtlil/bug1206_wire_offset_negative_overflow.ys
 create mode 100644 tests/rtlil/bug1206_wire_offset_overflow.ys

diff --git a/tests/rtlil/bug1206_memory_offset_negative_overflow.ys b/tests/rtlil/bug1206_memory_offset_negative_overflow.ys
new file mode 100644
index 000000000..480afd578
--- /dev/null
+++ b/tests/rtlil/bug1206_memory_offset_negative_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Memory offset .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	memory width 8 offset -4294967396 \mem
+end
+EOT
diff --git a/tests/rtlil/bug1206_memory_offset_overflow.ys b/tests/rtlil/bug1206_memory_offset_overflow.ys
new file mode 100644
index 000000000..6043be397
--- /dev/null
+++ b/tests/rtlil/bug1206_memory_offset_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Memory offset .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	memory width 8 offset 4294967396 \mem
+end
+EOT
diff --git a/tests/rtlil/bug1206_memory_size_overflow.ys b/tests/rtlil/bug1206_memory_size_overflow.ys
new file mode 100644
index 000000000..9718d6581
--- /dev/null
+++ b/tests/rtlil/bug1206_memory_size_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Memory size .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	memory width 8 size 4294967396 \mem
+end
+EOT
diff --git a/tests/rtlil/bug1206_wire_offset_negative_overflow.ys b/tests/rtlil/bug1206_wire_offset_negative_overflow.ys
new file mode 100644
index 000000000..db162d04c
--- /dev/null
+++ b/tests/rtlil/bug1206_wire_offset_negative_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Wire offset .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	wire width 8 offset -4294967396 \bar
+end
+EOT
diff --git a/tests/rtlil/bug1206_wire_offset_overflow.ys b/tests/rtlil/bug1206_wire_offset_overflow.ys
new file mode 100644
index 000000000..b00525fe5
--- /dev/null
+++ b/tests/rtlil/bug1206_wire_offset_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Wire offset .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	wire width 8 offset 4294967396 \bar
+end
+EOT