Fix issue 14185 [ICE] [mtype.c] compiler segfault

dlang · May 12, 2015 · d9a5eed · d9a5eed
1 parent acbe13e
commit d9a5eed
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/src/mtype.c b/src/mtype.c
@@ -1265,6 +1265,8 @@ Type *Type::aliasthisOf()
                 if (fd)
                 {
                     t = fd->type->nextOf();
+		    if (!t) // issue 14185
+		        return Type::terror;
                     t = t->substWildTo(mod == 0 ? MODmutable : mod);
                 }
                 else

diff --git a/test/fail_compilation/ice14185.d b/test/fail_compilation/ice14185.d
@@ -0,0 +1,24 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/ice14185.d(12): Error: cannot implicitly convert expression (this) of type Mutexed to Mutexed*
+---
+*/
+
+struct Mutexed
+{
+	auto acquire ()
+	{
+		return Lock (this);
+	}
+	alias acquire this;
+
+	struct Lock
+	{
+		Mutexed* source;
+	}
+}
+void main ()
+{
+	Mutexed x;
+}