| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 45 ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode(); in checkDoubleNonblocking() local
46 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode, in checkDoubleNonblocking()
48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
77 ExplodedNode *ErrorNode{nullptr}; in checkUnmatchedWaits() local
84 if (!ErrorNode) { in checkUnmatchedWaits()
85 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag); in checkUnmatchedWaits()
86 State = ErrorNode->getState(); in checkUnmatchedWaits()
89 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, in checkUnmatchedWaits()
94 if (!ErrorNode) { in checkUnmatchedWaits()
97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits()
[all …]
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NonNullParamChecker.cpp | 280 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull() argument
290 std::make_unique<PathSensitiveBugReport>(BTAttrNonNull, SBuf, ErrorNode); in genReportNullAttrNonNull()
292 bugreporter::trackExpressionValue(ErrorNode, ArgE, *R); in genReportNullAttrNonNull()
299 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer() argument
301 BTNullRefArg, "Forming reference to null pointer", ErrorNode); in genReportReferenceToNullPointer()
306 bugreporter::trackExpressionValue(ErrorNode, ArgEDeref, *R); in genReportReferenceToNullPointer()
|
| H A D | FuchsiaHandleChecker.cpp | 222 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
645 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug() argument
649 if (!ErrorNode) in reportBug()
654 const ExplodedNode *AcquireNode = getAcquireSite(ErrorNode, Sym, C); in reportBug()
663 Type, Msg, ErrorNode, LocUsedForUniqueing, in reportBug()
668 R = std::make_unique<PathSensitiveBugReport>(Type, Msg, ErrorNode); in reportBug()
|
| H A D | ArrayBoundCheckerV2.cpp | 701 ExplodedNode *ErrorNode = C.generateErrorNode(ErrorState); in reportOOB() local
702 if (!ErrorNode) in reportOOB()
706 IsTaintBug ? TaintBT : BT, Msgs.Short, Msgs.Full, ErrorNode); in reportOOB()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 149 const ExplodedNode *ErrorNode,
228 const ExplodedNode *const ErrorNode; member in __anon0e379bf50111::PathDiagnosticBuilder
243 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
1990 const PathDiagnosticConsumer *PDC, const ExplodedNode *ErrorNode, in PathDiagnosticConstruct() argument
1992 : Consumer(PDC), CurrentNode(ErrorNode), in PathDiagnosticConstruct()
1996 LCM[&PD->getActivePath()] = ErrorNode->getLocationContext(); in PathDiagnosticConstruct()
2001 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode, in PathDiagnosticBuilder() argument
2004 ErrorNode(ErrorNode), in PathDiagnosticBuilder()
2010 PathDiagnosticConstruct Construct(PDC, ErrorNode, R, EntryPoint); in generate()
2019 auto EndNotes = VisitorsDiagnostics->find(ErrorNode); in generate()
[all …]
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 293 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkPostCall() local
294 if (!ErrorNode) in checkPostCall()
305 InvalidPtrBugType, Out.str(), ErrorNode); in checkPostCall()
343 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkLocation() local
344 if (!ErrorNode) in checkLocation()
348 InvalidPtrBugType, "dereferencing an invalid pointer", ErrorNode); in checkLocation()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 298 const ExplodedNode *ErrorNode = nullptr;
402 const ExplodedNode *getErrorNode() const { return ErrorNode; } in getErrorNode()
|