projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 956583e) | patch
Teach isKnownNonNull that a nonnull return is not null. Add a test for this case...
authorNick Lewycky <nicholas@mxc.ca>
Tue, 20 May 2014 05:13:21 +0000 (05:13 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Tue, 20 May 2014 05:13:21 +0000 (05:13 +0000)
commit4bf804fe0d352ea5a69beb0962d99c333beabd32
treeed07f6733eaf17ab0b165b3d9da063ad389539b7tree | snapshot
parent956583e98e57bea245137a7833a4b329edd897cfcommit | diff
Teach isKnownNonNull that a nonnull return is not null. Add a test for this case as well as the case of a nonnull attribute (already handled but not tested).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209193 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp diff | blob | history
test/Transforms/InstSimplify/compare.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors