Bug 17892 – Scope analysis with -dip1000 fails for templated structs

When struct S { @safe: int[ 128] x; scope ref int front() return { return x[ 0]; } scope int* pointer() return { return &x[ 0]; } } ref int testFront() { S s; return s.front(); // error } int* testPointer() { S s; return s.pointer(); // error } is turned into a template @safe: struct ST( T) { @safe: T[ 128] x; scope ref T front() return { return x[ 0]; } scope T* pointer() return { return &x[ 0]; } } scope analysis (with -dip1000) no longer forbids escaping of reference and pointer as in ref int testFrontT() { ST!int s; return s.front(); // reference to stack element escapes } int* testPointerT() { ST!int s; return s.pointer(); // pointer to stack element escapes }

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/1ec125e6bc5f7aec460d5d7deb2699d92f473c5c fix Issue 17892 - Scope analysis with -dip1000 fails for templated structs https://github.com/dlang/dmd/commit/37688254c7663c017b5f2b9be2bfcbca3070fbfa Merge pull request #7993 from WalterBright/fix17892 fix Issue 17892 - Scope analysis with -dip1000 fails for templated st… merged-on-behalf-of: Walter Bright <[email protected]>

Commit pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/3dd5b8ca04c0d25bb34d4d8dff3de4949ab066a1 supplemental fix for Issue 17892