HomeSort by: relevance | last modified time | path
    Searched refs:SymMgr (Results 1 - 14 of 14) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RangedConstraintManager.cpp 56 SymbolManager &SymMgr = getSymbolManager();
57 QualType DiffTy = SymMgr.getContext().getPointerDiffType();
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy);
69 SymbolManager &SymMgr = getSymbolManager();
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType);
ExprEngineObjC.cpp 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx,
69 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
135 SymMgr, currBldrCtx, Bldr,
139 SymMgr, currBldrCtx, Bldr,
SValBuilder.cpp 74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy));
127 SymbolRef sym = SymMgr.getRegionValueSymbol(region);
164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
212 SymMgr.getMetadataSymbol(region, expr, type, LCtx, count, symbolTag);
231 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region)
    [all...]
SimpleSValBuilder.cpp 245 SymbolManager &SymMgr = SVB.getSymbolManager();
277 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy);
281 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy);
286 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy);
300 SymMgr.getSymIntExpr(ResultSym, ResultOp, PersistentResultInt, ResultTy));
MemRegion.cpp 736 SymbolManager &SymMgr = SVB.getSymbolManager();
741 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR));
758 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR));
788 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR));
RangeConstraintManager.cpp 1081 SymbolManager &SymMgr = State->getSymbolManager();
1083 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), T);
1120 SymbolManager &SymMgr = State->getSymbolManager();
1130 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T);
1138 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T);
SymbolManager.cpp 373 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) {
ExprEngine.cpp 213 SymMgr(StateMgr.getSymbolManager()),
717 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ContainerModeling.cpp 334 auto &SymMgr = C.getSymbolManager();
338 SymMgr.conjureSymbol(CE, C.getLocationContext(),
447 auto &SymMgr = C.getSymbolManager();
448 auto &BVF = SymMgr.getBasicVals();
454 SymMgr.getType(EndSym)).getAsSymbol();
476 auto &SymMgr = C.getSymbolManager();
477 auto &BVF = SymMgr.getBasicVals();
483 SymMgr.getType(EndSym)).getAsSymbol();
521 auto &SymMgr = C.getSymbolManager();
522 auto &BVF = SymMgr.getBasicVals()
    [all...]
Iterator.cpp 215 auto &SymMgr = StateMgr.getSymbolManager();
218 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount);
231 auto &SymMgr = State->getStateManager().getSymbolManager();
253 IntDist, SymMgr.getType(Pos->getOffset()))
IteratorModeling.cpp 473 auto &SymMgr = C.getSymbolManager();
474 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(),
498 auto &SymMgr = C.getSymbolManager();
500 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 62 SymbolManager SymMgr;
101 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc),
185 SymbolManager &getSymbolManager() { return SymMgr; }
186 const SymbolManager &getSymbolManager() const { return SymMgr; }
198 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
205 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
SymbolManager.h 522 SymbolManager& SymMgr;
535 SymbolManager &symmgr, StoreManager &storeMgr)
536 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {}
ExprEngine.h 155 /// SymMgr - Object that manages the symbol information.
156 SymbolManager &SymMgr;
428 SymbolManager &getSymbolManager() { return SymMgr; }

Completed in 84 milliseconds