diff options
author | Owen Anderson <resistor@mac.com> | 2010-08-24 20:47:29 +0000 |
---|---|---|
committer | Owen Anderson <resistor@mac.com> | 2010-08-24 20:47:29 +0000 |
commit | c8ef750605385b3704c0e310b91a0e042cac5781 (patch) | |
tree | a01d023bacf9d909fe44ade9237009a3dc7a192e /test/BugPoint | |
parent | c1840b3da25222680b51f853697a871fedda51d5 (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
Diffstat (limited to 'test/BugPoint')
0 files changed, 0 insertions, 0 deletions