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

anonymous4 <dfj1esp02@sneakemail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |---

--- Comment #20 from anonymous4 <dfj1esp02@sneakemail.com> ---
AFAIK, the freed memory references are nor nullified. Another example:

class A
{
    @safe:
    int[] a;
    this(){ a=new int[1]; }
    ~this(){ a[0]=0; } //write after free
}

void f() @safe
{
    auto a=new A;
}

--

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

anonymous4 <dfj1esp02@sneakemail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |spec

--

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

anonymous4 <dfj1esp02@sneakemail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=15595

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P3

--