Bug 17370 – [scope] Escaping scope pointers possible via struct GC allocation

The following compiles and runs with 2.074.0 and v2.075.0-devel-5cfc8d982 (latest master): ``` void main () @safe { int* ptr = fwd(); assert(ptr !is null); } int* fwd () @safe { int i; return new Struct(&i).oops; // Leaving out `new` correctly detects escaping } struct Struct { int* oops; } ```

The issue is with only with the auto generated constructor. If you write one yourself, you get: void main () @safe { int* ptr = fwd(); assert(ptr !is null); } int* fwd () @safe { int i; return new Struct(&i).oops; } struct Struct { int* oops; this(int* p) @safe { oops = p; } } scope_bug17370.d(10): Error: reference to local variable i assigned to non-scope parameter p calling scope_bug17370.Struct.this

Note: compile with -dip1000 to repro the problem.

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/ae05c4c834ee9944f8fc0ed21a990335bcf36c81 fix Issue 17370 - [scope] Escaping scope pointers possible via struct GC allocation https://github.com/dlang/dmd/commit/59e801d060ee13705cbf3bf73e1b4bc8a12aa60d Merge pull request #7101 from WalterBright/fix17370 fix Issue 17370 - [scope] Escaping scope pointers possible via struct… merged-on-behalf-of: Martin Nowak <[email protected]>

Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/ae05c4c834ee9944f8fc0ed21a990335bcf36c81 fix Issue 17370 - [scope] Escaping scope pointers possible via struct GC allocation https://github.com/dlang/dmd/commit/59e801d060ee13705cbf3bf73e1b4bc8a12aa60d Merge pull request #7101 from WalterBright/fix17370