#include #include #include #include #include #include #include #include ">

clang: lib/Frontend/VerifyDiagnosticConsumer.cpp File Reference (original) (raw)

#include "[clang/Frontend/VerifyDiagnosticConsumer.h](VerifyDiagnosticConsumer%5F8h%5Fsource.html)"
#include "[clang/Basic/CharInfo.h](CharInfo%5F8h%5Fsource.html)"
#include "[clang/Basic/Diagnostic.h](Basic%5F2Diagnostic%5F8h%5Fsource.html)"
#include "[clang/Basic/DiagnosticOptions.h](DiagnosticOptions%5F8h%5Fsource.html)"
#include "[clang/Basic/FileManager.h](FileManager%5F8h%5Fsource.html)"
#include "[clang/Basic/LLVM.h](LLVM%5F8h%5Fsource.html)"
#include "[clang/Basic/SourceLocation.h](SourceLocation%5F8h%5Fsource.html)"
#include "[clang/Basic/SourceManager.h](SourceManager%5F8h%5Fsource.html)"
#include "[clang/Basic/TokenKinds.h](TokenKinds%5F8h%5Fsource.html)"
#include "[clang/Frontend/FrontendDiagnostic.h](FrontendDiagnostic%5F8h%5Fsource.html)"
#include "[clang/Frontend/TextDiagnosticBuffer.h](TextDiagnosticBuffer%5F8h%5Fsource.html)"
#include "[clang/Lex/HeaderSearch.h](HeaderSearch%5F8h%5Fsource.html)"
#include "[clang/Lex/Lexer.h](Lexer%5F8h%5Fsource.html)"
#include "[clang/Lex/PPCallbacks.h](PPCallbacks%5F8h%5Fsource.html)"
#include "[clang/Lex/Preprocessor.h](Preprocessor%5F8h%5Fsource.html)"
#include "[clang/Lex/Token.h](Token%5F8h%5Fsource.html)"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/Twine.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/Regex.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <cstddef>
#include <cstring>
#include <iterator>
#include <memory>
#include <string>
#include <utility>
#include <vector>

Go to the source code of this file.

Typedefs
using Directive = VerifyDiagnosticConsumer::Directive
using DirectiveList = VerifyDiagnosticConsumer::DirectiveList
using ExpectedData = VerifyDiagnosticConsumer::ExpectedData
using DiagList = TextDiagnosticBuffer::DiagList
using const_diag_iterator = TextDiagnosticBuffer::const_iterator
Functions
static std::string DetailedErrorString (const DiagnosticsEngine &Diags)
static bool ParseDirective (StringRef S, ExpectedData *ED, SourceManager &SM, Preprocessor *PP, SourceLocation Pos, VerifyDiagnosticConsumer::DirectiveStatus &Status, VerifyDiagnosticConsumer::MarkerTracker &Markers)
ParseDirective - Go through the comment and see if it indicates expected diagnostics.
static bool findDirectives (SourceManager &SM, FileID FID, const LangOptions &LangOpts)
Lex the specified source file to determine whether it contains any expected-* directives.
static unsigned PrintUnexpected (DiagnosticsEngine &Diags, SourceManager *SourceMgr, const_diag_iterator diag_begin, const_diag_iterator diag_end, const char *Kind)
Takes a list of diagnostics that have been generated but not matched by an expected-* directive and produces a diagnostic to the user from this.
static unsigned PrintExpected (DiagnosticsEngine &Diags, SourceManager &SourceMgr, std::vector< Directive * > &DL, const char *Kind)
Takes a list of diagnostics that were expected to have been generated but were not and produces a diagnostic to the user from this.
static bool IsFromSameFile (SourceManager &SM, SourceLocation DirectiveLoc, SourceLocation DiagnosticLoc)
Determine whether two source locations come from the same file.
static unsigned CheckLists (DiagnosticsEngine &Diags, SourceManager &SourceMgr, const char *Label, DirectiveList &Left, const_diag_iterator d2_begin, const_diag_iterator d2_end, bool IgnoreUnexpected)
CheckLists - Compare expected to seen diagnostic lists and return the the difference between them.
static unsigned CheckResults (DiagnosticsEngine &Diags, SourceManager &SourceMgr, const TextDiagnosticBuffer &Buffer, ExpectedData &ED)
CheckResults - This compares the expected results to those that were actually reported.

const_diag_iterator

DiagList

Directive

DirectiveList

ExpectedData

CheckLists()

CheckResults()

CheckResults - This compares the expected results to those that were actually reported.

It emits any discrepencies. Return "true" if there were problems. Return "false" otherwise.

Definition at line 998 of file VerifyDiagnosticConsumer.cpp.

References CheckLists(), clang::TextDiagnosticBuffer::err_begin(), clang::TextDiagnosticBuffer::err_end(), clang::Error, clang::VerifyDiagnosticConsumer::ExpectedData::Errors, clang::DiagnosticsEngine::getDiagnosticOptions(), clang::Note, clang::TextDiagnosticBuffer::note_begin(), clang::TextDiagnosticBuffer::note_end(), clang::VerifyDiagnosticConsumer::ExpectedData::Notes, clang::Remark, clang::TextDiagnosticBuffer::remark_begin(), clang::TextDiagnosticBuffer::remark_end(), clang::VerifyDiagnosticConsumer::ExpectedData::Remarks, clang::TextDiagnosticBuffer::warn_begin(), clang::TextDiagnosticBuffer::warn_end(), clang::Warning, and clang::VerifyDiagnosticConsumer::ExpectedData::Warnings.

DetailedErrorString()

findDirectives()

Lex the specified source file to determine whether it contains any expected-* directives.

As a Lexer is used rather than a full-blown Preprocessor, directives inside skipped if blocks will still be found.

Returns

true if any directives were found.

Definition at line 831 of file VerifyDiagnosticConsumer.cpp.

References clang::Token::getLocation(), clang::Lexer::getSpelling(), clang::VerifyDiagnosticConsumer::HasNoDirectives, clang::Token::is(), clang::FileID::isInvalid(), clang::Token::isNot(), clang::Lexer::LexFromRawLexer(), ParseDirective(), clang::Lexer::SetCommentRetentionState(), clang::Token::setKind(), and SM.

Referenced by clang::VerifyDiagnosticConsumer::UpdateParsedFileStatus().

IsFromSameFile()

ParseDirective()

ParseDirective - Go through the comment and see if it indicates expected diagnostics.

If so, then put them in the appropriate directive list.

Returns true if any valid directives were found.

Definition at line 409 of file VerifyDiagnosticConsumer.cpp.

References clang::VerifyDiagnosticConsumer::MarkerTracker::addDirective(), clang::VerifyDiagnosticConsumer::MarkerTracker::addMarker(), clang::SrcMgr::C_User, D, DetailedErrorString(), clang::DType, clang::VerifyDiagnosticConsumer::ExpectedData::Errors, clang::File, Filename, clang::DiagnosticsEngine::getDiagnosticOptions(), clang::Preprocessor::getDiagnostics(), clang::SourceLocation::getLocWithOffset(), clang::VerifyDiagnosticConsumer::HasExpectedNoDiagnostics, clang::VerifyDiagnosticConsumer::HasOtherExpectedDirectives, clang::Invalid, clang::FileID::isInvalid(), clang::SourceLocation::isInvalid(), clang::Preprocessor::LookupFile(), clang::VerifyDiagnosticConsumer::Directive::MaxCount, NoDiag(), clang::VerifyDiagnosticConsumer::ExpectedData::Notes, clang::VerifyDiagnosticConsumer::ExpectedData::Remarks, clang::DiagnosticsEngine::Report(), SM, clang::DiagnosticOptions::VerifyPrefixes, and clang::VerifyDiagnosticConsumer::ExpectedData::Warnings.

Referenced by findDirectives(), and clang::VerifyDiagnosticConsumer::HandleComment().

PrintExpected()

PrintUnexpected()