Home
last modified time | relevance | path

Searched refs:SymbolVal (Results 1 – 22 of 22) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp130 nonloc::SymbolVal(NewPos->getOffset()), in Find()
131 nonloc::SymbolVal(Pos->getOffset()), in Find()
152 nonloc::SymbolVal(NewPos->getOffset()), in Find()
153 nonloc::SymbolVal(Pos->getOffset()), in Find()
H A DIterator.cpp252 nonloc::SymbolVal(Pos->getOffset()), in advancePosition()
278 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
288 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
301 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc); in compare()
H A DArrayBoundCheckerV2.cpp87 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets()
100 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
105 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
H A DContainerModeling.cpp452 nonloc::SymbolVal(EndSym), in handlePushBack()
481 nonloc::SymbolVal(EndSym), in handlePopBack()
526 nonloc::SymbolVal(BeginSym), in handlePushFront()
563 nonloc::SymbolVal(BeginSym), in handlePopFront()
688 nonloc::SymbolVal(Pos->getOffset()), in handleEraseAfter()
1037 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr), in rebaseSymbol()
1038 nonloc::SymbolVal(OldExpr), in rebaseSymbol()
1045 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym), in rebaseSymbol()
H A DDebugContainerModeling.cpp94 nonloc::SymbolVal(Field)); in analyzerContainerDataField()
H A DDebugIteratorModeling.cpp105 return nonloc::SymbolVal(P->getOffset()); in analyzerIteratorPosition()
H A DIteratorModeling.cpp500 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
801 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DBasicObjCFoundationChecks.cpp930 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
132 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
169 return nonloc::SymbolVal(sym); in conjureSymbolVal()
187 return nonloc::SymbolVal(sym); in conjureSymbolVal()
217 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
236 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
631 return evalCastSubKind(V.castAs<nonloc::SymbolVal>(), CastTy, OriginalTy); in evalCastKind()
[all …]
H A DSVals.cpp45 if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) { in hasConjuredSymbol()
123 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbol()
300 os << castAs<nonloc::SymbolVal>().getSymbol(); in dumpToStream()
H A DSimpleConstraintManager.cpp70 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>(); in assumeAux()
H A DSimpleSValBuilder.cpp150 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
185 SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym), in isInRelation()
295 return nonloc::SymbolVal(ResultSym); in doRearrangeUnchecked()
299 return nonloc::SymbolVal( in doRearrangeUnchecked()
537 SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol(); in evalBinOpNN()
615 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
1212 SVal VisitSymExpr(SymbolRef S) { return nonloc::SymbolVal(S); } in simplifySVal()
1216 SVal VisitNonLocSymbolVal(nonloc::SymbolVal V) { in simplifySVal()
H A DConstraintManager.cpp36 : nonloc::SymbolVal(Sym); in checkNull()
H A DMemRegion.cpp741 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
758 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
788 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
H A DRangeConstraintManager.cpp1952 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
H A DRegionStore.cpp2254 if (V.getAs<nonloc::LazyCompoundVal>() || V.getAs<nonloc::SymbolVal>()) in bindVector()
2349 if (V.getAs<nonloc::SymbolVal>()) in bindStruct()
H A DExprEngine.cpp3057 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h343 class SymbolVal : public NonLoc {
345 SymbolVal() = delete;
346 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) { in SymbolVal() function
H A DSMTConstraintManager.h249 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSValBuilder.h92 SVal evalCastSubKind(nonloc::SymbolVal V, QualType CastTy,
389 return nonloc::SymbolVal(Sym); in makeSymbolVal()
H A DSVals.def67 NONLOC_SVAL(SymbolVal, NonLoc)
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h75 std::string VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()