| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NoReturnFunctionChecker.cpp | 84 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()
|
| H A D | ExprInspectionChecker.cpp | 136 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()
214 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerEval()
240 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerCheckInlined()
393 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
|
| H A 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()
|
| H A 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()
|
| H A D | BuiltinFunctionChecker.cpp | 57 C.generateSink(C.getState(), C.getPredecessor()); in evalCall()
|
| H A D | DynamicTypePropagation.cpp | 404 return C.getPredecessor(); in dynamicTypePropagationOnCasts()
407 return C.getPredecessor(); in dynamicTypePropagationOnCasts()
413 return C.getPredecessor(); in dynamicTypePropagationOnCasts()
994 ExplodedNode *Pred = C.getPredecessor(); in checkPostObjCMessage()
|
| H A D | NonNullParamChecker.cpp | 200 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
|
| H A D | NullabilityChecker.cpp | 471 if (checkInvariantViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()
662 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
1180 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
|
| H A D | IteratorModeling.cpp | 517 C.generateSink(State, C.getPredecessor()); in processComparison()
713 const ExplodedNode *N = findCallEnter(C.getPredecessor(), CE); in noChangeInAdvance()
|
| H A D | BasicObjCFoundationChecks.cpp | 980 if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS)) in checkPostStmt()
991 C.generateSink(C.getState(), C.getPredecessor()); in checkPostStmt()
|
| H A D | MoveChecker.cpp | 373 C.generateSink(State, C.getPredecessor()); in modelUse()
|
| H A D | FuchsiaHandleChecker.cpp | 521 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
|
| H A D | StreamChecker.cpp | 1070 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
|
| H A D | LocalizationChecker.cpp | 758 ExplodedNode *ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in reportLocalizationError()
|
| H A D | MallocChecker.cpp | 1744 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in MallocMemAux()
2847 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
|
| H A D | CStringChecker.cpp | 1025 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in InvalidateBuffer()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1004 const ExplodedNode *Node = C.getPredecessor(); in checkPostCall()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | FalsePositiveRefutationBRVisitorTest.cpp | 64 if (C.getPredecessor()->getLocationContext()->getStackFrame()->getParent()) in reportIfCanBeTrue()
71 ProgramStateRef State = C.getPredecessor()->getState(); in reportIfCanBeTrue()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor() function
198 addTransition(State, generateSink(State, getPredecessor()));
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 232 const ExplodedNode *pred = C.getPredecessor(); in processObjCLiterals()
273 const ExplodedNode *Pred = C.getPredecessor(); in checkPostStmt()
704 C.addTransition(St, C.getPredecessor(), &getDeallocSentTag()); in checkSummary()
966 ExplodedNode *Pred = C.getPredecessor(); in processReturn()
1412 ExplodedNode *Pred = C.getPredecessor(); in checkDeadSymbols()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/ |
| H A D | RDFGraph.cpp | 149 if (NodeId N = P.Obj.Addr->getPredecessor()) in operator <<()
1160 return TUA.Addr->getPredecessor() == RUA.Addr->getPredecessor(); in getNextRelated()
1672 return PUA.Addr->getPredecessor() == BA.Id; in linkBlockRefs()
|
| H A D | RDFLiveness.cpp | 823 auto PrA = DFG.addr<BlockNode*>(PUA.Addr->getPredecessor()); in computeLiveIns()
|
| /llvm-project-15.0.7/llvm/include/llvm/CodeGen/ |
| H A D | RDFGraph.h | 580 NodeId getPredecessor() const { in getPredecessor() function
|