Lines Matching refs:SVal
10 // This file defines SVal, Loc, and NonLoc, classes that represent
24 // Symbol iteration within an SVal.
32 bool SVal::hasConjuredSymbol() const {
51 const FunctionDecl *SVal::getAsFunctionDecl() const {
62 /// \brief If this SVal is a location (subclasses Loc) and wraps a symbol,
69 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const {
84 /// Get the symbol in the SVal or its base region.
85 SymbolRef SVal::getLocSymbolInBase() const {
105 /// \brief If this SVal wraps a symbol return that SymbolRef.
111 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegion) const {
119 /// getAsSymbolicExpression - If this Sval wraps a symbolic expression then
121 const SymExpr *SVal::getAsSymbolicExpression() const {
128 const SymExpr* SVal::getAsSymExpr() const {
135 const MemRegion *SVal::getAsRegion() const {
174 bool SVal::isConstant() const {
178 bool SVal::isConstant(int I) const {
186 bool SVal::isZeroConstant() const {
195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
239 void SVal::dump() const { dumpToStream(llvm::errs()); }
241 void SVal::dumpToStream(raw_ostream &os) const {