Searched defs:DstF (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h401 const CFGBlock *DstF; member in class:clang::ento::BranchNodeBuilder
410 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF),
411 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) {
420 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF),
421 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) {
429 return branch ? DstT : DstF;
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp700 const CFGBlock *DstF) {
701 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF);
1520 const CFGBlock *DstF) {
1529 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF);
1551 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
1623 const CFGBlock *DstF) {
1630 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
695 processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, NodeBuilderContext &BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
1515 processBranch(const Stmt *Condition, const Stmt *Term, NodeBuilderContext& BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
1618 processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, clang::ento::ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument

Completed in 75 milliseconds