Fix signed cast (#6912) (#6068)

src/V3Width.cpp

@@ -2128,9 +2128,11 @@ class WidthVisitor final : public VNVisitor {
             if (debug() >= 9) nodep->dumpTree("-  CastPre: ");
             // if (debug()) nodep->backp()->dumpTree("-  CastPreUpUp: ");
             if (AstSigned* const fromp = VN_CAST(nodep->fromp(), Signed)) {
-                AstNode* const lhsp = fromp->lhsp()->unlinkFrBack();
+                if (VN_IS(fromp->lhsp(), NodeStream)) {
-                fromp->replaceWith(lhsp);
+                    AstNode* const lhsp = fromp->lhsp()->unlinkFrBack();
-                VL_DO_DANGLING(fromp->deleteTree(), fromp);
+                    fromp->replaceWith(lhsp);
+                    VL_DO_DANGLING(fromp->deleteTree(), fromp);
+                }
             }
             userIterateAndNext(nodep->fromp(), WidthVP{SELF, PRELIM}.p());
             if (debug() >= 9) nodep->dumpTree("-  CastDit: ");

test_regress/t/t_cast_signed.py

@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+# DESCRIPTION: Verilator: Verilog Test driver/expect definition
+#
+# Copyright 2025 by Wilson Snyder. This program is free software; you
+# can redistribute it and/or modify it under the terms of either the GNU
+# Lesser General Public License Version 3 or the Perl Artistic License
+# Version 2.0.
+# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
+
+import vltest_bootstrap
+
+test.scenarios("simulator")
+
+test.compile()
+
+test.execute()
+
+test.passes()

test_regress/t/t_cast_signed.v

@@ -0,0 +1,23 @@
+// DESCRIPTION: Verilator: Verilog Test module
+//
+// This file ONLY is placed under the Creative Commons Public Domain, for
+// any use, without warranty, 2025 by Wilson Snyder.
+// SPDX-License-Identifier: CC0-1.0
+
+module t;
+
+   logic [7:0] smaller;
+   logic [15:0] bigger;
+   typedef logic [15:0] bigger_t;
+
+   initial begin
+      smaller = 8'hfa;
+      bigger = bigger_t'(signed'(smaller));
+      $display("%x", bigger); // NOCOMMIT
+      if (bigger != 16'hfffa) $stop;
+
+      $write("*-* All Finished *-*\n");
+      $finish;
+   end
+
+endmodule