https://llvm.org/bugs/show_bug.cgi?id=29118
Sanjay Patel <spatel+l...@rotateright.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |INVALID
--- Comment #5 from Sanjay Patel <spatel+l...@rotateright.com> ---
(In reply to comment #4)
> Well, we don't really have UB in the IR.
> But I think the IR semantics are that loading from an uninitialized alloca
> yields an undef value, with all of its consequences.
Sounds good to me. I checked that the memory sanitizer does report the reading
of uninitialized memory in the original program, so marking this as invalid.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
