Allow %0s $display format specifier

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 66f22e1135ebc4469f43389371b03dbf6c295061..3a652d6cd8a53994c94de8229e06bf31fac82184 100644 (file)
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -89,7 +89,7 @@ std::string AstNode::process_format_str(const std::string &sformat, int next_arg
                                case 'S':
                                case 'd':
                                case 'D':
-                                       if (got_len)
+                                       if (got_len && len_value != 0)
                                                goto unsupported_format;
                                        YS_FALLTHROUGH
                                case 'x':

diff --git a/tests/simple/string_format.v b/tests/simple/string_format.v
new file mode 100644 (file)
index 0000000..ce45ca1
--- /dev/null
+++ b/tests/simple/string_format.v
@@ -0,0 +1,7 @@
+module top;
+       parameter STR = "something interesting";
+       initial begin
+               $display("A: %s", STR);
+               $display("B: %0s", STR);
+       end
+endmodule