Lines Matching refs:SVal
10 // This file defines SVal, Loc, and NonLoc, classes that represent
23 // Symbol iteration within an SVal.
31 bool SVal::hasConjuredSymbol() const {
50 const FunctionDecl *SVal::getAsFunctionDecl() const {
60 /// \brief If this SVal is a location (subclasses Loc) and wraps a symbol,
65 SymbolRef SVal::getAsLocSymbol() const {
78 /// Get the symbol in the SVal or its base region.
79 SymbolRef SVal::getLocSymbolInBase() const {
99 /// \brief If this SVal wraps a symbol return that SymbolRef.
101 SymbolRef SVal::getAsSymbol() const {
109 /// getAsSymbolicExpression - If this Sval wraps a symbolic expression then
111 const SymExpr *SVal::getAsSymbolicExpression() const {
118 const SymExpr* SVal::getAsSymExpr() const {
125 const MemRegion *SVal::getAsRegion() const {
165 bool SVal::isConstant() const {
169 bool SVal::isConstant(int I) const {
178 bool SVal::isZeroConstant() const {
187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
213 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
232 void SVal::dump() const { dumpToStream(llvm::errs()); }
234 void SVal::dumpToStream(raw_ostream &os) const {
