[Issue 18016] using uninitialized value is considered @safe but has undefined behavior

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Jun 5 20:58:33 UTC 2019


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

Manu <turkeyman at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |turkeyman at gmail.com

--- Comment #6 from Manu <turkeyman at gmail.com> ---
I think that's the wrong solution.
Allowing interaction with invalid memory is antithetical to @safe. Why would
you want @safe to allow this?

--


More information about the Digitalmars-d-bugs mailing list