fix Issue 19857 - Name mangling mismatch when compiling with -dip1000

dlang · May 14, 2019 · 63201b7 · 63201b7
1 parent 9585ab8
commit 63201b7
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/src/dmd/semantic3.d b/src/dmd/semantic3.d
@@ -1180,6 +1180,8 @@ private extern(C++) final class Semantic3Visitor : Visitor
                 if (funcdecl.type == f)
                     f = cast(TypeFunction)f.copy();
                 f.isreturn = true;
+                if (funcdecl.storage_class & STC.returninferred)
+                    f.isreturninferred = true;
             }
         }
 

diff --git a/test/compilable/scopeinfer.d b/test/compilable/scopeinfer.d
@@ -10,3 +10,21 @@ static assert(typeof(foo).mangleof == "FNaNbNiNfPvZi");
 auto bar(void* p) { return p; }
 static assert(typeof(bar).mangleof == "FNaNbNiNfPvZQd");
 
+// https://issues.dlang.org/show_bug.cgi?id=19857
+
+struct Stack()
+{
+@safe:
+    int** data;
+    ref int* top()
+    {
+        return *data;
+    }
+}
+
+alias S = Stack!();
+
+//pragma(msg, S.top.mangleof);
+
+version (Win32)
+static assert(S.top.mangleof == "_D4test__T5StackZQh3topMFNaNbNcNiNfZPi");