From 086c50763d64125a4ccc0c9a2f2727154b8e1e86 Mon Sep 17 00:00:00 2001
From: Michael Baier <mb+git@katzfink.at>
Date: Thu, 9 Jul 2026 11:58:07 +0200
Subject: [PATCH] Tescases for Width Limit, Resize and Overflow

---
 tests/rtlil/bug1206_memory.ys          |  6 ++++++
 tests/rtlil/bug1206_memory_overflow.ys |  6 ++++++
 tests/rtlil/bug1206_overflow.ys        |  6 ++++++
 tests/unit/kernel/rtlilTest.cc         | 22 ++++++++++++++++++++++
 4 files changed, 40 insertions(+)
 create mode 100644 tests/rtlil/bug1206_memory.ys
 create mode 100644 tests/rtlil/bug1206_memory_overflow.ys
 create mode 100644 tests/rtlil/bug1206_overflow.ys

diff --git a/tests/rtlil/bug1206_memory.ys b/tests/rtlil/bug1206_memory.ys
new file mode 100644
index 000000000..b747a195c
--- /dev/null
+++ b/tests/rtlil/bug1206_memory.ys
@@ -0,0 +1,6 @@
+logger -expect error "Memory width .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	memory width 1073741824 \mem
+end
+EOT
diff --git a/tests/rtlil/bug1206_memory_overflow.ys b/tests/rtlil/bug1206_memory_overflow.ys
new file mode 100644
index 000000000..190ddd31d
--- /dev/null
+++ b/tests/rtlil/bug1206_memory_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Memory width .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	memory width 4294967396 \mem
+end
+EOT
diff --git a/tests/rtlil/bug1206_overflow.ys b/tests/rtlil/bug1206_overflow.ys
new file mode 100644
index 000000000..734e7a45d
--- /dev/null
+++ b/tests/rtlil/bug1206_overflow.ys
@@ -0,0 +1,6 @@
+logger -expect error "Wire width .* out of range" 1
+read_rtlil <<EOT
+module \foo
+	wire width 4294967396 \bar
+end
+EOT
diff --git a/tests/unit/kernel/rtlilTest.cc b/tests/unit/kernel/rtlilTest.cc
index 32c40616e..2c2a82d0f 100644
--- a/tests/unit/kernel/rtlilTest.cc
+++ b/tests/unit/kernel/rtlilTest.cc
@@ -284,6 +284,28 @@ namespace RTLIL {
 		EXPECT_EQ(c, Const(0xe, 4));
 	}
 
+	TEST_F(KernelRtlilTest, ConstResizeWidthLimit) {
+		Const c;
+		EXPECT_DEATH(c.resize(RTLIL::WIDTH_LIMIT, Sx), "");
+		EXPECT_NO_FATAL_FAILURE(c.resize(RTLIL::WIDTH_LIMIT - 1, Sx));
+	}
+
+	TEST_F(KernelRtlilTest, ConstFromLongLongWidthLimit) {
+		EXPECT_DEATH(Const(0, RTLIL::WIDTH_LIMIT), "");
+		EXPECT_NO_FATAL_FAILURE(Const(0, RTLIL::WIDTH_LIMIT - 1));
+	}
+
+	TEST_F(KernelRtlilTest, ConstFromStateWidthLimit) {
+		EXPECT_DEATH(Const(Sx, RTLIL::WIDTH_LIMIT), "");
+		EXPECT_NO_FATAL_FAILURE(Const(Sx, RTLIL::WIDTH_LIMIT - 1));
+	}
+
+	TEST_F(KernelRtlilTest, ModuleAddWireWidthLimit) {
+		std::unique_ptr<Module> mod = std::make_unique<Module>();
+		EXPECT_DEATH(mod->addWire(ID(test), RTLIL::WIDTH_LIMIT), "");
+		EXPECT_NO_FATAL_FAILURE(mod->addWire(ID(test), RTLIL::WIDTH_LIMIT - 1));
+	}
+
 	TEST_F(KernelRtlilTest, ConstEqualStr) {
 		EXPECT_EQ(Const("abc"), Const("abc"));
 		EXPECT_NE(Const("abc"), Const("def"));