Searched refs:DstF (Results 1 – 5 of 5) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 73 const CFGBlock *DstF) = 0;
83 const CFGBlock *DstF) = 0;
92 const CFGBlock *DstF) = 0;
|
| D | CoreEngine.h | 401 const CFGBlock *DstF; variable
410 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
411 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
420 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
421 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
429 return branch ? DstT : DstF; in getTargetBlock()
|
| D | ExprEngine.h | 228 const CFGBlock *DstF) override;
237 const CFGBlock *DstF) override;
246 const CFGBlock *DstF) override;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 705 const CFGBlock *DstF) { in processCleanupTemporaryBranch() argument
706 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
1567 const CFGBlock *DstF) { in processBranch() argument
1576 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
1597 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
1669 const CFGBlock *DstF) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
1676 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| D | CoreEngine.cpp | 662 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
|