diff options
author | Nikita Popov <npopov@redhat.com> | 2024-05-07 09:47:28 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-07 09:47:28 +0900 |
commit | f34d30cdae0f59698f660d5cc8fb993fb3441064 (patch) | |
tree | ce1bf91852bdd4a4bf64aa4f6e802be8499a500a /clang/unittests/Format/FormatTestJava.cpp | |
parent | de8cf69abf4f8b16d5c5ecb77a6dfb1f5c09e45a (diff) | |
download | llvm-f34d30cdae0f59698f660d5cc8fb993fb3441064.zip llvm-f34d30cdae0f59698f660d5cc8fb993fb3441064.tar.gz llvm-f34d30cdae0f59698f660d5cc8fb993fb3441064.tar.bz2 |
[FunctionAttrs] Fix incorrect nonnull inference for non-inbounds GEP (#91180)
For inbounds GEPs, if the source pointer is non-null, the result must
also be non-null. However, this does not hold for non-inbounds GEPs.
Fixes https://github.com/llvm/llvm-project/issues/91177.
Diffstat (limited to 'clang/unittests/Format/FormatTestJava.cpp')
0 files changed, 0 insertions, 0 deletions