Searched refs:SymMgr (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 50 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
58 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()
101 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
127 SymbolRef sym = SymMgr.getConjuredSymbol(expr, LCtx, type, count, symbolTag); in getConjuredSymbolVal()
144 SymbolRef sym = SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount); in getConjuredSymbolVal()
159 SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag); in getMetadataSymbolVal()
175 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()
|
| D | SimpleConstraintManager.cpp | 162 SymbolManager &SymMgr = state->getSymbolManager(); in assumeAux() local
187 QualType T = SymMgr.getType(SE); in assumeAux()
|
| D | ExprEngineObjC.cpp | 116 SymbolRef Sym = SymMgr.getConjuredSymbol(elem, LCtx, T, Count); in VisitObjCForCollectionStmt()
|
| D | SymbolManager.cpp | 396 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) { in markDependentsLive()
|
| D | ExprEngine.cpp | 79 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
280 SymbolReaper SymReaper(LC, currentStmt, SymMgr, getStoreManager()); in ProcessStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 40 SymbolManager SymMgr; variable
65 SymMgr(context, BasicVals, alloc), in SValBuilder()
139 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
140 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
152 return SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount, symbolTag);
159 return SymMgr.getConjuredSymbol(expr, LCtx, visitCount, symbolTag);
|
| D | ExprEngine.h | 61 SymbolManager& SymMgr; variable
246 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager()
247 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager()
|
| D | SymbolManager.h | 574 SymbolManager& SymMgr; variable
581 : LCtx(ctx), Loc(s), SymMgr(symmgr), reapedStore(0, storeMgr) {} in SymbolReaper()
|