• via Digitalmars-d-bugs (34/34) May 24 2017 https://issues.dlang.org/show_bug.cgi?id=17428

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

https://issues.dlang.org/show_bug.cgi?id=17428

          Issue ID: 17428
           Summary: [scope] class field assignment allows to escape scope
                    parameters
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Keywords: safe
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: code dawg.eu

cat > bug.d << CODE
class Klazz
{
    void set(scope int* p)  safe
    {
        _p = p; // should error, works for structs
    }

    int* _p;
}

Klazz test()  safe
{
    int a;
    auto p = new Klazz();
    p.set(&a);
    return p;
}
CODE

dmd -c bug -dip1000

--