| commit | 34a738d033e90cc1bad648b2e79e8cffc93d4c7e | |
| author | Nick Lewycky <nicholas@mxc.ca> | |
| Sun, 16 Jan 2011 21:57:20 +0000 (16 21:57 +0000) | ||
| committer | Nick Lewycky <nicholas@mxc.ca> | |
| Sun, 16 Jan 2011 21:57:20 +0000 (16 21:57 +0000) | ||
| tree | ca6b26abf5e3a22f831a87cf7b3c5f4c88898566 | treesnapshot (tar.gz zip) |
| parent | 7c48e591f3dc4e5a8f629f7ac0f8805757b3b2e7 | commitdiff |
Test for lazy value info's ability to prove the absense of NULLs in pointers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123601 91177308-0d34-0410-b5e6-96231b3b80d8
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123601 91177308-0d34-0410-b5e6-96231b3b80d8
| test/Transforms/CorrelatedValuePropagation/non-null.ll | [new file with mode: 0644] | blob |