Home
last modified time | relevance | path

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

/freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp88 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
93 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
212 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
280 Bldr.generateNode(CastE, Pred, state); in VisitCast()
319 Bldr.generateNode(CastE, Pred, state); in VisitCast()
328 Bldr.generateNode(CastE, Pred, state); in VisitCast()
370 Bldr.generateNode(CastE, Pred, state); in VisitCast()
377 Bldr.generateNode(CastE, Pred, state); in VisitCast()
395 Bldr.generateNode(CastE, Pred, state); in VisitCast()
432 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V)); in VisitCompoundLiteralExpr()
[all …]
DExprEngine.cpp371 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K); in removeDead()
403 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
516 Bldr.generateNode(PP, N->getState(), N); in ProcessInitializer()
588 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
723 Bldr.generateNode(S, Pred, state); in Visit()
823 Bldr2.generateNode(S, *I, State); in Visit()
854 Bldr2.generateNode(S, N, state); in Visit()
896 Bldr.generateNode(B, Pred, in Visit()
931 Pred = Bldr.generateNode(OCE, Pred, NewState, /*Tag=*/0, in Visit()
1143 Bldr.generateNode(SE, Pred, in Visit()
[all …]
DExprEngineCXX.cpp34 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
81 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
254 Bldr.generateNode(CE, *I, State, /*tag=*/0, ProgramPoint::PreStmtKind); in VisitCXXConstructExpr()
403 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
421 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
441 Bldr.generateNode(CDE, Pred, state); in VisitCXXDeleteExpr()
460 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
476 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
DExprEngineObjC.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()
DCoreEngine.cpp195 generateNode(StartLoc, SubEng.getInitialState(L), 0); in ExecuteWorkList()
197 generateNode(StartLoc, InitState, 0); in ExecuteWorkList()
315 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
377 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
449 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
492 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
633 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
647 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
DExprEngineCallAndReturn.cpp581 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1002 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
/freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h87 void generateNode(const ProgramPoint &Loc,
265 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
325 ExplodedNode *generateNode(ProgramStateRef State,
329 return NodeBuilder::generateNode(LocalLoc, State, Pred);
375 using NodeBuilder::generateNode;
378 ExplodedNode *generateNode(const Stmt *S,
385 return NodeBuilder::generateNode(L, St, Pred);
428 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
481 ExplodedNode *generateNode(const iterator &I,
DCheckerContext.h297 node = NB.generateNode(LocalLoc, State, P);