maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Added skeleton for new LValue class ConcereteIntLValue. 

llvm-svn: 46624
This commit is contained in:
Ted Kremenek 2008-01-31 22:17:03 +00:00
parent 27b32b87ed
commit 2820b9c893
1 changed files with 83 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

127
clang/Analysis/RValues.h
View File

@ -217,7 +217,8 @@ public:
class LValue : public RValue {
protected:
LValue(unsigned SubKind, void* D) : RValue(D, true, SubKind) {}
LValue(unsigned SubKind, const void* D) : RValue(const_cast<void*>(D),
true, SubKind) {}
public:
void print(std::ostream& Out) const;
@ -231,49 +232,6 @@ public:
return V->getBaseKind() == LValueKind;
}
};
//==------------------------------------------------------------------------==//
// Subclasses of LValue.
//==------------------------------------------------------------------------==//
enum LValueKind { SymbolicLValueKind, LValueDeclKind, NumLValueKind };
class SymbolicLValue : public LValue {
public:
SymbolicLValue(unsigned SymID)
: LValue(SymbolicLValueKind, reinterpret_cast<void*>((uintptr_t) SymID)) {}
SymbolID getSymbolID() const {
return (SymbolID) reinterpret_cast<uintptr_t>(getRawPtr());
}
static inline bool classof(const RValue* V) {
return V->getSubKind() == SymbolicLValueKind;
}
};
class LValueDecl : public LValue {
public:
LValueDecl(const ValueDecl* vd)
: LValue(LValueDeclKind,const_cast<ValueDecl*>(vd)) {}
ValueDecl* getDecl() const {
return static_cast<ValueDecl*>(getRawPtr());
}
inline bool operator==(const LValueDecl& R) const {
return getDecl() == R.getDecl();
}
inline bool operator!=(const LValueDecl& R) const {
return getDecl() != R.getDecl();
}
// Implement isa<T> support.
static inline bool classof(const RValue* V) {
return V->getSubKind() == LValueDeclKind;
}
};
//==------------------------------------------------------------------------==//
// Subclasses of NonLValue.
@ -363,6 +321,87 @@ public:
return V->getSubKind() == ConcreteIntKind;
}
};
//==------------------------------------------------------------------------==//
// Subclasses of LValue.
//==------------------------------------------------------------------------==//
enum LValueKind { SymbolicLValueKind, LValueDeclKind,
ConcreteIntLValueKind, NumLValueKind };
class SymbolicLValue : public LValue {
public:
SymbolicLValue(unsigned SymID)
: LValue(SymbolicLValueKind, reinterpret_cast<void*>((uintptr_t) SymID)) {}
SymbolID getSymbolID() const {
return (SymbolID) reinterpret_cast<uintptr_t>(getRawPtr());
}
static inline bool classof(const RValue* V) {
return V->getSubKind() == SymbolicLValueKind;
}
};
class LValueDecl : public LValue {
public:
LValueDecl(const ValueDecl* vd) : LValue(LValueDeclKind,vd) {}
ValueDecl* getDecl() const {
return static_cast<ValueDecl*>(getRawPtr());
}
inline bool operator==(const LValueDecl& R) const {
return getDecl() == R.getDecl();
}
inline bool operator!=(const LValueDecl& R) const {
return getDecl() != R.getDecl();
}
// Implement isa<T> support.
static inline bool classof(const RValue* V) {
return V->getSubKind() == LValueDeclKind;
}
};
class ConcreteIntLValue : public LValue {
public:
ConcreteIntLValue(const llvm::APSInt& V) : LValue(ConcreteIntLValueKind, &V) {}
const llvm::APSInt& getValue() const {
return *static_cast<llvm::APSInt*>(getRawPtr());
}
// Arithmetic operators.
ConcreteIntLValue Add(ValueManager& ValMgr, const ConcreteInt& V) const {
return ValMgr.getValue(getValue() + V.getValue());
}
ConcreteIntLValue Sub(ValueManager& ValMgr, const ConcreteInt& V) const {
return ValMgr.getValue(getValue() - V.getValue());
}
// Equality operators.
ConcreteInt EQ(ValueManager& ValMgr, const ConcreteIntLValue& V) const {
const llvm::APSInt& Val = getValue();
return ValMgr.getValue(Val == V.getValue() ? 1U : 0U,
Val.getBitWidth(), Val.isUnsigned());
}
ConcreteInt NE(ValueManager& ValMgr, const ConcreteIntLValue& V) const {
const llvm::APSInt& Val = getValue();
return ValMgr.getValue(Val != V.getValue() ? 1U : 0U,
Val.getBitWidth(), Val.isUnsigned());
}
// Implement isa<T> support.
static inline bool classof(const RValue* V) {
return V->getSubKind() == ConcreteIntLValueKind;
}
};
} // end clang namespace