Searched refs:DstT (Results 1 – 5 of 5) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 438 const CFGBlock *DstT; variable
450 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
451 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
460 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
461 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
469 return branch ? DstT : DstF; in getTargetBlock()
|
| H A D | ExprEngine.h | 333 const CFGBlock *DstT,
342 const CFGBlock *DstT,
351 const CFGBlock *DstT,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 1303 const CFGBlock *DstT, in processCleanupTemporaryBranch() argument
1305 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
2404 const CFGBlock *DstT, in processBranch() argument
2414 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
2435 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()
2482 const CFGBlock *DstT, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2490 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | CoreEngine.cpp | 671 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
|
| /llvm-project-15.0.7/llvm/unittests/Analysis/Inputs/ir2native_x86_64_model/ |
| H A D | saved_model.pbtxt | 4468 key: "DstT"
4926 key: "DstT"
5452 key: "DstT"
5910 key: "DstT"
7903 key: "DstT"
|