Commit 4a28f8e3 authored by Nikita Popov's avatar Nikita Popov Committed by Tom Stellard
Browse files

[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.

(cherry picked from commit f34d30cd)
parent 0abb89a8
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment