commit 4a4e524afef40d6f3ddb25d0e407c814e4ca56a8
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 20238066a43ae423f20f680cac73d58f06a7745b
parent f5c93c160cb0c7d97d52bf7f26370d9453d99777

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


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

Analysis/ValueState.cpp

diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index b90e265..c552bc9 100644
--- a/Analysis/ValueState.cpp
+++ b/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: {