Comment #0 by siegelords_abode — 2010-09-05T09:14:10Z
Changeset 452 that was used to solve bug 2935 causes 4 regressions in the DStress test suite. The tests that now fail are the following:
run/l/lazy_02_A.d
run/l/lazy_02_B.d
run/l/lazy_02_C.d
run/l/lazy_02_D.d
The first one, for example is:
bool nextis(void delegate() dgpositive = {}) {
return true;
}
bool looping(lazy bool condition) {
return true;
}
int main() {
looping(nextis());
return 0;
}
and when compiled with DMD1.063 yields:
test.d(1): Error: cannot inline default argument __dgliteral1
Comment #1 by clugdbug — 2010-09-06T00:44:52Z
Thanks for the superb bug report!
Reduced test case shows it's nothing to do with lazy:
void nextis(void delegate() dg = {}) {}
void main() {
nextis();
}
This is failing because function/delegate literals cannot be inlined. Prior to svn 452, that wasn't being checked in the special case where they were default parameters. Until bug 2935 was fixed, default values were created in the same scope as the function declaration. That was a disaster for structs, but might be OK for function literals -- not sure. Here's an example which used to compile, but now fails, which never used global scope.
void main() {
int x = 27;
int nextis(int delegate() dg = { return x; }) { return dg(); }
++x;
assert(nextis() == 28);
}
Comment #2 by clugdbug — 2010-09-13T23:57:27Z
*** Issue 4304 has been marked as a duplicate of this issue. ***
Comment #3 by clugdbug — 2010-09-14T00:02:29Z
Although this particular case used to work, it was very fragile.
Calling nextis() directly from main() never worked.
This whole feature probably won't correctly until delegate literals can be inlined.
Comment #4 by github-bugzilla — 2012-03-02T21:28:41Z