OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SubEng
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp
195
generateNode(StartLoc,
SubEng
.getInitialState(L), 0);
224
SubEng
.processEndWorklist(hasWorkRemaining());
246
SubEng
.processCallEnter(CEnter, Pred);
251
SubEng
.processCallExit(Pred);
301
SubEng
.processEndOfFunction(BuilderCtx, Pred);
311
SubEng
.processCFGBlockEntrance(L, nodeBuilder, Pred);
336
SubEng
.processCFGElement(*E, Pred, 0, &Ctx);
413
SubEng
.processIndirectGoto(builder);
436
SubEng
.processSwitch(builder);
458
SubEng
.processBranch(Cond, Term, Ctx, Pred, Dst
[
all
...]
ProgramState.cpp
74
SubEngine *
SubEng
)
75
: Eng(
SubEng
), EnvMgr(alloc), GDMFactory(alloc),
79
ConstraintMgr.reset((*CreateCMgr)(*this,
SubEng
));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h
60
SubEngine&
SubEng
;
113
:
SubEng
(subengine), G(new ExplodedGraph()),
Completed in 34 milliseconds