6049 [CTFE]: Array literals of structs with invariant() are wrong

The __result variable is special; like 'this', it can be modified even when the function call is from global scope. It needs to be cleared at the end of every function call.
dlang · May 24, 2011 · 91ffa26 · 91ffa26
1 parent 44880fa
commit 91ffa26
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/interpret.c b/src/interpret.c
@@ -326,6 +326,10 @@ Expression *FuncDeclaration::interpret(InterState *istate, Expressions *argument
         VarDeclaration *v = (VarDeclaration *)parameters->data[i];
         v->setValueWithoutChecking((Expression *)vsave.data[i]);
     }
+    /* Clear __result. (Bug 6049).
+     */
+    if (vresult)
+        vresult->setValueNull();
 
     if (istate && !isNested())
     {