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

d-bugmail at puremagic.com d-bugmail at puremagic.com
Tue Jun 11 09:07:30 UTC 2019


--- 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.


More information about the Digitalmars-d-bugs mailing list