Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ !
H A DSValBuilder.cpp77 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
86 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
89 nonloc::SymbolVal SValBuilder::makeNonLoc(const llvm::APSInt &lhs, in makeNonLoc()
94 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
97 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
102 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
109 return nonloc::SymbolVal(SymMgr.getUnarySymExpr(operand, op, type)); in makeNonLoc()
112 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
117 return nonloc::SymbolVal(operand); in makeNonLoc()
118 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
[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.cpp736 auto SI = ER->getIndex().getAs<nonloc::SymbolVal>(); in getDescriptiveName()
791 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
809 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
877 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
H A DRangeConstraintManager.cpp2084 if (auto NonLocSymSVal = SymSVal.getAs<nonloc::SymbolVal>()) { in handleRemainderOp()
2798 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
H A DRegionStore.cpp2531 if (isa<nonloc::LazyCompoundVal, nonloc::SymbolVal>(V)) in bindVector()
2628 if (isa<nonloc::SymbolVal>(V)) in bindStruct()
H A DExprEngine.cpp3761 std::optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ !
H A DSTLAlgorithmModeling.cpp152 nonloc::SymbolVal(NewPos->getOffset()), in Find()
153 nonloc::SymbolVal(Pos->getOffset()), in Find()
174 nonloc::SymbolVal(NewPos->getOffset()), in Find()
175 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 DContainerModeling.cpp443 nonloc::SymbolVal(EndSym), in handlePushBack()
472 nonloc::SymbolVal(EndSym), in handlePopBack()
517 nonloc::SymbolVal(BeginSym), in handlePushFront()
554 nonloc::SymbolVal(BeginSym), in handlePopFront()
679 nonloc::SymbolVal(Pos->getOffset()), in handleEraseAfter()
1032 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr), in rebaseSymbol()
1033 nonloc::SymbolVal(OldExpr), in rebaseSymbol()
1040 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym), in rebaseSymbol()
H A DArrayBoundCheckerV2.cpp244 std::optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets()
257 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
262 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.cpp496 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
795 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
796 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DBasicObjCFoundationChecks.cpp936 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ !
H A DSValBuilder.h333 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
336 nonloc::SymbolVal makeNonLoc(const llvm::APSInt &rhs,
340 nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
347 nonloc::SymbolVal makeNonLoc(const SymExpr *operand, QualType fromTy,
403 return nonloc::SymbolVal(Sym); in makeSymbolVal()
H A DSVals.h276 class SymbolVal : public NonLoc {
278 SymbolVal() = delete;
279 explicit SymbolVal(SymbolRef Sym) : NonLoc(SymbolValKind, Sym) { in SymbolVal() function
H A DSMTConstraintManager.h253 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSVals.def64 NONLOC_SVAL(SymbolVal, NonLoc)
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ !
H A DSValExplainer.h87 std::string VisitSymbolVal(nonloc::SymbolVal V) { in VisitSymbolVal()