Searched refs:ErrorNode (Results 1 – 4 of 4) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/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-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NonNullParamChecker.cpp | 182 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull() argument
193 "Null pointer passed as an argument to a 'nonnull' parameter", ErrorNode); in genReportNullAttrNonNull()
195 bugreporter::trackExpressionValue(ErrorNode, ArgE, *R); in genReportNullAttrNonNull()
201 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer() argument
206 *BTNullRefArg, "Forming reference to null pointer", ErrorNode); in genReportReferenceToNullPointer()
211 bugreporter::trackExpressionValue(ErrorNode, ArgEDeref, *R); in genReportReferenceToNullPointer()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 106 const ExplodedNode *ErrorNode = nullptr; variable
168 : BT(bt), Description(desc), ErrorNode(errornode) {} in BugReport()
173 ErrorNode(errornode) {} in BugReport()
188 UniqueingDecl(DeclToUnique), ErrorNode(errornode) {} in BugReport()
205 bool isPathSensitive() const { return ErrorNode != nullptr; } in isPathSensitive()
207 const ExplodedNode *getErrorNode() const { return ErrorNode; } in getErrorNode()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 1911 const ExplodedNode *ErrorNode, in generatePathDiagnosticForConsumer() argument
2077 assert(ErrorNode); in Profile()
2179 if (!ErrorNode) in getStmt()
2182 ProgramPoint ProgP = ErrorNode->getLocation(); in getStmt()
2188 S = GetPreviousStmt(ErrorNode); in getStmt()
2214 if (ErrorNode) { in getLocation()
2278 const ExplodedNode *ErrorNode; member in __anon26fd67af0211::ReportGraph
2421 GraphWrapper.ErrorNode = NewN; in popNextReportGraph()
2562 V->finalizeVisitor(BRC, ErrorNode, *R); in generateVisitorsDiagnostics()
2606 const ExplodedNode *ErrorNode = ErrorGraph.ErrorNode; in findValidReport() local
[all …]
|