Searched refs:SymbolVal (Results 1 – 11 of 11) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 33 if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) { in hasConjuredSymbol()
113 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbol()
122 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbolicExpression()
271 os << castAs<nonloc::SymbolVal>().getSymbol(); in dumpToStream()
|
| D | SValBuilder.cpp | 51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
106 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
137 return nonloc::SymbolVal(sym); in conjureSymbolVal()
153 return nonloc::SymbolVal(sym); in conjureSymbolVal()
180 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
196 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
|
| D | SimpleConstraintManager.cpp | 27 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
131 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>(); in assumeAux()
|
| D | ConstraintManager.cpp | 32 : nonloc::SymbolVal(Sym); in checkNull()
|
| D | SimpleSValBuilder.cpp | 152 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR)); in evalCastFromLoc()
155 return nonloc::SymbolVal(SymR->getSymbol()); in evalCastFromLoc()
274 return evalCastFromNonLoc(nonloc::SymbolVal(LHS), resultTy); in MakeSymIntVal()
427 SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol(); in evalBinOpNN()
505 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
|
| D | MemRegion.cpp | 188 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
217 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
221 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
|
| D | RegionStore.cpp | 2023 if (V.getAs<nonloc::LazyCompoundVal>() || V.getAs<nonloc::SymbolVal>()) in bindVector()
2118 if (V.getAs<nonloc::SymbolVal>()) in bindStruct()
|
| D | ExprEngine.cpp | 2337 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 313 class SymbolVal : public NonLoc {
315 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal() function
327 SymbolVal() {} in SymbolVal() function
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSKeychainAPIChecker.cpp | 243 nonloc::SymbolVal(RetSym)); in definitelyReturnedError()
|
| D | BasicObjCFoundationChecks.cpp | 960 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
|