Bug 14395 – [REG2.067] Typesafe variadic function call collapsed if being used for default value

import std.stdio; struct V2u { union { uint[2] m; struct { uint x; uint y; } } this(uint[2] ar ...) { m[] = ar[]; } } void print(in V2u size = V2u(7, 8)) { writefln("size = %s, %s (%s, %s)", size.x, size.y, size.m[0], size.m[1]); } void main() { print(); print(V2u(11, 22)); } // output (dmd2.065) // size = 7, 8 (7, 8) // size = 11, 22 (11, 22) // output (dmd2.067) // size = 4313838, 4294967295 (4313838, 4294967295) // size = 11, 22 (11, 22)

slightly minimized sample: int V2u (uint[1] ar...) { return ar[0]; } void print (int size=V2u(7)) { assert(size == 7); } void main () { print(); }

Introduced in https://github.com/D-Programming-Language/dmd/pull/4015

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/9982f52fee882bd78143ce76e8547ef59c8e8454 fix Issue 14395 - Typesafe variadic function call collapsed if being used for default value Out of function body `__arrayArg` was not initialized by the array literal, because `VarDeclaraton::semantic()` does not wrap the initializer expression with ConstructExp when `sc->func == NULL`. To fix the issue, remove use of temporary variable for typesafe variadic argument. https://github.com/D-Programming-Language/dmd/commit/e926becf170376bdefccb5fb1812c0214c7db324 Merge pull request #4551 from 9rnsr/fix14395 [REG2.067] Issue 14395 - Typesafe variadic function call collapsed if being used for default value

Commit pushed to stable at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/1efec7b7aebb7581ece00c8cc1305d2e9c5fc735 Merge pull request #4551 from 9rnsr/fix14395 [REG2.067] Issue 14395 - Typesafe variadic function call collapsed if being used for default value

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/1efec7b7aebb7581ece00c8cc1305d2e9c5fc735 Merge pull request #4551 from 9rnsr/fix14395

Commits pushed to stable at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/9982f52fee882bd78143ce76e8547ef59c8e8454 fix Issue 14395 - Typesafe variadic function call collapsed if being used for default value https://github.com/D-Programming-Language/dmd/commit/e926becf170376bdefccb5fb1812c0214c7db324 Merge pull request #4551 from 9rnsr/fix14395