Improve message on cast assertion failure.

2026-10-06 01:54:01 +02:00 · 2025-12-13 20:51:13 -05:00
parent aff501f5c4
commit 5634795140
4 changed files with 83 additions and 78 deletions
@@ -439,7 +439,9 @@ class AssertVisitor final : public VNVisitor {
            } else {
                ++m_statAsNotImm;
            }
-            if (!passsp && !failsp) failsp = newFireAssertUnchecked(nodep, "'assert' failed.");
+            if (!passsp && !failsp)
+                failsp = newFireAssertUnchecked(
+                    nodep, VN_IS(nodep, AssertIntrinsic) ? "'$cast' failed." : "'assert' failed.");
        } else {
            nodep->v3fatalSrc("Unknown node type");
        }