[PATCH] D86189: [LangRef] State that storing an aggregate fills padding with undef

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/docs/LangRef.rst:9242
+If the value being loaded is of aggregate type, the bytes that correspond to
+padding is not read, because it is impossible to observe padding from the
+loaded aggregate value.
----------------
"is not read" might be a little strong; I'm not sure we want to promise the generated code won't access the address in question, just that the bytes in question aren't part of the value representation.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86189