Home
last modified time | relevance | path

Searched refs:ErrorNode (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp48 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 …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp208 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkPostCall() local
209 if (!ErrorNode) in checkPostCall()
220 std::make_unique<PathSensitiveBugReport>(BT, Out.str(), ErrorNode); in checkPostCall()
258 ExplodedNode *ErrorNode = C.generateNonFatalErrorNode(); in checkLocation() local
259 if (!ErrorNode) in checkLocation()
263 BT, "dereferencing an invalid pointer", ErrorNode); in checkLocation()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp278 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 DFuchsiaHandleChecker.cpp221 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
644 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug() argument
648 if (!ErrorNode) in reportBug()
653 const ExplodedNode *AcquireNode = getAcquireSite(ErrorNode, Sym, C); in reportBug()
661 Type, Msg, ErrorNode, LocUsedForUniqueing, in reportBug()
666 R = std::make_unique<PathSensitiveBugReport>(Type, Msg, ErrorNode); in reportBug()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp216 const ExplodedNode *const ErrorNode; member in __anon1dcbea900111::PathDiagnosticBuilder
1979 : Consumer(PDC), CurrentNode(ErrorNode), in PathDiagnosticConstruct()
1990 ErrorNode(ErrorNode), in PathDiagnosticBuilder()
2137 assert(!isDependency(ErrorNode->getState() in PathSensitiveBugReport()
2148 !isHidden(ErrorNode->getState() in PathSensitiveBugReport()
2384 if (!ErrorNode) in getStmt()
2396 S = ErrorNode->getStmtForDiagnostics(); in getStmt()
2415 ProgramPoint P = ErrorNode->getLocation(); in getLocation()
2502 const ExplodedNode *ErrorNode; member in __anon1dcbea900211::BugPathInfo
2651 CurrentBugPath.ErrorNode = NewN; in getNextBugPath()
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h298 const ExplodedNode *ErrorNode = nullptr;
402 const ExplodedNode *getErrorNode() const { return ErrorNode; } in getErrorNode()