872 – Assertion in expression.c caused by taking typeof of "this.outer" in nested classes.

D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.

Issue 872 - Assertion in expression.c caused by taking typeof of "this.outer" in nested classes.

Summary: Assertion in expression.c caused by taking typeof of "this.outer" in nested c...

Status:	RESOLVED FIXED
Alias:	None
Product:	D
Classification:	Unclassified
Component:	dmd (show other issues)
Version:	D1 (retired)
Hardware:	x86 Windows
Importance :	P2 normal
Assignee:	Walter Bright
URL:
Keywords:	ice-on-valid-code
Depends on:
Blocks:

See Also:
Reported:	2007年01月22日 18:05 UTC by Tyler Knott
Modified:	2014年02月15日 13:13 UTC (History)
CC List:	0 users

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this issue.

Description Tyler Knott 2007年01月22日 18:05:40 UTC

Comment 1 Tyler Knott 2007年01月22日 18:11:22 UTC

Sorry, I accidentally hit "enter" before providing a description. Anyways, the following example (which seems to be valid D code) will cause an assertion in the DMD frontend code (Assertion failure: 'global.errors || var' on line 1904 in file 'expression.c') upon compilation. This bug affects both DMD and GDC.
Test case:
class ExOuter
{
	class ExInner
	{
		this() { typeof(this.outer) X; }
	}
}
void main() {}

Comment 2 Thomas Kühne 2007年01月23日 07:45:52 UTC

Added to DStress as
http://dstress.kuehne.cn/compile/o/outer_02_A.d
http://dstress.kuehne.cn/compile/o/outer_02_B.d
http://dstress.kuehne.cn/compile/o/outer_02_C.d
http://dstress.kuehne.cn/compile/o/outer_02_D.d
http://dstress.kuehne.cn/compile/o/outer_02_E.d
http://dstress.kuehne.cn/compile/o/outer_02_F.d
http://dstress.kuehne.cn/compile/o/outer_02_G.d

Comment 3 Walter Bright 2007年02月12日 03:40:11 UTC

Fixed DMD 1.005