diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-28 09:25:22 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-28 09:25:22 +0000 |
| commit | 4a4e524afef40d6f3ddb25d0e407c814e4ca56a8 (patch) | |
| tree | 20238066a43ae423f20f680cac73d58f06a7745b /Analysis/ValueState.cpp | |
| parent | f5c93c160cb0c7d97d52bf7f26370d9453d99777 (diff) | |
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
Diffstat (limited to 'Analysis/ValueState.cpp')
| -rw-r--r-- | Analysis/ValueState.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp index b90e265af2..c552bc9e3b 100644 --- a/Analysis/ValueState.cpp +++ b/Analysis/ValueState.cpp @@ -72,7 +72,7 @@ ValueStateManager::RemoveDeadBindings(ValueState St, Stmt* Loc, 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 @@ ValueStateManager::RemoveDeadBindings(ValueState St, Stmt* Loc, 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 @@ RVal ValueStateManager::GetRVal(ValueState St, const LVal& LV, QualType T) { if (isa<UnknownVal>(LV)) return UnknownVal(); - assert (!isa<UninitializedVal>(LV)); + assert (!isa<UndefinedVal>(LV)); switch (LV.getSubKind()) { case lval::DeclValKind: { |