| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ContainerModeling.cpp | 334 auto &SymMgr = C.getSymbolManager(); in handleAssignment() local
338 SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleAssignment()
447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
454 SymMgr.getType(EndSym)).getAsSymbol(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
483 SymMgr.getType(EndSym)).getAsSymbol(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
[all …]
|
| D | Iterator.cpp | 215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition() local
218 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
231 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition() local
253 IntDist, SymMgr.getType(Pos->getOffset())) in advancePosition()
|
| D | IteratorModeling.cpp | 473 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
474 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleComparison()
498 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
500 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RangedConstraintManager.cpp | 56 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
57 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
69 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
|
| D | SValBuilder.cpp | 74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
127 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
212 SymMgr.getMetadataSymbol(region, expr, type, LCtx, count, symbolTag); in getMetadataSymbolVal()
231 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()
|
| D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet() argument
69 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in populateObjCForDestinationSet()
135 SymMgr, currBldrCtx, Bldr, in VisitObjCForCollectionStmt()
139 SymMgr, currBldrCtx, Bldr, in VisitObjCForCollectionStmt()
|
| D | SimpleSValBuilder.cpp | 158 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR)); in evalCastFromLoc()
377 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked() local
409 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
413 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
418 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
432 SymMgr.getSymIntExpr(ResultSym, ResultOp, PersistentResultInt, ResultTy)); in doRearrangeUnchecked()
|
| D | MemRegion.cpp | 742 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize() local
747 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
764 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
794 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
|
| D | RangeConstraintManager.cpp | 961 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForNegatedSub() local
963 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), T); in getRangeForNegatedSub()
1000 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol() local
1010 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1018 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()
|
| D | SymbolManager.cpp | 373 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) { in markDependentsLive()
|
| D | ExprEngine.cpp | 213 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
717 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
104 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
160 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
189 SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag); in getMetadataSymbolVal()
208 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()
|
| D | SimpleConstraintManager.cpp | 158 SymbolManager &SymMgr = getSymbolManager(); in assumeAux() local
165 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeAux()
166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, in assumeAux()
|
| D | ExprEngineObjC.cpp | 115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in VisitObjCForCollectionStmt()
|
| D | SymbolManager.cpp | 376 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) { in markDependentsLive()
|
| D | SimpleSValBuilder.cpp | 152 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR)); in evalCastFromLoc()
|
| D | ExprEngine.cpp | 82 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
371 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 41 SymbolManager SymMgr; variable
66 SymMgr(context, BasicVals, alloc), in SValBuilder()
142 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
143 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
155 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
162 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
|
| D | ExprEngine.h | 72 SymbolManager& SymMgr; variable
319 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager()
320 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
| D | SymbolManager.h | 493 SymbolManager& SymMgr; variable
507 : LCtx(Ctx), Loc(s), SymMgr(symmgr), in SymbolReaper()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 62 SymbolManager SymMgr; variable
87 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder()
171 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
172 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
184 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
191 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
|
| D | SymbolManager.h | 522 SymbolManager& SymMgr; variable
536 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {} in SymbolReaper()
|
| D | ExprEngine.h | 156 SymbolManager &SymMgr; variable
428 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
|