digitalmars.D.bugs - [Issue 23079] New: [dip1000] be more lenient when taking address of
- d-bugmail puremagic.com (31/33) May 02 2022 https://issues.dlang.org/show_bug.cgi?id=23079
https://issues.dlang.org/show_bug.cgi?id=23079 Issue ID: 23079 Summary: [dip1000] be more lenient when taking address of `ref` return Product: D Version: D2 Hardware: All OS: All Status: NEW Keywords: safe Severity: enhancement Priority: P1 Component: dmd Assignee: nobody puremagic.com Reporter: dkorpel live.nl Came up in the newsgroup: https://forum.dlang.org/post/srwgaecsoztshbtixgwf forum.dlang.orgLooks like the compiler has a blanket rule against taking the address of a ref return value if the value's type contains indirections.``` int** p; ref int* get() safe { return *p; } int** g1() safe { return &get(); // error } ``` DMD could figure out get() does not return a scope pointer and allow taking the address of its return value. --
May 02 2022