Cross Reference: /external/clang/lib/StaticAnalyzer/Core/SVals.cpp

Lines Matching refs:nonloc
32   if (const nonloc::SymbolVal* SV = dyn_cast<nonloc::SymbolVal>(this)) {
67   if (const nonloc::LocAsInteger *X = dyn_cast<nonloc::LocAsInteger>(this))
103   if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this))
112   if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this))
129   if (const nonloc::LocAsInteger *X = dyn_cast<nonloc::LocAsInteger>(this)) {
141 const void *nonloc::LazyCompoundVal::getStore() const {
145 const TypedRegion *nonloc::LazyCompoundVal::getRegion() const {
153 nonloc::CompoundVal::iterator nonloc::CompoundVal::begin() const {
157 nonloc::CompoundVal::iterator nonloc::CompoundVal::end() const {
166   return isa<nonloc::ConcreteInt>(this) || isa<loc::ConcreteInt>(this);
172   else if (isa<nonloc::ConcreteInt>(*this))
173     return cast<nonloc::ConcreteInt>(*this).getValue() == I;
187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
189                                     const nonloc::ConcreteInt& R) const {
194     return nonloc::ConcreteInt(*X);
199 nonloc::ConcreteInt
200 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
204 nonloc::ConcreteInt
205 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
253     case nonloc::ConcreteIntKind: {
254       const nonloc::ConcreteInt& C = *cast<nonloc::ConcreteInt>(this);
263     case nonloc::SymbolValKind: {
264       os << cast<nonloc::SymbolVal>(this)->getSymbol();
267     case nonloc::LocAsIntegerKind: {
268       const nonloc::LocAsInteger& C = *cast<nonloc::LocAsInteger>(this);
272     case nonloc::CompoundValKind: {
273       const nonloc::CompoundVal& C = *cast<nonloc::CompoundVal>(this);
276       for (nonloc::CompoundVal::iterator I=C.begin(), E=C.end(); I!=E; ++I) {
288     case nonloc::LazyCompoundValKind: {
289       const nonloc::LazyCompoundVal &C = *cast<nonloc::LazyCompoundVal>(this);