parent
41bbd51c33
commit
d0a246fd08
|
@ -110,6 +110,8 @@ public:
|
|||
/// getAsSymbolicExpression - If this Sval wraps a symbolic expression then
|
||||
/// return that expression. Otherwise return NULL.
|
||||
const SymExpr *getAsSymbolicExpression() const;
|
||||
|
||||
const MemRegion *getAsRegion() const;
|
||||
|
||||
void print(llvm::raw_ostream& OS) const;
|
||||
void printStdErr() const;
|
||||
|
|
|
@ -114,6 +114,13 @@ const SymExpr *SVal::getAsSymbolicExpression() const {
|
|||
return getAsSymbol();
|
||||
}
|
||||
|
||||
const MemRegion *SVal::getAsRegion() const {
|
||||
if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this))
|
||||
return X->getRegion();
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
bool SVal::symbol_iterator::operator==(const symbol_iterator &X) const {
|
||||
return itr == X.itr;
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue