Searched refs:EndPathNode (Results 1 – 4 of 4) sorted by relevance
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 73 const ExplodedNode *EndPathNode,
607 void finalizeVisitor(BugReporterContext &BRC, const ExplodedNode *EndPathNode,
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ValistChecker.cpp | 82 const ExplodedNode *EndPathNode, in getEndPath() argument
|
| H A D | MallocChecker.cpp | 1010 const ExplodedNode *EndPathNode, in getEndPath() argument
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporterVisitors.cpp | 335 const ExplodedNode *EndPathNode, in getDefaultEndPath() argument
3426 BugReporterContext &BRC, const ExplodedNode *EndPathNode, in finalizeVisitor() argument
3429 addConstraints(EndPathNode, /*OverwriteConstraintsOnExistingSyms=*/true); in finalizeVisitor()
3459 BR.markInvalid("Infeasible constraints", EndPathNode->getLocationContext()); in finalizeVisitor()
|