fix Issue 11659 - false positive goto skips initialization of variabl…

…e error (skipping enum initialization)
dlang · Dec 3, 2013 · 05beebe · 05beebe
1 parent ddb5e65
commit 05beebe
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/src/statement.c b/src/statement.c
@@ -5124,8 +5124,11 @@ bool GotoStatement::checkLabel()
         return true;
     }
 
-    VarDeclaration *last = lastVar;
     VarDeclaration *vd = label->statement->lastVar;
+    if (!vd || vd->isDataseg() || (vd->storage_class & STCmanifest))
+        return false;
+
+    VarDeclaration *last = lastVar;
     while (last && last != vd)
         last = last->lastVar;
     if (last == vd)

diff --git a/test/compilable/test602.d b/test/compilable/test602.d
@@ -381,3 +381,13 @@ static assert(!__traits(compiles, (bool b)
     if (b)
         goto label;
 }));
+
+/***************************************************/
+
+int test11659()
+{
+    goto LABEL;
+    enum expr = "0";
+ LABEL:
+    return mixin(expr);
+}