| /openbsd-src/gnu/llvm/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 …]
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NonNullParamChecker.cpp | 278 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull() argument
295 std::make_unique<PathSensitiveBugReport>(*BTAttrNonNull, SBuf, ErrorNode); in genReportNullAttrNonNull()
297 bugreporter::trackExpressionValue(ErrorNode, ArgE, *R); in genReportNullAttrNonNull()
304 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer() argument
309 *BTNullRefArg, "Forming reference to null pointer", ErrorNode); in genReportReferenceToNullPointer()
314 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()
662 Type, Msg, ErrorNode, LocUsedForUniqueing, in reportBug()
667 R = std::make_unique<PathSensitiveBugReport>(Type, Msg, ErrorNode); in reportBug()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 210 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkPostCall() local
211 if (!ErrorNode) in checkPostCall()
222 std::make_unique<PathSensitiveBugReport>(BT, Out.str(), ErrorNode); in checkPostCall()
260 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkLocation() local
261 if (!ErrorNode) in checkLocation()
265 BT, "dereferencing an invalid pointer", ErrorNode); in checkLocation()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 137 const ExplodedNode *ErrorNode,
215 const ExplodedNode *const ErrorNode; member in __anonc8f820770111::PathDiagnosticBuilder
230 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
1977 const PathDiagnosticConsumer *PDC, const ExplodedNode *ErrorNode, in PathDiagnosticConstruct() argument
1979 : Consumer(PDC), CurrentNode(ErrorNode), in PathDiagnosticConstruct()
1982 LCM[&PD->getActivePath()] = ErrorNode->getLocationContext(); in PathDiagnosticConstruct()
1987 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode, in PathDiagnosticBuilder() argument
1990 ErrorNode(ErrorNode), in PathDiagnosticBuilder()
1995 PathDiagnosticConstruct Construct(PDC, ErrorNode, R); in generate()
2004 auto EndNotes = VisitorsDiagnostics->find(ErrorNode); in generate()
[all …]
|
| /openbsd-src/gnu/llvm/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()
|