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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h72 const CFGBlock *DstT,
81 const CFGBlock *DstT,
H A DCoreEngine.h405 const CFGBlock *DstT; member in class:clang::ento::BranchNodeBuilder
415 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF),
416 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) {
425 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF),
426 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) {
434 return branch ? DstT : DstF;
H A DExprEngine.h227 const CFGBlock *DstT,
236 const CFGBlock *DstT,
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1430 const CFGBlock *DstT,
1438 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF);
1460 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
1531 const CFGBlock *DstT,
1539 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
1426 processBranch(const Stmt *Condition, const Stmt *Term, NodeBuilderContext& BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
1527 processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, clang::ento::ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
H A DCoreEngine.cpp645 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,

Completed in 227 milliseconds