Skip to content
Commit bdc1eafe authored by Igor Laevsky's avatar Igor Laevsky
Browse files

[CorrelatedValuePropagation] Infer nonnull attributes 

LazuValueInfo can prove that value is nonnull based on the context information. 
Make use of this ability to infer nonnull attributes for the call arguments.

Differential Revision: http://reviews.llvm.org/D12836

llvm-svn: 247707
parent ecb156ab
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment