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

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe

--

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

Walter Bright <bugzilla@digitalmars.com> changed:

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

--

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

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|DUPLICATE                   |---

--- Comment #2 from Walter Bright <bugzilla@digitalmars.com> ---
(In reply to Dennis from comment #1)
> 
> *** This issue has been marked as a duplicate of issue 22977 ***

I thought it was a duplicate, too, but the PR for that does not detect the error.

--

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

--- Comment #3 from Walter Bright <bugzilla@digitalmars.com> ---
(In reply to Walter Bright from comment #2)
> I thought it was a duplicate, too, but the PR for that does not detect the error.

The PR is:

https://github.com/dlang/dmd/pull/14236

--

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

--- Comment #4 from Walter Bright <bugzilla@digitalmars.com> ---
A smaller test case:

void qux()@safe{
    int* foo(return scope int* x)@safe{
        int* bar(return scope int* y)@safe{
            return x; (*)
        }
        return null;
    }
}

(*) compiler should complain that x is escaping via return

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #5 from Dlang Bot <dlang-bot@dlang.rocks> ---
@WalterBright created dlang/dmd pull request #14601 "Fix23438" fixing this issue:

- fix Issue 23438 - leaking address of stack

https://github.com/dlang/dmd/pull/14601

--

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

timon.gehr@gmx.ch changed:

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

--

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

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |razvan.nitu1305@gmail.com
            Summary|leaking address of stack    |leaking address of stack
                   |                            |using dip1000 switch

--

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

--- Comment #6 from Dlang Bot <dlang-bot@dlang.rocks> ---
@WalterBright created dlang/dmd pull request #14610 "fix Issue 23445 - Can leak scope variable through delegate context" fixing this issue:

- fix Issue 23438 - leaking address of stack

https://github.com/dlang/dmd/pull/14610

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P3

--