HomeSort by relevance Sort by last modified time
    Searched refs:SValBuilder (Results 26 - 34 of 34) sorted by null

12

  /external/clang/lib/StaticAnalyzer/Checkers/
StreamChecker.cpp 213 SValBuilder &svalBuilder = C.getSValBuilder();
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
BasicObjCFoundationChecks.cpp 580 SValBuilder &svalBuilder = C.getSValBuilder();
582 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
    [all...]
MallocChecker.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngineCXX.cpp 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
246 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy);
399 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
401 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
453 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),
492 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
508 svalBuilder.getRegionManager().getCXXThisRegion(
RangeConstraintManager.cpp 288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB)
RegionStore.cpp 655 SValBuilder &svalBuilder;
686 svalBuilder(StateMgr.getSValBuilder()),
815 SValBuilder &SVB, const ClusterBindings &Cluster,
    [all...]
ExprEngineCallAndReturn.cpp 267 svalBuilder.getCXXThis(CCE->getConstructor()->getParent(), calleeCtx);
566 SValBuilder &SVB = getSValBuilder();
    [all...]
ProgramState.cpp 76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
313 // FIXME: This should probably be part of SValBuilder.
315 SValBuilder &svalBuilder = SM.getSValBuilder();
316 ASTContext &Ctx = svalBuilder.getContext();
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
ExprEngine.cpp 81 svalBuilder(StateMgr.getSValBuilder()),
131 svalBuilder.makeZeroVal(T),
132 svalBuilder.getConditionType());
168 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
469 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
503 SValBuilder &SVB = getSValBuilder();
    [all...]

Completed in 437 milliseconds

12