diff options
| author | Juneyoung Lee <aqjune@gmail.com> | 2020-09-21 07:12:12 +0900 |
|---|---|---|
| committer | Juneyoung Lee <aqjune@gmail.com> | 2020-09-26 08:13:27 +0900 |
| commit | 8bd205bf1de486a32abd956390f6527da4c13e33 (patch) | |
| tree | 4b0f2e380dd6d6b5f6ee2e2950354c3574c5b0fb /llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp | |
| parent | 51cad041e0cb26597c7ccc0fbfaa349b8fffbcda (diff) | |
| download | llvm-8bd205bf1de486a32abd956390f6527da4c13e33.zip llvm-8bd205bf1de486a32abd956390f6527da4c13e33.tar.gz llvm-8bd205bf1de486a32abd956390f6527da4c13e33.tar.bz2 | |
[LangRef] Clarify the behavior of memory access instructions when pointers/sizes aren't well-defined
This is a patch to LangRef that clarifies the behavior of load/store/memset/memcpy/memmove when the pointers or sizes are not well-defined
as well.
MSan detects a case when e.g., only lower bits of address are garbage when `-msan-check-access-address` is enabled, and it does not directly conflict with this patch because a C program should not use a pointer with undef bits and reasonable optimizations do not convert a well-defined pointer into a pointer with undef bits.
This patch contains a definition of a well-defined value as well.
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D87994
Diffstat (limited to 'llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp')
0 files changed, 0 insertions, 0 deletions