Searched refs:SymbolVal (Results 1 – 13 of 13) 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()
109 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
146 return nonloc::SymbolVal(sym); in conjureSymbolVal()
165 return nonloc::SymbolVal(sym); in conjureSymbolVal()
194 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
213 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 | 184 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
213 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
217 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
|
| D | RegionStore.cpp | 2119 if (V.getAs<nonloc::LazyCompoundVal>() || V.getAs<nonloc::SymbolVal>()) in bindVector()
2214 if (V.getAs<nonloc::SymbolVal>()) in bindStruct()
|
| D | ExprEngine.cpp | 2451 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 315 class SymbolVal : public NonLoc {
317 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal() function
329 SymbolVal() {} in SymbolVal() function
|
| D | SVals.def | 68 NONLOC_SVAL(SymbolVal, NonLoc)
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 74 std::string VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSKeychainAPIChecker.cpp | 237 nonloc::SymbolVal(RetSym)); in definitelyReturnedError()
|
| D | BasicObjCFoundationChecks.cpp | 958 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
|