Home
last modified time | relevance | path

Searched refs:generateNode (Results 1 – 8 of 8) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDExprEngineC.cpp95 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
100 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
219 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
287 Bldr.generateNode(CastE, Pred, state); in VisitCast()
327 Bldr.generateNode(CastE, Pred, state); in VisitCast()
336 Bldr.generateNode(CastE, Pred, state); in VisitCast()
378 Bldr.generateNode(CastE, Pred, state); in VisitCast()
385 Bldr.generateNode(CastE, Pred, state); in VisitCast()
403 Bldr.generateNode(CastE, Pred, state); in VisitCast()
440 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V)); in VisitCompoundLiteralExpr()
[all …]
HDExprEngine.cpp386 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K); in removeDead()
418 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
531 Bldr.generateNode(PP, N->getState(), N); in ProcessInitializer()
579 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
622 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
681 StmtBldr.generateNode(D.getBindTemporaryExpr(), Pred, State); in ProcessTemporaryDtor()
705 TempDtorBuilder.generateNode(Pred->getState(), true, Pred); in processCleanupTemporaryBranch()
708 TempDtorBuilder.generateNode(Pred->getState(), false, Pred); in processCleanupTemporaryBranch()
734 StmtBldr.generateNode(BTE, Node, State); in VisitCXXBindTemporaryExpr()
838 Bldr.generateNode(S, Pred, state); in Visit()
[all …]
HDExprEngineObjC.cpp32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
126 Bldr.generateNode(S, Pred, hasElems); in VisitObjCForCollectionStmt()
127 Bldr.generateNode(S, Pred, noElems); in VisitObjCForCollectionStmt()
189 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage()
HDExprEngineCXX.cpp34 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
81 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
265 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in VisitCXXConstructExpr()
441 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
459 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
479 Bldr.generateNode(CDE, Pred, state); in VisitCXXDeleteExpr()
498 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
514 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
HDCoreEngine.cpp196 generateNode(StartLoc, SubEng.getInitialState(L), nullptr); in ExecuteWorkList()
198 generateNode(StartLoc, InitState, nullptr); in ExecuteWorkList()
316 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
383 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
455 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
509 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
655 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
669 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
HDExprEngineCallAndReturn.cpp581 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1002 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDCoreEngine.h87 void generateNode(const ProgramPoint &Loc,
260 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
320 ExplodedNode *generateNode(ProgramStateRef State,
324 return NodeBuilder::generateNode(LocalLoc, State, Pred);
372 using NodeBuilder::generateNode;
375 ExplodedNode *generateNode(const Stmt *S,
382 return NodeBuilder::generateNode(L, St, Pred);
425 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
478 ExplodedNode *generateNode(const iterator &I,
HDCheckerContext.h302 node = NB.generateNode(LocalLoc, State, P);