| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIBugReporter.cpp | 99 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion); in VisitNode()
105 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExplodedGraph.cpp | 286 getFirstPred()->getState()->getID() == getState()->getID() && in isTrivial()
287 getFirstPred()->succ_size() == 1; in isTrivial()
379 for (const ExplodedNode *N = getFirstPred(); N; N = N->getFirstPred()) in getPreviousStmtForDiagnostics()
|
| H A D | LoopUnrolling.cpp | 215 N = N->getFirstPred(); in isPossiblyEscaped()
238 N = N->getFirstPred(); in isPossiblyEscaped()
293 N = N->getFirstPred(); in madeNewBranch()
|
| H A D | BugReporterVisitors.cpp | 383 OrigSCtx == N->getFirstPred()->getStackFrame(); in getMatchingCallExitEnd()
405 CurrN = CurrN->getFirstPred()) { in findModifyingFrames()
1420 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()
1648 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode()
1734 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()
1998 NI = NI->getFirstPred(); in peelOffOuterExpr()
2033 N = N->getFirstPred(); in findNodeForExpression()
2263 ExprNode = ExprNode->getFirstPred(); in handle()
2283 ExprNode = ExprNode->getFirstPred(); in handle()
2599 N->getFirstPred()->getLocation().getTag(); in VisitNodeImpl()
[all …]
|
| H A D | BugReporter.cpp | 160 CurrentNode = CurrentNode->getFirstPred(); in ascendToPrevNode()
1042 N = N->getFirstPred(); in getStmtBeforeCond()
2778 const ExplodedNode *NextNode = ErrorNode->getFirstPred(); in generateVisitorsDiagnostics()
2791 const ExplodedNode *Pred = NextNode->getFirstPred(); in generateVisitorsDiagnostics()
3170 if (N->getFirstPred() == nullptr) { in findExecutedLines()
3196 N = N->getFirstPred(); in findExecutedLines()
|
| H A D | CoreEngine.cpp | 209 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
|
| H A D | ExprEngineCallAndReturn.cpp | 101 Node = Node->getFirstPred(); in getLastStmt()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExplodedGraph.h | 208 ExplodedNode *getFirstPred() { in getFirstPred() function
212 const ExplodedNode *getFirstPred() const { in getFirstPred() function
213 return const_cast<ExplodedNode*>(this)->getFirstPred(); in getFirstPred()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 363 N = N->getFirstPred(); in getCalleeNode()
433 getRefBinding(N->getFirstPred()->getState(), Sym)) in annotateStartParameter()
476 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
642 Node = Node->getFirstPred(); in getAllVarBindingsForSymbol()
723 N = N->getFirstPred(); in GetAllocationSite()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DynamicTypeChecker.cpp | 94 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
|
| H A D | ObjCSuperDeallocChecker.cpp | 258 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
|
| H A D | Taint.cpp | 240 isTainted(N->getFirstPred()->getState(), V)) in VisitNode()
|
| H A D | FuchsiaHandleChecker.cpp | 238 N = N->getFirstPred(); in REGISTER_MAP_WITH_PROGRAMSTATE()
249 N = N->getFirstPred(); in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | InnerPointerChecker.cpp | 309 isSymbolTracked(N->getFirstPred()->getState(), PtrToBuf)) in VisitNode()
|
| H A D | ValistChecker.cpp | 382 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
|
| H A D | StreamChecker.cpp | 440 N = N->getFirstPred(); in getAcquisitionSite()
448 N = N->getFirstPred(); in getAcquisitionSite()
|
| H A D | MacOSKeychainAPIChecker.cpp | 627 N->getFirstPred()->getState()->get<AllocatedData>(Sym); in VisitNode()
|
| H A D | MoveChecker.cpp | 282 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
|
| H A D | DynamicTypePropagation.cpp | 1048 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()
|
| H A D | IteratorModeling.cpp | 841 Node = Node->getFirstPred(); in findCallEnter()
|
| H A D | NullabilityChecker.cpp | 301 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
|
| H A D | MallocChecker.cpp | 858 CallExitEndN->getFirstPred()->getLocationContext()->getDecl(), in wasModifiedInFunction()
3379 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()
|