diff options
Diffstat (limited to 'clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/EntoSA/TextPathDiagnostics.cpp | 70 |
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); - } -} |