OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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