Pattern vars should be usable in static initializers

MikePopoloski · Dec 21, 2024 · 31e4654 · 31e4654
1 parent be0428d
commit 31e4654
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 1 deletion.
diff --git a/source/ast/expressions/MiscExpressions.cpp b/source/ast/expressions/MiscExpressions.cpp
@@ -59,7 +59,8 @@ Expression& ValueExpressionBase::fromSymbol(const ASTContext& context, const Sym
             context.addDiag(diag::LocalVarEventExpr, sourceRange) << symbol.name;
             return badExpr(comp, nullptr);
         }
-        else if (!var.flags.has(VariableFlags::RefStatic) && flags.has(DisallowedAutoVarContexts)) {
+        else if (!var.flags.has(VariableFlags::RefStatic) && flags.has(DisallowedAutoVarContexts) &&
+                 var.kind != SymbolKind::PatternVar) {
             if (flags.has(ASTFlags::NonProcedural)) {
                 context.addDiag(diag::AutoFromNonProcedural, sourceRange) << symbol.name;
                 return badExpr(comp, nullptr);

diff --git a/tests/unittests/ast/ExpressionTests.cpp b/tests/unittests/ast/ExpressionTests.cpp
@@ -3756,3 +3756,18 @@ endclass
     compilation.addSyntaxTree(tree);
     NO_COMPILATION_ERRORS;
 }
+
+TEST_CASE("Pattern var in static initializer") {
+    auto tree = SyntaxTree::fromText(R"(
+module m;
+    struct {int a; real b;} s;
+    initial begin
+        static int b = s matches '{a:.i, b:.j} ? i : 0;
+    end
+endmodule
+)");
+
+    Compilation compilation;
+    compilation.addSyntaxTree(tree);
+    NO_COMPILATION_ERRORS;
+}