Thread overview
[Issue 23813] DIP1000 can introduce memory corruption in @safe function with typesafe variadics
Mar 28, 2023
kinke
Mar 28, 2023
Adam D. Ruppe
Mar 29, 2023
RazvanN
Mar 29, 2023
kinke
March 28, 2023
https://issues.dlang.org/show_bug.cgi?id=23813

--- Comment #1 from kinke <kinke@gmx.net> ---
Oh, the `scope` annotation isn't required, bug happens without `scope` too - probably because of https://github.com/dlang/dmd/pull/14324 ('typesafe variadic parameters should automatically be scope with DIP1000').

--
March 28, 2023
https://issues.dlang.org/show_bug.cgi?id=23813

Adam D. Ruppe <destructionator@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |destructionator@gmail.com

--
March 29, 2023
https://issues.dlang.org/show_bug.cgi?id=23813

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |razvan.nitu1305@gmail.com
         Resolution|---                         |DUPLICATE

--- Comment #2 from RazvanN <razvan.nitu1305@gmail.com> ---
This seems to be an exact dupe of 23440.

*** This issue has been marked as a duplicate of issue 23440 ***

--
March 29, 2023
https://issues.dlang.org/show_bug.cgi?id=23813

kinke <kinke@gmx.net> changed:

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

--- Comment #3 from kinke <kinke@gmx.net> ---
It's not a duplicate, otherwise I wouldn't have filed this, with the cross-link. The underlying cause is most likely the same (undetected `scope` violation), but this specific issue here is about DIP1000 making things worse instead of better.

--