projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1840b3) | patch
Add support for inferring that a load from a pointer implies that it is not null.
authorOwen Anderson <resistor@mac.com>
Tue, 24 Aug 2010 20:47:29 +0000 (20:47 +0000)
committerOwen Anderson <resistor@mac.com>
Tue, 24 Aug 2010 20:47:29 +0000 (20:47 +0000)
commitc8ef750605385b3704c0e310b91a0e042cac5781
treea01d023bacf9d909fe44ade9237009a3dc7a192etree | snapshot
parentc1840b3da25222680b51f853697a871fedda51d5commit | diff
Add support for inferring that a load from a pointer implies that it is not null.

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