Throw warning on global constraints

Signed-off-by: Ryszard Rozak <[email protected]>
antmicro · Nov 22, 2024 · e328918 · e328918
1 parent d5070e4
commit e328918
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp
@@ -733,6 +733,12 @@ class ConstraintExprVisitor final : public VNVisitor {
         handle.relink(indexp);
         editSMT(nodep, nodep->fromp(), indexp);
     }
+    void visit(AstMemberSel* nodep) override {
+        if (nodep->user1()) {
+            nodep->v3warn(CONSTRAINTIGN, "Global constraints ignored (unsupported)");
+        }
+        editFormat(nodep);
+    }
     void visit(AstSFormatF* nodep) override {}
     void visit(AstStmtExpr* nodep) override {}
     void visit(AstConstraintIf* nodep) override {