From 66048c2169dd8d7541eae39e5c2aa2a935fc46fa Mon Sep 17 00:00:00 2001
From: Owen Anderson <resistor@mac.com>
Date: Thu, 2 Sep 2010 18:23:58 +0000
Subject: 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
---
 lib/Analysis/LazyValueInfo.cpp | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib/Analysis/LazyValueInfo.cpp')

diff --git a/lib/Analysis/LazyValueInfo.cpp b/lib/Analysis/LazyValueInfo.cpp
index f6f715e4df..ff98bf9771 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;
-- 
cgit v1.2.3-18-g5258