diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-02-08 02:57:34 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-02-08 02:57:34 +0000 |
commit | 2203118815997a0efcf19217e057bd20e33303e7 (patch) | |
tree | d3d24e28b665c1628a4b61846aec2c1cf868a8e8 /Analysis/ValueState.cpp | |
parent | 8c4e5dbd9833763f2483e6b633662726b47ff63f (diff) |
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
Diffstat (limited to 'Analysis/ValueState.cpp')
-rw-r--r-- | Analysis/ValueState.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp index 20112c8ead..d278619ab5 100644 --- a/Analysis/ValueState.cpp +++ b/Analysis/ValueState.cpp @@ -35,15 +35,15 @@ const llvm::APSInt* ValueState::getSymVal(SymbolID sym) const { 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 @@ RValue ValueStateManager::GetValue(const StateTy& St, const LValue& LV, break; } - return InvalidValue(); + return UnknownVal(); } ValueStateManager::StateTy @@ -160,7 +160,7 @@ RValue ValueStateManager::GetValue(const StateTy& St, Stmt* S, bool* hasVal) { } else { if (hasVal) *hasVal = false; - return InvalidValue(); + return UnknownVal(); } } @@ -185,7 +185,7 @@ ValueStateManager::SetValue(StateTy St, Stmt* S, bool isBlkExpr, 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 @@ ValueStateManager::SetValue(StateTy St, const LValue& LV, const RValue& V) { 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: |