[PATCH] D136284: SROA should freeze undefs for loads with no prior stores

[Jamie Schmeiser via Phabricator via cfe-commits]

jamieschmeiser added a comment.

In D136284#3874492 <https://reviews.llvm.org/D136284#3874492>, @nikic wrote:

> At least in C++, working with uninitialized memory is pretty much always immediate undefined behavior, see https://eel.is/c++draft/basic.indet for the relevant wording. The only exception are "copy-like" operations on unsigned character types, which comparisons do not fall under.
>
> I believe the C specification is less clear cut about this, but Clang and LLVM assume basically the same to also hold for C code.

What version of the C++ standard is this?  Every version that I have seen has basics as section 3 and I cannot find this section, nor anything similar.  Section 6 is Statements.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136284/new/

https://reviews.llvm.org/D136284