зеркало из https://github.com/microsoft/clang-1.git
Rename SVal::isType functions to SVal::isKind
Post-commit CR feedback from Jordan Rose regarding r175594. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@175676 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
30f2a74f88
Коммит
3bc7b6bef9
|
@ -71,7 +71,7 @@ public:
|
|||
|
||||
template<typename T>
|
||||
T castAs() const {
|
||||
assert(T::isType(*this));
|
||||
assert(T::isKind(*this));
|
||||
T t;
|
||||
SVal& sv = t;
|
||||
sv = *this;
|
||||
|
@ -80,7 +80,7 @@ public:
|
|||
|
||||
template<typename T>
|
||||
llvm::Optional<T> getAs() const {
|
||||
if (!T::isType(*this))
|
||||
if (!T::isKind(*this))
|
||||
return llvm::Optional<T>();
|
||||
T t;
|
||||
SVal& sv = t;
|
||||
|
@ -182,7 +182,7 @@ public:
|
|||
|
||||
private:
|
||||
friend class SVal;
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == UndefinedKind;
|
||||
}
|
||||
};
|
||||
|
@ -204,7 +204,7 @@ protected:
|
|||
|
||||
private:
|
||||
friend class SVal;
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return !V.isUndef();
|
||||
}
|
||||
};
|
||||
|
@ -215,7 +215,7 @@ public:
|
|||
|
||||
private:
|
||||
friend class SVal;
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == UnknownKind;
|
||||
}
|
||||
};
|
||||
|
@ -233,7 +233,7 @@ protected:
|
|||
: DefinedOrUnknownSVal(d, isLoc, ValKind) {}
|
||||
private:
|
||||
friend class SVal;
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return !V.isUnknownOrUndef();
|
||||
}
|
||||
};
|
||||
|
@ -249,7 +249,7 @@ public:
|
|||
|
||||
private:
|
||||
friend class SVal;
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == NonLocKind;
|
||||
}
|
||||
};
|
||||
|
@ -270,7 +270,7 @@ public:
|
|||
|
||||
private:
|
||||
friend class SVal;
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == LocKind;
|
||||
}
|
||||
};
|
||||
|
@ -300,12 +300,12 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
SymbolVal() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == NonLocKind &&
|
||||
V.getSubKind() == SymbolValKind;
|
||||
}
|
||||
|
||||
static bool isType(const NonLoc& V) {
|
||||
static bool isKind(const NonLoc& V) {
|
||||
return V.getSubKind() == SymbolValKind;
|
||||
}
|
||||
};
|
||||
|
@ -330,12 +330,12 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
ConcreteInt() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == NonLocKind &&
|
||||
V.getSubKind() == ConcreteIntKind;
|
||||
}
|
||||
|
||||
static bool isType(const NonLoc& V) {
|
||||
static bool isKind(const NonLoc& V) {
|
||||
return V.getSubKind() == ConcreteIntKind;
|
||||
}
|
||||
};
|
||||
|
@ -372,12 +372,12 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
LocAsInteger() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == NonLocKind &&
|
||||
V.getSubKind() == LocAsIntegerKind;
|
||||
}
|
||||
|
||||
static bool isType(const NonLoc& V) {
|
||||
static bool isKind(const NonLoc& V) {
|
||||
return V.getSubKind() == LocAsIntegerKind;
|
||||
}
|
||||
};
|
||||
|
@ -399,11 +399,11 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
CompoundVal() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == NonLocKind && V.getSubKind() == CompoundValKind;
|
||||
}
|
||||
|
||||
static bool isType(const NonLoc& V) {
|
||||
static bool isKind(const NonLoc& V) {
|
||||
return V.getSubKind() == CompoundValKind;
|
||||
}
|
||||
};
|
||||
|
@ -423,11 +423,11 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
LazyCompoundVal() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == NonLocKind &&
|
||||
V.getSubKind() == LazyCompoundValKind;
|
||||
}
|
||||
static bool isType(const NonLoc& V) {
|
||||
static bool isKind(const NonLoc& V) {
|
||||
return V.getSubKind() == LazyCompoundValKind;
|
||||
}
|
||||
};
|
||||
|
@ -453,11 +453,11 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
GotoLabel() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == LocKind && V.getSubKind() == GotoLabelKind;
|
||||
}
|
||||
|
||||
static bool isType(const Loc& V) {
|
||||
static bool isKind(const Loc& V) {
|
||||
return V.getSubKind() == GotoLabelKind;
|
||||
}
|
||||
};
|
||||
|
@ -491,12 +491,12 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
MemRegionVal() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == LocKind &&
|
||||
V.getSubKind() == MemRegionKind;
|
||||
}
|
||||
|
||||
static bool isType(const Loc& V) {
|
||||
static bool isKind(const Loc& V) {
|
||||
return V.getSubKind() == MemRegionKind;
|
||||
}
|
||||
};
|
||||
|
@ -516,12 +516,12 @@ public:
|
|||
private:
|
||||
friend class SVal;
|
||||
ConcreteInt() {}
|
||||
static bool isType(const SVal& V) {
|
||||
static bool isKind(const SVal& V) {
|
||||
return V.getBaseKind() == LocKind &&
|
||||
V.getSubKind() == ConcreteIntKind;
|
||||
}
|
||||
|
||||
static bool isType(const Loc& V) {
|
||||
static bool isKind(const Loc& V) {
|
||||
return V.getSubKind() == ConcreteIntKind;
|
||||
}
|
||||
};
|
||||
|
|
Загрузка…
Ссылка в новой задаче