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

[d-bugmail at puremagic.com]

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

--- Comment #16 from anonymous4 <dfj1esp02 at sneakemail.com> ---
(In reply to Steven Schveighoffer from comment #12)
> I don't understand how the suggestion that the behavior is implementation
> defined doesn't jive with LLVM's chosen behavior.
Walter suggests that value should be implementation defined, not behavior.
LLVM's optimization is inspired by gcc's understanding of undefined behavior, I
suspect it won't provide safety.

--