| commit | ca857efb5b7308d5dda621685a766da6960a8157 | [log] [tgz] |
|---|---|---|
| author | Igor Laevsky <igmyrj@gmail.com> | Tue Sep 15 17:51:50 2015 +0000 |
| committer | Igor Laevsky <igmyrj@gmail.com> | Tue Sep 15 17:51:50 2015 +0000 |
| tree | a77ee19e07be523f2bbdc2de0e92a809a37a70f0 | |
| parent | 2509f522f6b6c1f687504807d0a1bd508f4df457 [diff] |
[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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@247707 91177308-0d34-0410-b5e6-96231b3b80d8