Searched refs:getPredecessor (Results 1 – 13 of 13) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
|
| D | ExprInspectionChecker.cpp | 67 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()
96 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerEval()
127 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerCheckInlined()
|
| D | DereferenceChecker.cpp | 219 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
257 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
|
| D | DynamicTypePropagation.cpp | 282 return C.getPredecessor(); in dynamicTypePropagationOnCasts()
285 return C.getPredecessor(); in dynamicTypePropagationOnCasts()
291 return C.getPredecessor(); in dynamicTypePropagationOnCasts()
821 ExplodedNode *Pred = C.getPredecessor(); in checkPostObjCMessage()
|
| D | NonNullParamChecker.cpp | 164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
|
| D | NullabilityChecker.cpp | 427 if (checkPreconditionViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()
523 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
951 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
|
| D | LocalizationChecker.cpp | 627 ExplodedNode *ErrNode = C.getPredecessor(); in reportLocalizationError()
630 ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in reportLocalizationError()
|
| D | BasicObjCFoundationChecks.cpp | 1017 if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS)) in checkPostStmt()
1028 C.generateSink(C.getState(), C.getPredecessor()); in checkPostStmt()
|
| D | StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in OpenFileAux()
|
| D | RetainCountChecker.cpp | 2782 const ExplodedNode *pred = C.getPredecessor(); in processObjCLiterals()
2822 const ExplodedNode *Pred = C.getPredecessor(); in checkPostStmt()
3118 NewNode = C.getPredecessor(); in checkSummary()
3871 ExplodedNode *Pred = Ctx.getPredecessor(); in checkEndFunction()
3918 ExplodedNode *Pred = C.getPredecessor(); in checkDeadSymbols()
|
| D | MallocChecker.cpp | 1089 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in MallocMemAux()
2158 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
|
| D | CStringChecker.cpp | 912 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in InvalidateBuffer()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 117 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor() function
|