Add a check for dereferencing dyn*

syg · syg · commit 77df6aef9a7c · 2012-05-21T13:51:58.000-07:00
diff --git a/src/compiler.js b/src/compiler.js
@@ -1041,6 +1041,7 @@
 
     if (op === "*") {
       check(this, ty instanceof PointerType, "cannot dereference non-pointer type " + quote(tystr(ty, 0)));
+      check(this, ty.base, "cannot dereference " + quote(tystr(ty, 0)));
       return cast(this, ty.base);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -1041,6 +1041,7 @@`
`1041`	`1041`
`1042`	`1042`	`if (op === "*") {`
`1043`	`1043`	`check(this, ty instanceof PointerType, "cannot dereference non-pointer type " + quote(tystr(ty, 0)));`
	`1044`	`+ check(this, ty.base, "cannot dereference " + quote(tystr(ty, 0)));`
`1044`	`1045`	`return cast(this, ty.base);`
`1045`	`1046`	`}`
`1046`	`1047`