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/RValues.cpp

diff --git a/Analysis/RValues.cpp b/Analysis/RValues.cpp
index 387a30c..9813dcb 100644
--- a/Analysis/RValues.cpp
+++ b/Analysis/RValues.cpp
@@ -149,11 +149,11 @@
                                   BinaryOperator::Opcode Op,
                                   const NonLValue& RHS) const {
   
-  if (isa<InvalidValue>(this) || isa<InvalidValue>(RHS))
-    return cast<NonLValue>(InvalidValue());
+  if (isa<UnknownVal>(this) || isa<UnknownVal>(RHS))
+    return cast<NonLValue>(UnknownVal());
   
-  if (isa<UninitializedValue>(this) || isa<UninitializedValue>(RHS))
-    return cast<NonLValue>(UninitializedValue());
+  if (isa<UninitializedVal>(this) || isa<UninitializedVal>(RHS))
+    return cast<NonLValue>(UninitializedVal());
   
   switch (getSubKind()) {
     default:
@@ -166,8 +166,8 @@
         return self.EvalBinaryOp(ValMgr, Op,
                                        cast<nonlval::ConcreteInt>(RHS));
       }
-      else if(isa<InvalidValue>(RHS))
-        return cast<NonLValue>(InvalidValue());
+      else if(isa<UnknownVal>(RHS))
+        return cast<NonLValue>(UnknownVal());
       else
         return RHS.EvalBinaryOp(ValMgr, Op, *this);
       
@@ -263,7 +263,7 @@
     case nonlval::ConcreteIntKind:
       return cast<nonlval::ConcreteInt>(this)->EvalComplement(ValMgr);
     default:
-      return cast<NonLValue>(InvalidValue());
+      return cast<NonLValue>(UnknownVal());
   }
 }
 
@@ -276,7 +276,7 @@
 
 RValue NonLValue::EvalCast(ValueManager& ValMgr, Expr* CastExpr) const {
   if (!isa<nonlval::ConcreteInt>(this))
-    return InvalidValue();
+    return UnknownVal();
   
   APSInt V = cast<nonlval::ConcreteInt>(this)->getValue();
   QualType T = CastExpr->getType();
@@ -296,7 +296,7 @@
     case nonlval::ConcreteIntKind:
       return cast<nonlval::ConcreteInt>(this)->EvalMinus(ValMgr, U);
     default:
-      return cast<NonLValue>(InvalidValue());
+      return cast<NonLValue>(UnknownVal());
   }
 }
 
@@ -345,7 +345,7 @@
   switch (getSubKind()) {
     default:
       assert(false && "EQ not implemented for this LValue.");
-      return cast<NonLValue>(InvalidValue());
+      return cast<NonLValue>(UnknownVal());
       
     case lval::ConcreteIntKind:
       if (isa<lval::ConcreteInt>(RHS)) {
@@ -398,7 +398,7 @@
   switch (getSubKind()) {
     default:
       assert(false && "NE not implemented for this LValue.");
-      return cast<NonLValue>(InvalidValue());
+      return cast<NonLValue>(UnknownVal());
       
     case lval::ConcreteIntKind:
       if (isa<lval::ConcreteInt>(RHS)) {
@@ -456,7 +456,7 @@
   assert (CastExpr->getType()->isIntegerType());
   
   if (!isa<lval::ConcreteInt>(*this))
-    return InvalidValue();
+    return UnknownVal();
   
   APSInt V = cast<lval::ConcreteInt>(this)->getValue();
   QualType T = CastExpr->getType();