Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp77 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
82 return nonloc::SymbolVal(SymMgr.acquire<SymIntExpr>(lhs, op, rhs, type)); in makeNonLoc()
85 nonloc::SymbolVal SValBuilder::makeNonLoc(APSIntPtr lhs, in makeNonLoc()
90 return nonloc::SymbolVal(SymMgr.acquire<IntSymExpr>(lhs, op, rhs, type)); in makeNonLoc()
93 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
98 return nonloc::SymbolVal(SymMgr.acquire<SymSymExpr>(lhs, op, rhs, type)); in makeNonLoc()
105 return nonloc::SymbolVal(SymMgr.acquire<UnarySymExpr>(operand, op, type)); in makeNonLoc()
108 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
113 return nonloc::SymbolVal(operand); in makeNonLoc()
114 return nonloc::SymbolVal(SymMgr.acquire<SymbolCast>(operand, fromTy, toTy)); in makeNonLoc()
[all …]
H A DSVals.cpp105 if (std::optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbol()
164 QualType VisitSymbolVal(nonloc::SymbolVal SV) { in VisitSymbolVal()
322 os << castAs<nonloc::SymbolVal>().getSymbol(); in dumpToStream()
H A DSimpleConstraintManager.cpp70 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>(); in assumeAux()
H A DSimpleSValBuilder.cpp192 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
238 SVal Result = SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym), in isInRelation()
349 return nonloc::SymbolVal(ResultSym); in doRearrangeUnchecked()
353 return nonloc::SymbolVal(SymMgr.acquire<SymIntExpr>( in doRearrangeUnchecked()
610 SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol(); in evalBinOpNN()
699 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
1417 SVal VisitSymExpr(SymbolRef S) { return nonloc::SymbolVal(S); } in simplifySValOnce()
1421 SVal VisitSymbolVal(nonloc::SymbolVal V) { in simplifySValOnce()
H A DMemRegion.cpp752 auto SI = ER->getIndex().getAs<nonloc::SymbolVal>(); in getDescriptiveName()
815 return nonloc::SymbolVal(SymMgr.acquire<SymbolExtent>(SR)); in getStaticSize()
833 return nonloc::SymbolVal(SymMgr.acquire<SymbolExtent>(SR)); in getStaticSize()
900 return nonloc::SymbolVal(SymMgr.acquire<SymbolExtent>(SR)); in getStaticSize()
H A DRangeConstraintManager.cpp2099 if (auto NonLocSymSVal = SymSVal.getAs<nonloc::SymbolVal>()) { in handleRemainderOp()
2813 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
H A DRegionStore.cpp2714 if (isa<nonloc::LazyCompoundVal, nonloc::SymbolVal>(V)) in bindVector()
2859 if (isa<nonloc::SymbolVal>(V)) in bindStruct()
H A DExprEngine.cpp3890 std::optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp155 nonloc::SymbolVal(NewPos->getOffset()), in Find()
156 nonloc::SymbolVal(Pos->getOffset()), in Find()
177 nonloc::SymbolVal(NewPos->getOffset()), in Find()
178 nonloc::SymbolVal(Pos->getOffset()), in Find()
H A DIterator.cpp251 nonloc::SymbolVal(Pos->getOffset()), in advancePosition()
277 State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
287 State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
300 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc); in compare()
H A DContainerModeling.cpp447 nonloc::SymbolVal(EndSym), in handlePushBack()
476 nonloc::SymbolVal(EndSym), in handlePopBack()
521 nonloc::SymbolVal(BeginSym), in handlePushFront()
558 nonloc::SymbolVal(BeginSym), in handlePopFront()
683 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 DArrayBoundChecker.cpp261 std::optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets()
273 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
277 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
H A DDebugContainerModeling.cpp88 nonloc::SymbolVal(Field)); in analyzerContainerDataField()
H A DDebugIteratorModeling.cpp99 return nonloc::SymbolVal(P->getOffset()); in analyzerIteratorPosition()
H A DSetgidSetuidOrderChecker.cpp104 SVB.evalBinOpNN(State, BO_NE, nonloc::SymbolVal(LastSetuidSym), in evalAssume()
H A DIteratorModeling.cpp500 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
802 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
803 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DBasicObjCFoundationChecks.cpp935 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h320 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
323 nonloc::SymbolVal makeNonLoc(APSIntPtr rhs, BinaryOperator::Opcode op,
326 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
333 nonloc::SymbolVal makeNonLoc(const SymExpr *operand, QualType fromTy,
389 return nonloc::SymbolVal(Sym); in makeSymbolVal()
H A DSVals.h279 class SymbolVal : public NonLoc {
281 SymbolVal() = delete;
282 explicit SymbolVal(SymbolRef Sym) : NonLoc(SymbolValKind, Sym) { in SymbolVal() function
H A DSMTConstraintManager.h256 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h97 std::string VisitSymbolVal(nonloc::SymbolVal V) { in VisitSymbolVal()