https://issues.dlang.org/show_bug.cgi?id=20766
Issue ID: 20766
Summary: empty string literals passed as optional parameter
should not be 0 terminated
Product: D
Version: D2
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: P1
Component: dmd
Assignee: [email protected]
Reporter: [email protected]
concrete illustration:
---
void main()
{
test();
}
void test(string s = "")
{
if (s) {}
else { assert(false); }
s ? {} : assert(false);
}
---
`""` is actually a pointer to 0x00 and a length of 0. Since `s.ptr` will never
be null the else branch (or the last exp of a CondExpr) will never be executed,
even when calling test() without argument.
--
