Home
last modified time | relevance | path

Searched refs:generateSink (Results 1 – 10 of 10) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DNoReturnFunctionChecker.cpp85 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
94 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
140 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
DDereferenceChecker.cpp231 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
272 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
DNonNullParamChecker.cpp164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
DBasicObjCFoundationChecks.cpp1023 C.generateSink(C.getState(), C.getPredecessor()); in checkPostStmt()
DRetainCountChecker.cpp3783 ExplodedNode *N = Ctx.generateSink(state, Pred, Tag); in handleAutoreleaseCounts()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h274 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink() function
330 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
333 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
376 using NodeBuilder::generateSink;
388 ExplodedNode *generateSink(const Stmt *S,
395 return NodeBuilder::generateSink(L, St, Pred);
DCheckerContext.h229 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
243 return generateSink(State, Pred,
342 node = NB.generateSink(LocalLoc, State, P);
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineObjC.cpp236 Bldr.generateSink(ME, Pred, State); in VisitObjCMessage()
246 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
DExprEngine.cpp784 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1044 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1278 Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1444 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
DExprEngineC.cpp394 Bldr.generateSink(CastE, Pred, state); in VisitCast()