| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 44 ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode(); local
45 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode,
47 Ctx.addTransition(ErrorNode->getState(), ErrorNode);
76 ExplodedNode *ErrorNode{nullptr};
83 if (!ErrorNode) {
84 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
85 State = ErrorNode->getState();
88 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode,
93 if (!ErrorNode) {
[all...] |
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NonNullParamChecker.cpp | 183 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, argument
200 std::make_unique<PathSensitiveBugReport>(*BTAttrNonNull, SBuf, ErrorNode);
202 bugreporter::trackExpressionValue(ErrorNode, ArgE, *R);
209 const ExplodedNode *ErrorNode, const Expr *ArgE) const {
214 *BTNullRefArg, "Forming reference to null pointer", ErrorNode);
219 bugreporter::trackExpressionValue(ErrorNode, ArgEDeref, *R);
208 genReportReferenceToNullPointer( const ExplodedNode *ErrorNode, const Expr *ArgE) const argument
|
| H A D | FuchsiaHandleChecker.cpp | 191 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
505 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, argument
509 if (!ErrorNode)
514 const ExplodedNode *AcquireNode = getAcquireSite(ErrorNode, Sym, C);
522 Type, Msg, ErrorNode, LocUsedForUniqueing,
527 R = std::make_unique<PathSensitiveBugReport>(Type, Msg, ErrorNode);
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 135 const ExplodedNode *ErrorNode,
210 const ExplodedNode *const ErrorNode; member in class:__anon867::PathDiagnosticBuilder
225 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
1967 const PathDiagnosticConsumer *PDC, const ExplodedNode *ErrorNode,
1969 : Consumer(PDC), CurrentNode(ErrorNode),
1972 LCM[&PD->getActivePath()] = ErrorNode->getLocationContext();
1977 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
1980 ErrorNode(ErrorNode),
1985 PathDiagnosticConstruct Construct(PDC, ErrorNode,
1966 PathDiagnosticConstruct( const PathDiagnosticConsumer *PDC, const ExplodedNode *ErrorNode, const PathSensitiveBugReport *R) argument
1975 PathDiagnosticBuilder( BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath, PathSensitiveBugReport *r, const ExplodedNode *ErrorNode, std::unique_ptr<VisitorsDiagnosticsTy> VisitorsDiagnostics) argument
2427 const ExplodedNode *ErrorNode; member in class:__anon868::BugPathInfo
2694 generateVisitorsDiagnostics(PathSensitiveBugReport *R, const ExplodedNode *ErrorNode, BugReporterContext &BRC) argument
2760 const ExplodedNode *ErrorNode = BugPath->ErrorNode; local
[all...] |
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 298 const ExplodedNode *ErrorNode = nullptr; member in class:clang::ento::PathSensitiveBugReport
300 /// The range that corresponds to ErrorNode's program point. It is usually
371 : BugReport(Kind::PathSensitive, bt, desc), ErrorNode(errorNode),
378 ErrorNode(errorNode),
393 : BugReport(Kind::PathSensitive, bt, desc), ErrorNode(errorNode),
403 const ExplodedNode *getErrorNode() const { return ErrorNode; }
|