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 | a8c896b704ca567cf1efa6f41fdbe039ccc17a7b (patch) | |
| tree | f8bd366fa8f07913d1b22ad02bd91e8f46abbacc /llvm/lib/Analysis/LazyValueInfo.cpp | |
| parent | aec776fd2aaccc76702a32d878a9039e6ef7712a (diff) | |
| download | bcm5719-llvm-a8c896b704ca567cf1efa6f41fdbe039ccc17a7b.tar.gz bcm5719-llvm-a8c896b704ca567cf1efa6f41fdbe039ccc17a7b.zip | |
Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattice, undef and the full set ConstantRange should not
be treated as equivalent.
llvm-svn: 112843
Diffstat (limited to 'llvm/lib/Analysis/LazyValueInfo.cpp')
| -rw-r--r-- | llvm/lib/Analysis/LazyValueInfo.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/llvm/lib/Analysis/LazyValueInfo.cpp b/llvm/lib/Analysis/LazyValueInfo.cpp index f6f715e4df3..ff98bf97711 100644 --- a/llvm/lib/Analysis/LazyValueInfo.cpp +++ b/llvm/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; |
