projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2509f52) | patch
[CorrelatedValuePropagation] Infer nonnull attributes
authorIgor Laevsky <igmyrj@gmail.com>
Tue, 15 Sep 2015 17:51:50 +0000 (17:51 +0000)
committerIgor Laevsky <igmyrj@gmail.com>
Tue, 15 Sep 2015 17:51:50 +0000 (17:51 +0000)
commitca857efb5b7308d5dda621685a766da6960a8157
treea77ee19e07be523f2bbdc2de0e92a809a37a70f0tree | snapshot
parent2509f522f6b6c1f687504807d0a1bd508f4df457commit | 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
lib/Transforms/Scalar/CorrelatedValuePropagation.cpp diff | blob | history
test/Transforms/CorrelatedValuePropagation/non-null.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors