Searched refs:BranchNodeBuilder (Results 1 - 5 of 5) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 40 class BranchNodeBuilder;
|
| H A D | CoreEngine.h | 428 /// BranchNodeBuilder is responsible for constructing the nodes
430 class BranchNodeBuilder: public NodeBuilder { class in namespace:clang::ento
440 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, function in class:clang::ento::BranchNodeBuilder
450 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, function in class:clang::ento::BranchNodeBuilder
|
| H A D | ExplodedGraph.h | 66 friend class BranchNodeBuilder;
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 632 void BranchNodeBuilder::anchor() {}
634 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State,
|
| H A D | ExprEngine.cpp | 1136 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF);
2114 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF);
2135 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
2210 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
|
Completed in 490 milliseconds