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

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h80 const CFGBlock *DstF) = 0;
90 const CFGBlock *DstF) = 0;
99 const CFGBlock *DstF) = 0;
H A DCoreEngine.h432 const CFGBlock *DstF; member in class:clang::ento::BranchNodeBuilder
443 : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF),
444 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) {
453 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF),
454 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) {
462 return branch ? DstT : DstF;
H A DExprEngine.h308 const CFGBlock *DstF) override;
317 const CFGBlock *DstF) override;
326 const CFGBlock *DstF) override;
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1135 const CFGBlock *DstF) {
1136 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF);
2105 const CFGBlock *DstF) {
2114 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF);
2135 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
2203 const CFGBlock *DstF) {
2210 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
1130 processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, NodeBuilderContext &BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
2100 processBranch(const Stmt *Condition, NodeBuilderContext& BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
2198 processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
H A DCoreEngine.cpp641 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,

Completed in 85 milliseconds