fix: case uniqueness checking

fixes verilator#5319 incorporate feedback from verilator#5324
VarunKoyyalagunta · Aug 6, 2024 · a34bfa3 · a34bfa3
1 parent 1f144fb
commit a34bfa3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/V3Assert.cpp b/src/V3Assert.cpp
@@ -360,11 +360,12 @@ class AssertVisitor final : public VNVisitor {
                     //     else $error("multiple match");
                     // end
                     AstNodeExpr* const ohot = new AstOneHot{nodep->fileline(), propp};
+                    AstConst* const zero = new AstConst{nodep->fileline(), AstConst::WidthedValue{}, propp->width(), 0};
                     AstIf* const ohotIfp
                         = new AstIf{nodep->fileline(), new AstLogNot{nodep->fileline(), ohot}};
                     AstIf* const zeroIfp
                         = new AstIf{nodep->fileline(),
-                                    new AstLogNot{nodep->fileline(), propp->cloneTreePure(false)}};
+                                    new AstEq{nodep->fileline(), propp->cloneTreePure(false), zero}};
                     AstNodeExpr* const exprp = nodep->exprp();
                     const string pragmaStr = nodep->pragmaString();
                     if (!allow_none)