[PATCH] D67122: [UBSan][clang][compiler-rt] Applying non-zero offset to nullptr is undefined behaviour
Roman Lebedev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Sep 3 14:59:53 PDT 2019
lebedev.ri marked 2 inline comments as done.
lebedev.ri added inline comments.
================
Comment at: llvm/docs/ReleaseNotes.rst:59
+ ``getelementptr inbounds`` can not change the null status of a pointer,
+ meaning it can not produce non-null pointer given null base pointer, and
+ likewise given non-null base pointer it can not produce null pointer; if it
----------------
xbolva00 wrote:
> Please add a reference to C/C++ standard that this is a UB.
It is irrelevant what semantics C/C++ standard has/doesn't have for whatever C/C++ construct,
this is talking about LLVM IR.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D67122/new/
https://reviews.llvm.org/D67122
More information about the cfe-commits
mailing list