digitalmars.D.bugs - [Issue 17568] New: [scope] addresses to fields can be escaped from
- via Digitalmars-d-bugs (37/37) Jun 28 2017 https://issues.dlang.org/show_bug.cgi?id=17568
https://issues.dlang.org/show_bug.cgi?id=17568 Issue ID: 17568 Summary: [scope] addresses to fields can be escaped from scope method Product: D Version: D2 Hardware: x86_64 OS: Linux Status: NEW Severity: enhancement Priority: P1 Component: dmd Assignee: nobody puremagic.com Reporter: code dawg.eu cat > bug.d << CODE int* p; struct T { int a; void escape() safe scope { p = &a; } } void escape() safe { { T t; t.escape; } auto bug = *p; } CODE dmd -c -dip1000 bug ---- Tested with v2.075.0-b1 --
Jun 28 2017