[Issue 19968] @safe code can create invalid bools resulting in memory corruption

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sat Jun 15 13:29:31 UTC 2019


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

--- Comment #3 from timon.gehr at gmx.ch ---
Also, the spec currently states:

"Undefined Behavior: If a void initialized variable's value is used before it
is set, the behavior is undefined."

https://dlang.org/spec/declaration.html#void_init

Unless this is changed (and I don't see a compelling reason to), there can't be
_any_ `void` initialization in @safe code.

--


More information about the Digitalmars-d-bugs mailing list