projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2c9188) | patch
In the default address space, any GEP off of null results in a trap value if you...
authorOwen Anderson <resistor@mac.com>
Wed, 25 Aug 2010 01:16:47 +0000 (01:16 +0000)
committerOwen Anderson <resistor@mac.com>
Wed, 25 Aug 2010 01:16:47 +0000 (01:16 +0000)
commit6cd207554994a6ad8577cdd1efd3ef3917bd547f
tree42d1a7b6db8f43df0fa83c771e993eded216601dtree | snapshot
parenta2c9188560eb9a7d494960fefd28cf0998d9a78fcommit | diff
In the default address space, any GEP off of null results in a trap value if you try to load it.  Thus,
any load in the default address space that completes implies that the base value that it GEP'd from
was not null.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112015 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LazyValueInfo.cpp diff | blob | history
test/Transforms/JumpThreading/lvi-load.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors