Skip to content
GitLab
Unverified Commit f34d30cd authored by Nikita Popov's avatar Nikita Popov Committed by GitHub
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.
parent de8cf69a
Hide whitespace changes
Inline Side-by-side
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