Searched refs:DstT (Results 1 – 5 of 5) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 399 const CFGBlock *DstT; variable
409 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
410 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
419 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
420 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
428 return branch ? DstT : DstF; in getTargetBlock()
|
| D | SubEngine.h | 72 const CFGBlock *DstT,
|
| D | ExprEngine.h | 224 const CFGBlock *DstT,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 622 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
|
| D | ExprEngine.cpp | 1256 const CFGBlock *DstT, in processBranch() argument
1262 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
1285 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
|