| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 60 friend class NodeBuilder; variable
236 class NodeBuilder {
273 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
279 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
286 virtual ~NodeBuilder() = default;
341 class NodeBuilderWithSinks: public NodeBuilder {
351 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
357 return NodeBuilder::generateNode(LocalLoc, State, Pred);
363 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
378 class StmtNodeBuilder: public NodeBuilder {
[all …]
|
| H A D | ExprEngine.h | 716 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
813 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
818 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
824 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
831 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
| H A D | CheckerContext.h | 33 NodeBuilder &NB;
40 CheckerContext(NodeBuilder &builder,
|
| H A D | ExplodedGraph.h | 71 friend class NodeBuilder; variable
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 137 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()
170 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
217 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
287 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
334 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
382 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
426 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
457 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
483 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
523 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 432 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
562 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction()
608 NodeBuilder B(I, Dst, *currBldrCtx); in evalCall()
723 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
1047 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
1101 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
|
| H A D | CoreEngine.cpp | 231 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge()
603 void NodeBuilder::anchor() {} in anchor()
605 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
|
| H A D | ExprEngineCXX.cpp | 40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
720 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()
736 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()
|
| H A D | ExprEngine.cpp | 805 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit()
845 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer()
895 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
943 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
1003 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1092 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessTemporaryDtor()
2410 NodeBuilder Bldr(Pred, PostCleanup, BC); in processEndOfFunction()
|