From 6ccff4848fcf55cb1e865738a67f2bec25988ac8 Mon Sep 17 00:00:00 2001
From: Jiuyang Liu
Date: Wed, 26 May 2021 02:35:34 +0800
Subject: throw exception if BitPat width is 0  (#1920)

* spot a bug when BitPat width is 0

* fix #1919

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>---
 src/main/scala/chisel3/util/BitPat.scala         | 1 +
 src/test/scala/chiselTests/util/BitPatSpec.scala | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/src/main/scala/chisel3/util/BitPat.scala b/src/main/scala/chisel3/util/BitPat.scala
index 88e46e3c..985d22da 100644
--- a/src/main/scala/chisel3/util/BitPat.scala
+++ b/src/main/scala/chisel3/util/BitPat.scala
@@ -23,6 +23,7 @@ object BitPat {
     // If ? parsing is to be exposed, the return API needs further scrutiny
     // (especially with things like mask polarity).
     require(x.head == 'b', "BitPats must be in binary and be prefixed with 'b'")
+    require(x.length > 1, "BitPat width cannot be 0.")
     var bits = BigInt(0)
     var mask = BigInt(0)
     var count = 0
diff --git a/src/test/scala/chiselTests/util/BitPatSpec.scala b/src/test/scala/chiselTests/util/BitPatSpec.scala
index a6c0acf7..ca8dd85c 100644
--- a/src/test/scala/chiselTests/util/BitPatSpec.scala
+++ b/src/test/scala/chiselTests/util/BitPatSpec.scala
@@ -14,4 +14,8 @@ class BitPatSpec extends AnyFlatSpec with Matchers {
     val testPattern = "0" * 32 + "1" * 32 + "?" * 32 + "?01" * 32
     BitPat("b" + testPattern).toString should be (s"BitPat($testPattern)")
   }
+
+  it should "not fail if BitPat width is 0" in {
+    intercept[IllegalArgumentException]{BitPat("b")}
+  }
 }
-- 
cgit v1.2.3