commit 93d1fed5ff725eff7bf226e0754550f68851083e
author Ted Kremenek <kremenek@apple.com> Thu Feb 28 09:25:22 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Feb 28 09:25:22 2008 +0000
tree c9b071469a73a0ca140e12dcd19a6064da0e98a3
parent f77e6977a05c8074ec3fbd918bbbcec8e5dd1b55

Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.

llvm-svn: 47713

clang/Analysis/ValueState.cpp

diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index b90e265..c552bc9 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/Analysis/ValueState.cpp
@@ -72,7 +72,7 @@
     else {
       RVal X = I.getData();
       
-      if (X.isUninit() && cast<UninitializedVal>(X).getData())
+      if (X.isUndef() && cast<UndefinedVal>(X).getData())
         continue;
       
       NewSt.BlockExprBindings = Remove(NewSt, BlkExpr);
@@ -109,7 +109,7 @@
       
       RVal X = GetRVal(St, lval::DeclVal(cast<VarDecl>(V)));      
       
-      if (X.isUnknownOrUninit())
+      if (X.isUnknownOrUndef())
         continue;
       
       LVal LV = cast<LVal>(X);
@@ -150,7 +150,7 @@
   if (isa<UnknownVal>(LV))
     return UnknownVal();
   
-  assert (!isa<UninitializedVal>(LV));
+  assert (!isa<UndefinedVal>(LV));
   
   switch (LV.getSubKind()) {
     case lval::DeclValKind: {