Merge pull request #2383 from hpohl/10596

fix issue 10596 - A method with out contract and auto return type causes segfault
dlang · Jul 26, 2013 · 87f79bb · 87f79bb
2 parents f828660 + 338998c
commit 87f79bb
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/src/func.c b/src/func.c
@@ -1475,6 +1475,12 @@ void FuncDeclaration::semantic3(Scope *sc)
 
             // BUG: need to treat parameters as const
             // BUG: need to disallow returns and throws
+            if (inferRetType && isMember() && ((TypeFunction *)fdensure->type)->parameters)
+            {
+                // Return type was unknown in the first semantic pass
+                Parameter *p = (*((TypeFunction *)fdensure->type)->parameters)[0];
+                p->type = ((TypeFunction *)type)->nextOf();
+            }
             fens = fens->semantic(sc2);
 
             sc2 = sc2->pop();

diff --git a/test/runnable/testcontracts.d b/test/runnable/testcontracts.d
@@ -561,6 +561,16 @@ class D10479 : B10479
     override D10479 foo() { return null; }
 }
 
+/*******************************************/
+// 10596
+
+class Foo10596
+{
+    auto bar()
+    out (result) { }
+    body { return 0; }
+}
+
 /*******************************************/
 
 int main()