| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 45 if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) { in hasConjuredSymbol()
129 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbol()
138 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) in getAsSymbolicExpression()
313 os << castAs<nonloc::SymbolVal>().getSymbol(); in dumpToStream()
|
| H A D | SValBuilder.cpp | 75 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
83 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
90 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
97 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
133 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
170 return nonloc::SymbolVal(sym); in conjureSymbolVal()
188 return nonloc::SymbolVal(sym); in conjureSymbolVal()
218 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
237 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
|
| H A D | SimpleConstraintManager.cpp | 71 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>(); in assumeAux()
|
| H A D | SimpleSValBuilder.cpp | 159 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR)); in evalCastFromLoc()
283 return evalCastFromNonLoc(nonloc::SymbolVal(LHS), resultTy); in MakeSymIntVal()
318 SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym), in isInRelation()
428 return nonloc::SymbolVal(ResultSym); in doRearrangeUnchecked()
432 return nonloc::SymbolVal( in doRearrangeUnchecked()
654 SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol(); in evalBinOpNN()
732 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
1320 SVal VisitSymExpr(SymbolRef S) { return nonloc::SymbolVal(S); } in simplifySVal()
1324 SVal VisitNonLocSymbolVal(nonloc::SymbolVal V) { in simplifySVal()
|
| H A D | ConstraintManager.cpp | 37 : nonloc::SymbolVal(Sym); in checkNull()
|
| H A D | RangeConstraintManager.cpp | 316 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
|
| H A D | MemRegion.cpp | 172 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
201 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
205 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
|
| H A D | RegionStore.cpp | 2238 if (V.getAs<nonloc::LazyCompoundVal>() || V.getAs<nonloc::SymbolVal>()) in bindVector()
2333 if (V.getAs<nonloc::SymbolVal>()) in bindStruct()
|
| H A D | ExprEngine.cpp | 2888 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 85 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets()
98 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
103 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
|
| H A D | IteratorChecker.cpp | 997 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
1007 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
1323 nonloc::SymbolVal(EndSym), in handlePushBack()
1349 nonloc::SymbolVal(EndSym), in handlePopBack()
1392 nonloc::SymbolVal(BeginSym), in handlePushFront()
1427 nonloc::SymbolVal(BeginSym), in handlePopFront()
1534 nonloc::SymbolVal(Pos->getOffset()), in handleEraseAfter()
2116 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Pos1.getOffset()), in relateIteratorPositions()
2117 nonloc::SymbolVal(Pos2.getOffset()), in relateIteratorPositions()
2299 nonloc::SymbolVal(OldExpr), in rebaseSymbol()
[all …]
|
| H A D | BasicObjCFoundationChecks.cpp | 930 nonloc::SymbolVal(*CountS), in assumeCollectionNonEmpty()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 347 class SymbolVal : public NonLoc {
349 SymbolVal() = delete;
350 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) { in SymbolVal() function
|
| H A D | SMTConstraintManager.h | 224 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout()
|
| H A D | SVals.def | 68 NONLOC_SVAL(SymbolVal, NonLoc)
|
| H A D | SValBuilder.h | 376 return nonloc::SymbolVal(Sym); in makeSymbolVal()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 74 std::string VisitNonLocSymbolVal(nonloc::SymbolVal V) { in VisitNonLocSymbolVal()
|