Home
last modified time | relevance | path

Searched refs:DstT (Results 1 – 5 of 5) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSubEngine.h72 const CFGBlock *DstT,
82 const CFGBlock *DstT,
91 const CFGBlock *DstT,
HDCoreEngine.h400 const CFGBlock *DstT; 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()
HDExprEngine.h227 const CFGBlock *DstT,
236 const CFGBlock *DstT,
245 const CFGBlock *DstT,
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDExprEngine.cpp699 const CFGBlock *DstT, in processCleanupTemporaryBranch() argument
701 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
1524 const CFGBlock *DstT, in processBranch() argument
1534 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
1556 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
1627 const CFGBlock *DstT, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
1635 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
HDCoreEngine.cpp662 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()