commit adec14ba228d97114744423fabca6202cc9704ca
author Ted Kremenek <kremenek@apple.com> Fri Feb 08 02:57:34 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Feb 08 02:57:34 2008 +0000
tree d3d24e28b665c1628a4b61846aec2c1cf868a8e8
parent 94075c011f9baf9637140dd2fee560e99a16c239

Renamed InvalidValue to UnknownVal.
Renamed UninitializedValue to UninitializedVal.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46874 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/ValueState.cpp

diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 20112c8..d278619 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -35,15 +35,15 @@
 
 RValue ValueStateManager::GetValue(const StateTy& St, const LValue& LV,
                                    QualType* T) {
-  if (isa<InvalidValue>(LV))
-    return InvalidValue();
+  if (isa<UnknownVal>(LV))
+    return UnknownVal();
   
   switch (LV.getSubKind()) {
     case lval::DeclValKind: {
       StateTy::VariableBindingsTy::TreeTy* T =
         St.getImpl()->VariableBindings.SlimFind(cast<lval::DeclVal>(LV).getDecl());
       
-      return T ? T->getValue().second : InvalidValue();
+      return T ? T->getValue().second : UnknownVal();
     }
      
       // FIXME: We should bind how far a "ContentsOf" will go...
@@ -63,7 +63,7 @@
       break;
   }
   
-  return InvalidValue();
+  return UnknownVal();
 }
 
 ValueStateManager::StateTy
@@ -160,7 +160,7 @@
   }
   else {
     if (hasVal) *hasVal = false;
-    return InvalidValue();
+    return UnknownVal();
   }
 }
 
@@ -185,7 +185,7 @@
                             const RValue& V) {
   
   assert (S);
-  return V.isValid() ? Add(St, VarBindKey(S, isBlkExpr), V) : St;
+  return V.isKnown() ? Add(St, VarBindKey(S, isBlkExpr), V) : St;
 }
 
 ValueStateManager::StateTy
@@ -193,7 +193,7 @@
   
   switch (LV.getSubKind()) {
     case lval::DeclValKind:        
-      return V.isValid() ? Add(St, cast<lval::DeclVal>(LV).getDecl(), V)
+      return V.isKnown() ? Add(St, cast<lval::DeclVal>(LV).getDecl(), V)
                          : Remove(St, cast<lval::DeclVal>(LV).getDecl());
       
     default: