From def08100d804d3261d325195e86b29655d6581e6 Mon Sep 17 00:00:00 2001
From: Yilou Wang <wangyilou123@gmail.com>
Date: Tue, 3 Mar 2026 11:00:56 +0100
Subject: [PATCH] Fix constraint if/else regression from bare-var wrapping

---
 src/V3Randomize.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp
index 6a89d7e32..a5a89b1af 100644
--- a/src/V3Randomize.cpp
+++ b/src/V3Randomize.cpp
@@ -1722,6 +1722,7 @@ class ConstraintExprVisitor final : public VNVisitor {
             newp = new AstLogIf{fl, new AstNot{fl, nodep->condp()->unlinkFrBack()}, elsep};
         }
         if (newp) {
+            newp->dtypeSetBit();  // Result is boolean (prevents bare-var != 0 wrapping)
             newp->user1(true);  // Assume result-dependent
             nodep->replaceWith(new AstConstraintExpr{fl, newp});
         } else {