diff options
| author | Owen Anderson <resistor@mac.com> | 2010-09-02 18:23:58 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2010-09-02 18:23:58 +0000 |
| commit | 66048c2169dd8d7541eae39e5c2aa2a935fc46fa (patch) | |
| tree | c4f41bc684085d0fd74a7b10489d6a65a5bd5243 /lib/Analysis/LazyValueInfo.cpp | |
| parent | bb5a039b76cc2cc6de6a5b6bdd4ebf6aefd9d564 (diff) | |
| download | external_llvm-66048c2169dd8d7541eae39e5c2aa2a935fc46fa.zip external_llvm-66048c2169dd8d7541eae39e5c2aa2a935fc46fa.tar.gz external_llvm-66048c2169dd8d7541eae39e5c2aa2a935fc46fa.tar.bz2 | |
Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattice, undef and the full set ConstantRange should not
be treated as equivalent.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112843 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LazyValueInfo.cpp')
| -rw-r--r-- | lib/Analysis/LazyValueInfo.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Analysis/LazyValueInfo.cpp b/lib/Analysis/LazyValueInfo.cpp index f6f715e..ff98bf9 100644 --- a/lib/Analysis/LazyValueInfo.cpp +++ b/lib/Analysis/LazyValueInfo.cpp @@ -173,10 +173,6 @@ public: assert(isUndefined()); if (NewR.isEmptySet()) return markOverdefined(); - else if (NewR.isFullSet()) { - Tag = undefined; - return true; - } Tag = constantrange; Range = NewR; |