Report error on nested functions.

shader-slang · Dec 6, 2024 · 3e30b2b · 3e30b2b
1 parent 0d5636c
commit 3e30b2b
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 0 deletions.
diff --git a/source/slang/slang-parser.cpp b/source/slang/slang-parser.cpp
@@ -5783,6 +5783,24 @@ DeclStmt* Parser::parseVarDeclrStatement(Modifiers modifiers)
     FillPosition(varDeclrStatement);
     auto decl = ParseDeclWithModifiers(this, currentScope->containerDecl, modifiers);
     varDeclrStatement->decl = decl;
+
+    if (as<VarDeclBase>(decl))
+    {
+    }
+    else if (as<DeclGroup>(decl))
+    {
+    }
+    else if (as<AggTypeDecl>(decl))
+    {
+    }
+    else if (as<TypeDefDecl>(decl))
+    {
+    }
+    else
+    {
+        sink->diagnose(decl->loc, Diagnostics::declNotAllowed, decl->astNodeType);
+    }
+
     return varDeclrStatement;
 }
 

diff --git a/tests/diagnostics/nested-func.slang b/tests/diagnostics/nested-func.slang
@@ -0,0 +1,12 @@
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):
+
+
+struct VertexOutput{float Input;}
+float4 fragmentMain(VertexOutput vertex) : SV_Target
+{
+   // CHECK: ([[# @LINE+1]]): error 30102
+  static float GetValue(int val) { return vertex.Input; } // Simplified example
+  float a = GetValue(vertex.Input);
+
+  // etc
+}