[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