aboutsummaryrefslogtreecommitdiff
path: root/Analysis/ValueState.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-02-08 02:57:34 +0000
committerTed Kremenek <kremenek@apple.com>2008-02-08 02:57:34 +0000
commit2203118815997a0efcf19217e057bd20e33303e7 (patch)
treed3d24e28b665c1628a4b61846aec2c1cf868a8e8 /Analysis/ValueState.cpp
parent8c4e5dbd9833763f2483e6b633662726b47ff63f (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.cpp14
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: