Searched refs:generateSink (Results 1 – 16 of 16) sorted by relevance
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | NoReturnFunctionChecker.cpp | 86 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
95 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
141 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
|
| D | CastValueChecker.cpp | 242 C.generateSink(State, C.getPredecessor()); in addCastTransition()
324 C.generateSink(NewState, C.getPredecessor()); in addInstanceOfTransition()
442 C.generateSink(NullState, C.getPredecessor()); in evalIsa()
|
| D | DereferenceChecker.cpp | 273 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
314 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
|
| D | BuiltinFunctionChecker.cpp | 57 C.generateSink(C.getState(), C.getPredecessor()); in evalCall()
|
| D | NonNullParamChecker.cpp | 200 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
|
| D | MoveChecker.cpp | 373 C.generateSink(State, C.getPredecessor()); in modelUse()
|
| D | IteratorModeling.cpp | 517 C.generateSink(State, C.getPredecessor()); in processComparison()
|
| D | BasicObjCFoundationChecks.cpp | 994 C.generateSink(C.getState(), C.getPredecessor()); in checkPostStmt()
|
| D | StreamChecker.cpp | 1046 C.generateSink(StateNull, C.getPredecessor()); in ensureStreamNonNull()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 189 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
199 addTransition(State, generateSink(State, getPredecessor()));
211 return generateSink(State, Pred,
227 return generateSink(State, Pred,
420 node = NB.generateSink(LocalLoc, State, P);
|
| D | CoreEngine.h | 313 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink() function
373 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
376 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
418 using NodeBuilder::generateSink;
430 ExplodedNode *generateSink(const Stmt *S,
437 return NodeBuilder::generateSink(L, St, Pred);
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineObjC.cpp | 253 Bldr.generateSink(ME, Pred, State); in VisitObjCMessage()
263 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
|
| D | ExprEngine.cpp | 1366 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessAutomaticObjDtor()
1518 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessMemberDtor()
1803 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2059 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2304 Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2513 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
|
| D | ExprEngineCXX.cpp | 816 Bldr.generateSink(E, N, N->getState()); in handleConstructor()
890 Bldr.generateSink(Pred->getLocation().withTag(&T), in VisitCXXDestructor()
|
| D | ExprEngineC.cpp | 460 Bldr.generateSink(CastE, Pred, state); in VisitCast()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountChecker.cpp | 1266 ExplodedNode *N = Ctx.generateSink(state, Pred, Tag); in handleAutoreleaseCounts()
|