https://issues.dlang.org/show_bug.cgi?id=21794
Issue ID: 21794
Summary: Internal compiler assertion
Product: D
Version: D2
Hardware: All
URL: http://dlang.org/
OS: All
Status: NEW
Severity: major
Priority: P3
Component: dmd
Assignee: [email protected]
Reporter: [email protected]
This program triggers an internal compiler assertion (when assertions are
enabled in dmd itself):
void f(void* p) {
const x = cast(ulong)p;
}
pragma(msg, f(null));
Specifically, the assignment goes thru:
private void setValue(VarDeclaration vd, Expression newval) {
...
assert((vd.storage_class & (STC.out_ | STC.ref_)) ?
isCtfeReferenceValid(newval) : isCtfeValueValid(newval));
...
}
and isCtfeValueValid has:
case TOK.null_:
return tb.ty == Tnull ||
tb.ty == Tpointer ||
tb.ty == Tarray ||
tb.ty == Taarray ||
tb.ty == Tclass ||
tb.ty == Tdelegate;
which returns false, because tb.ty is Tuns64.
--
