[PATCH] D82316: [LangRef] Add `noundef` attribute to documentation

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jun 25 13:05:28 PDT 2020


nikic added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1258
+    any uninitialized or poison bits, the behavior is undefined. This constraint does
+    not apply to inferrable uninitialized bits, such as the 24 bits of
+    padding in `{ i8, i32 }`.
----------------
I don't understand what "inferable" is intended to mean in this context.


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

https://reviews.llvm.org/D82316





More information about the llvm-commits mailing list