HomeSort by relevance Sort by last modified time
    Searched defs:Eng (Results 1 - 7 of 7) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 24 ExprEngine &Eng;
41 ExprEngine &eng,
45 : Eng(eng),
56 return Eng.getAnalysisManager();
60 return Eng.getConstraintManager();
64 return Eng.getStoreManager();
84 return Eng.getContext();
88 return Eng.getContext().getLangOpts();
96 return Eng.getBugReporter()
    [all...]
ProgramState.h 396 /// Eng - The SubEngine that owns this state manager.
397 SubEngine *Eng; /* Can be null. */
427 : Eng(&subeng),
440 : Eng(0),
485 SubEngine* getOwningEngine() { return Eng; }
CoreEngine.h 191 CoreEngine &Eng;
195 : Eng(E), Block(B), Pred(N) { assert(B); assert(!N->isSink()); }
205 return Eng.WList->getBlockCounter().getNumVisited(
439 CoreEngine& Eng;
447 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
448 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
486 CoreEngine& Eng;
493 const Expr *condition, CoreEngine* eng)
494 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngineCallAndReturn.cpp 408 ExprEngine &Eng;
412 DefaultEval(ExprEngine &eng, const CallExpr *ce)
413 : Eng(eng), CE(ce) {}
419 if (state == 0 && Eng.InlineCall(Dst, CE, Pred))
423 StmtNodeBuilder Bldr(Pred, Dst, *Eng.currentBuilderContext);
439 ResultTy = Eng.getContext().getPointerType(ResultTy);
442 SValBuilder &SVB = Eng.getSValBuilder();
443 unsigned Count = Eng.currentBuilderContext->getCurrentBlockCount();
451 state = Eng.invalidateArguments(state, CallOrObjCMessage(CE, state, LCtx)
    [all...]
CheckerManager.cpp 96 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
140 ExprEngine &Eng;
147 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
148 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
158 CheckerContext C(Bldr, Eng, Pred, L, wasInlined);
169 ExprEngine &Eng,
172 S, Eng, wasInlined);
182 ExprEngine &Eng;
188 const ObjCMessage &msg, ExprEngine &eng)
    [all...]
ProgramState.cpp 176 SubEngine* Eng = Mgr.getOwningEngine();
178 if (Eng && Eng->wantsRegionChangeUpdate(this)) {
184 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporter.h 390 ExprEngine& Eng;
392 GRBugReporter(BugReporterData& d, ExprEngine& eng)
393 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
399 ExprEngine &getEngine() { return Eng; }

Completed in 140 milliseconds