Searched refs:DstT (Results 1 – 4 of 4) sorted by relevance
| /freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | CoreEngine.h | 435 const CFGBlock *DstT; variable
447 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
448 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
457 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
458 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
466 return branch ? DstT : DstF; in getTargetBlock()
|
| HD | ExprEngine.h | 326 const CFGBlock *DstT,
335 const CFGBlock *DstT,
344 const CFGBlock *DstT,
|
| /freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | ExprEngine.cpp | 1644 const CFGBlock *DstT, in processCleanupTemporaryBranch() argument
1646 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
2758 const CFGBlock *DstT, in processBranch() argument
2768 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
2789 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
2836 const CFGBlock *DstT, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2844 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| HD | CoreEngine.cpp | 658 ProgramPoint Loc = BlockEdge(C.getBlock(), branch ? DstT : DstF, in generateNode()
|