Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DNoReturnFunctionChecker.cpp84 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
93 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
139 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
DDereferenceChecker.cpp219 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
257 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
DNonNullParamChecker.cpp164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
DBasicObjCFoundationChecks.cpp1028 C.generateSink(C.getState(), C.getPredecessor()); in checkPostStmt()
DRetainCountChecker.cpp3790 ExplodedNode *N = Ctx.generateSink(state, Pred, Tag); in handleAutoreleaseCounts()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h229 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
243 return generateSink(State, Pred,
338 node = NB.generateSink(LocalLoc, State, P);
DCoreEngine.h271 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink() function
327 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
330 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
373 using NodeBuilder::generateSink;
385 ExplodedNode *generateSink(const Stmt *S,
392 return NodeBuilder::generateSink(L, St, Pred);
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineObjC.cpp236 Bldr.generateSink(ME, Pred, State); in VisitObjCMessage()
246 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
DExprEngine.cpp782 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1034 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1262 Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1428 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
DExprEngineC.cpp383 Bldr.generateSink(CastE, Pred, state); in VisitCast()