diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-31 16:09:12 -0600 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2020-01-03 10:43:40 -0600 |
| commit | 412a0101a99e5330d5bbe4954cd421af81d0dc64 (patch) | |
| tree | 2ae07b3c2a2bbbf1b9751033548bd963c01cc6c0 /clang/unittests/Format/FormatTestJava.cpp | |
| parent | a4b3588ba2c398f118a0b8e44412226b135656a1 (diff) | |
| download | llvm-412a0101a99e5330d5bbe4954cd421af81d0dc64.zip llvm-412a0101a99e5330d5bbe4954cd421af81d0dc64.tar.gz llvm-412a0101a99e5330d5bbe4954cd421af81d0dc64.tar.bz2 | |
[Attributor][FIX] Do not derive nonnull and dereferenceable w/o access
An inbounds GEP results in poison if the value is not "inbounds", not in
UB. We accidentally derived nonnull and dereferenceable from these
inbounds GEPs even in the absence of accesses that would make the poison
to UB.
Diffstat (limited to 'clang/unittests/Format/FormatTestJava.cpp')
0 files changed, 0 insertions, 0 deletions