summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp70
1 files changed, 0 insertions, 70 deletions
diff --git a/clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp b/clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp
deleted file mode 100644
index 9ca378f2d41..00000000000
--- a/clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp
+++ /dev/null
@@ -1,70 +0,0 @@
-//===--- TextPathDiagnostics.cpp - Text Diagnostics for Paths ---*- C++ -*-===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This file defines the TextPathDiagnostics object.
-//
-//===----------------------------------------------------------------------===//
-
-#include "clang/StaticAnalyzer/PathDiagnosticClients.h"
-#include "clang/StaticAnalyzer/BugReporter/PathDiagnostic.h"
-#include "clang/Lex/Preprocessor.h"
-#include "llvm/Support/raw_ostream.h"
-using namespace clang;
-using namespace ento;
-using namespace llvm;
-
-namespace {
-
-/// \brief Simple path diagnostic client used for outputting as diagnostic notes
-/// the sequence of events.
-class TextPathDiagnostics : public PathDiagnosticClient {
- const std::string OutputFile;
- Diagnostic &Diag;
-
-public:
- TextPathDiagnostics(const std::string& output, Diagnostic &diag)
- : OutputFile(output), Diag(diag) {}
-
- void HandlePathDiagnostic(const PathDiagnostic* D);
-
- void FlushDiagnostics(llvm::SmallVectorImpl<std::string> *FilesMade) { }
-
- virtual llvm::StringRef getName() const {
- return "TextPathDiagnostics";
- }
-
- PathGenerationScheme getGenerationScheme() const { return Minimal; }
- bool supportsLogicalOpControlFlow() const { return true; }
- bool supportsAllBlockEdges() const { return true; }
- virtual bool useVerboseDescription() const { return true; }
-};
-
-} // end anonymous namespace
-
-PathDiagnosticClient*
-ento::createTextPathDiagnosticClient(const std::string& out,
- const Preprocessor &PP) {
- return new TextPathDiagnostics(out, PP.getDiagnostics());
-}
-
-void TextPathDiagnostics::HandlePathDiagnostic(const PathDiagnostic* D) {
- if (!D)
- return;
-
- if (D->empty()) {
- delete D;
- return;
- }
-
- for (PathDiagnostic::const_iterator I=D->begin(), E=D->end(); I != E; ++I) {
- unsigned diagID = Diag.getDiagnosticIDs()->getCustomDiagID(
- DiagnosticIDs::Note, I->getString());
- Diag.Report(I->getLocation().asLocation(), diagID);
- }
-}
OpenPOWER on IntegriCloud