diff options
author | Vedant Kumar <vsk@apple.com> | 2017-08-02 18:10:31 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2017-08-02 18:10:31 +0000 |
commit | a0c3671b204564ac0c746e22312828643e8d4b11 (patch) | |
tree | 31fb0892ff56cddc4bdd1bad76435815bcaca495 /llvm/lib/Transforms | |
parent | 1f9ab16c4e0634d85098d41f83cd949fcf616dac (diff) | |
download | bcm5719-llvm-a0c3671b204564ac0c746e22312828643e8d4b11.tar.gz bcm5719-llvm-a0c3671b204564ac0c746e22312828643e8d4b11.zip |
[ubsan] Have -fsanitize=vptr emit a null check if -fsanitize=null isn't available
In r309007, I made -fsanitize=null a hard prerequisite for -fsanitize=vptr. I
did not see the need for the two checks to have separate null checking logic
for the same pointer. I expected the two checks to either always be enabled
together, or to be mutually compatible.
In the mailing list discussion re: r309007 it became clear that that isn't the
case. If a codebase is -fsanitize=vptr clean but not -fsanitize=null clean,
it's useful to have -fsanitize=vptr emit its own null check. That's what this
patch does: with it, -fsanitize=vptr can be used without -fsanitize=null.
Differential Revision: https://reviews.llvm.org/D36112
llvm-svn: 309846
Diffstat (limited to 'llvm/lib/Transforms')
0 files changed, 0 insertions, 0 deletions