| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 78 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
98 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
155 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
192 return nonloc::SymbolVal(sym); in conjureSymbolVal()
210 return nonloc::SymbolVal(sym); in conjureSymbolVal()
247 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
266 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
721 return nonloc::SymbolVal( in VisitLocMemRegionVal()
947 SVal VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()
1002 nonloc::SymbolVal simplifySymbolCast(nonloc::SymbolVal V, QualType CastTy) { in simplifySymbolCast()
[all …]
|
| H A D | SVals.cpp | 106 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbol()
171 QualType VisitNonLocSymbolVal(nonloc::SymbolVal SV) { in VisitNonLocSymbolVal()
306 os << castAs<nonloc::SymbolVal>().getSymbol(); in dumpToStream()
|
| H A D | SimpleConstraintManager.cpp | 70 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>(); in assumeAux()
|
| H A D | SimpleSValBuilder.cpp | 177 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
223 SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym), in isInRelation()
332 return nonloc::SymbolVal(ResultSym); in doRearrangeUnchecked()
336 return nonloc::SymbolVal( in doRearrangeUnchecked()
580 SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol(); in evalBinOpNN()
669 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
1355 SVal VisitSymExpr(SymbolRef S) { return nonloc::SymbolVal(S); } in simplifySValOnce()
1359 SVal VisitNonLocSymbolVal(nonloc::SymbolVal V) { in simplifySValOnce()
|
| H A D | ConstraintManager.cpp | 37 : nonloc::SymbolVal(Sym); in checkNull()
|
| H A D | MemRegion.cpp | 744 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
761 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
820 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
|
| H A D | RangeConstraintManager.cpp | 2016 if (auto NonLocSymSVal = SymSVal.getAs<nonloc::SymbolVal>()) { in handleRemainderOp()
2720 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
|
| H A D | RegionStore.cpp | 2543 if (isa<nonloc::LazyCompoundVal, nonloc::SymbolVal>(V)) in bindVector()
2635 if (isa<nonloc::SymbolVal>(V)) in bindStruct()
|
| H A D | ExprEngine.cpp | 3398 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 131 nonloc::SymbolVal(NewPos->getOffset()), in Find()
132 nonloc::SymbolVal(Pos->getOffset()), in Find()
153 nonloc::SymbolVal(NewPos->getOffset()), in Find()
154 nonloc::SymbolVal(Pos->getOffset()), in Find()
|
| H A D | Iterator.cpp | 252 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 D | ArrayBoundCheckerV2.cpp | 87 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 D | ContainerModeling.cpp | 438 nonloc::SymbolVal(EndSym), in handlePushBack()
467 nonloc::SymbolVal(EndSym), in handlePopBack()
512 nonloc::SymbolVal(BeginSym), in handlePushFront()
549 nonloc::SymbolVal(BeginSym), in handlePopFront()
674 nonloc::SymbolVal(Pos->getOffset()), in handleEraseAfter()
1023 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr), in rebaseSymbol()
1024 nonloc::SymbolVal(OldExpr), in rebaseSymbol()
1031 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym), in rebaseSymbol()
|
| H A D | DebugContainerModeling.cpp | 95 nonloc::SymbolVal(Field)); in analyzerContainerDataField()
|
| H A D | DebugIteratorModeling.cpp | 106 return nonloc::SymbolVal(P->getOffset()); in analyzerIteratorPosition()
|
| H A D | IteratorModeling.cpp | 499 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
799 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
800 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 928 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 312 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
315 nonloc::SymbolVal makeNonLoc(const llvm::APSInt &rhs,
319 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
326 nonloc::SymbolVal makeNonLoc(const SymExpr *operand, QualType fromTy,
382 return nonloc::SymbolVal(Sym); in makeSymbolVal()
|
| H A D | SVals.h | 305 class SymbolVal : public NonLoc {
307 SymbolVal() = delete;
308 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) { in SymbolVal() function
|
| H A D | SMTConstraintManager.h | 249 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | SVals.def | 67 NONLOC_SVAL(SymbolVal, NonLoc)
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 75 std::string VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()
|