Searched refs:DstF (Results 1 - 5 of 5) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SubEngine.h | 73 const CFGBlock *DstF) = 0; 82 const CFGBlock *DstF) = 0;
|
H A D | CoreEngine.h | 406 const CFGBlock *DstF; 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 D | ExprEngine.h | 228 const CFGBlock *DstF) override; 237 const CFGBlock *DstF) override;
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngine.cpp | 1431 const CFGBlock *DstF) { 1438 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); 1460 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); 1532 const CFGBlock *DstF) { 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 D | CoreEngine.cpp | 645 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,
|
Completed in 3981 milliseconds