| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 152 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 D | ContainerModeling.cpp | 443 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 D | ArrayBoundCheckerV2.cpp | 244 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 D | DebugContainerModeling.cpp | 88 nonloc::SymbolVal(Field)); in analyzerContainerDataField()
|
| H A D | DebugIteratorModeling.cpp | 99 return nonloc::SymbolVal(P->getOffset()); in analyzerIteratorPosition()
|
| H A D | SetgidSetuidOrderChecker.cpp | 104 SVB.evalBinOpNN(State, BO_NE, nonloc::SymbolVal(LastSetuidSym), in evalAssume()
|
| H A D | IteratorModeling.cpp | 496 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 D | BasicObjCFoundationChecks.cpp | 936 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 333 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 D | SVals.h | 276 class SymbolVal : public NonLoc {
278 SymbolVal() = delete;
279 explicit SymbolVal(SymbolRef Sym) : NonLoc(SymbolValKind, Sym) { in SymbolVal() function
|
| H A D | SMTConstraintManager.h | 253 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 106 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 D | MemRegion.cpp | 736 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 D | RangeConstraintManager.cpp | 2084 if (auto NonLocSymSVal = SymSVal.getAs<nonloc::SymbolVal>()) { in handleRemainderOp()
2798 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
|
| H A D | RegionStore.cpp | 2531 if (isa<nonloc::LazyCompoundVal, nonloc::SymbolVal>(V)) in bindVector()
2628 if (isa<nonloc::SymbolVal>(V)) in bindStruct()
|
| H A D | ExprEngine.cpp | 3761 std::optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
|