Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp77 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
117 return nonloc::SymbolVal(operand); in makeNonLoc()
155 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
192 return nonloc::SymbolVal(sym); in conjureSymbolVal()
210 return nonloc::SymbolVal(sym); in conjureSymbolVal()
255 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
274 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
728 return nonloc::SymbolVal( in VisitMemRegionVal()
954 SVal VisitSymbolVal(nonloc::SymbolVal V) { in VisitSymbolVal()
1014 nonloc::SymbolVal simplifySymbolCast(nonloc::SymbolVal V, QualType CastTy) { in simplifySymbolCast()
[all …]
H A DSVals.cpp106 if (std::optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbol()
165 QualType VisitSymbolVal(nonloc::SymbolVal SV) { in VisitSymbolVal()
306 os << castAs<nonloc::SymbolVal>().getSymbol(); in dumpToStream()
H A DSimpleConstraintManager.cpp71 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>(); in assumeAux()
H A DSimpleSValBuilder.cpp192 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
238 SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym), in isInRelation()
347 return nonloc::SymbolVal(ResultSym); in doRearrangeUnchecked()
351 return nonloc::SymbolVal( in doRearrangeUnchecked()
608 SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol(); in evalBinOpNN()
697 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
1414 SVal VisitSymExpr(SymbolRef S) { return nonloc::SymbolVal(S); } in simplifySValOnce()
1418 SVal VisitSymbolVal(nonloc::SymbolVal V) { in simplifySValOnce()
H A DConstraintManager.cpp37 : nonloc::SymbolVal(Sym); in checkNull()
H A DMemRegion.cpp772 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
790 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
858 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
H A DRangeConstraintManager.cpp2084 if (auto NonLocSymSVal = SymSVal.getAs<nonloc::SymbolVal>()) { in handleRemainderOp()
2797 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
H A DRegionStore.cpp2530 if (isa<nonloc::LazyCompoundVal, nonloc::SymbolVal>(V)) in bindVector()
2627 if (isa<nonloc::SymbolVal>(V)) in bindStruct()
H A DExprEngine.cpp3749 std::optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp131 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 DIterator.cpp250 nonloc::SymbolVal(Pos->getOffset()), in advancePosition()
276 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
286 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
299 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc); in compare()
H A DArrayBoundCheckerV2.cpp145 std::optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets()
158 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
163 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
H A DContainerModeling.cpp438 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 DDebugContainerModeling.cpp88 nonloc::SymbolVal(Field)); in analyzerContainerDataField()
H A DDebugIteratorModeling.cpp99 return nonloc::SymbolVal(P->getOffset()); in analyzerIteratorPosition()
H A DIteratorModeling.cpp495 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
794 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
795 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DBasicObjCFoundationChecks.cpp940 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h329 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
332 nonloc::SymbolVal makeNonLoc(const llvm::APSInt &rhs,
336 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
343 nonloc::SymbolVal makeNonLoc(const SymExpr *operand, QualType fromTy,
399 return nonloc::SymbolVal(Sym); in makeSymbolVal()
H A DSVals.h284 class SymbolVal : public NonLoc {
286 SymbolVal() = delete;
287 explicit SymbolVal(SymbolRef Sym) : NonLoc(SymbolValKind, Sym) { in SymbolVal() function
H A DSMTConstraintManager.h250 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSVals.def64 NONLOC_SVAL(SymbolVal, NonLoc)
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h87 std::string VisitSymbolVal(nonloc::SymbolVal V) { in VisitSymbolVal()