| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
77 ExplodedNode *ErrorNode{nullptr}; in checkUnmatchedWaits() local
84 if (!ErrorNode) { in checkUnmatchedWaits()
86 State = ErrorNode->getState(); in checkUnmatchedWaits()
94 if (!ErrorNode) { in checkUnmatchedWaits()
97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits()
109 ExplodedNode *ErrorNode{nullptr}; in checkMissingWaits() local
116 if (!ErrorNode) { in checkMissingWaits()
118 State = ErrorNode->getState(); in checkMissingWaits()
128 if (!ErrorNode) { in checkMissingWaits()
[all …]
|
| /freebsd-14.2/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 | 433 ExplodedNode *ErrorNode = C.generateErrorNode(ErrorState); in reportOOB() local
434 if (!ErrorNode) in reportOOB()
438 Kind == OOB_Taint ? TaintBT : BT, Msgs.Short, Msgs.Full, ErrorNode); in reportOOB()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 288 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkPostCall() local
289 if (!ErrorNode) in checkPostCall()
300 InvalidPtrBugType, Out.str(), ErrorNode); in checkPostCall()
338 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkLocation() local
339 if (!ErrorNode) in checkLocation()
343 InvalidPtrBugType, "dereferencing an invalid pointer", ErrorNode); in checkLocation()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 218 const ExplodedNode *const ErrorNode; member in __anonc89c4a160111::PathDiagnosticBuilder
1980 : Consumer(PDC), CurrentNode(ErrorNode), in PathDiagnosticConstruct()
1991 ErrorNode(ErrorNode), in PathDiagnosticBuilder()
2136 assert(!isDependency(ErrorNode->getState() in PathSensitiveBugReport()
2146 !isHidden(ErrorNode->getState() in PathSensitiveBugReport()
2382 if (!ErrorNode) in getStmt()
2394 S = ErrorNode->getStmtForDiagnostics(); in getStmt()
2413 ProgramPoint P = ErrorNode->getLocation(); in getLocation()
2506 const ExplodedNode *ErrorNode; member in __anonc89c4a160211::BugPathInfo
2654 CurrentBugPath.ErrorNode = NewN; in getNextBugPath()
[all …]
|
| /freebsd-14.2/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()
|