Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNoReturnFunctionChecker.cpp86 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()
H A DCastValueChecker.cpp242 C.generateSink(State, C.getPredecessor()); in addCastTransition()
324 C.generateSink(NewState, C.getPredecessor()); in addInstanceOfTransition()
442 C.generateSink(NullState, C.getPredecessor()); in evalIsa()
H A DDereferenceChecker.cpp280 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
327 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
H A DBuiltinFunctionChecker.cpp100 C.generateSink(C.getState(), C.getPredecessor()); in evalCall()
H A DBasicObjCFoundationChecks.cpp152 if (ExplodedNode *N = C.generateSink(Null, C.getPredecessor())) { in warnIfNilExpr()
998 C.generateSink(C.getState(), C.getPredecessor()); in checkPostStmt()
H A DMoveChecker.cpp374 C.generateSink(State, C.getPredecessor()); in modelUse()
H A DIteratorModeling.cpp514 C.generateSink(State, C.getPredecessor()); in processComparison()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h189 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
199 addTransition(State, generateSink(State, getPredecessor()));
211 return generateSink(State, Pred,
227 return generateSink(State, Pred,
432 node = NB.generateSink(LocalLoc, State, P);
H A DCoreEngine.h304 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink() function
364 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
367 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
409 using NodeBuilder::generateSink;
421 ExplodedNode *generateSink(const Stmt *S,
428 return NodeBuilder::generateSink(L, St, Pred);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp821 Bldr.generateSink(E, N, N->getState()); in handleConstructor()
896 Bldr.generateSink(Pred->getLocation().withTag(&T), in VisitCXXDestructor()
H A DExprEngine.cpp1382 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessAutomaticObjDtor()
1538 Bldr.generateSink(PP, Pred->getState(), Pred); in ProcessMemberDtor()
1830 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2093 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2337 Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
2546 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
H A DExprEngineC.cpp452 Bldr.generateSink(CastE, Pred, state); in VisitCast()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp1264 ExplodedNode *N = Ctx.generateSink(state, Pred, Tag); in handleAutoreleaseCounts()