OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:DstF
(Results
1 - 2
of
2
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h
284
const CFGBlock*
DstF
;
297
const CFGBlock*
dstF
, ExplodedNode* pred, CoreEngine* e)
298
: Eng(*e), Src(src), DstT(dstT),
DstF
(
dstF
), Pred(pred),
300
InFeasibleTrue(!DstT), InFeasibleFalse(!
DstF
) {}
315
return branch ? DstT :
DstF
;
/external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp
632
Eng.G->getNode(BlockEdge(Src,branch ? DstT:
DstF
,Pred->getLocationContext()),
Completed in 169 milliseconds