[clang-tools-extra] r176847 - Initial check in of Doug's modularize tool for checking header readiness for modules, plus some changes per review feedback: Removed system headers, changed to use stream output, added file name in message.

Manuel Klimek klimek at google.com
Wed Mar 13 12:49:09 PDT 2013


On Wed, Mar 13, 2013 at 12:18 PM, Thompson, John <
John_Thompson at playstation.sony.com> wrote:

>  Manuel,****
>
> ** **
>
> Thanks for the feedback.****
>
> ** **
>
> Are these the sort of comments you had in mind?:****
>
> ** **
>
> Index: modularize/Modularize.cpp****
>
> ===================================================================****
>
> --- modularize/Modularize.cpp   (revision 176883)****
>
> +++ modularize/Modularize.cpp   (working copy)****
>
> @@ -34,6 +34,29 @@****
>
> //****
>
> // note: '(symbol)' in (file) at (row):(column) not always provided****
>
> //****
>
> +// Future directions:****
>
> +//****
>
> +// Basically, we want to add new checks for whatever we can check with
> respect****
>
> +// checking headers for module'ability.****
>
> +//****
>
> +// Some ideas:****
>
> +//****
>
> +// 1. Group duplicate definition messages into a single list.****
>
> +//****
>
> +// 2. Try to figure out the preprocessor conditional directives that****
>
> +// contribute to problems.****
>
> +//****
>
> +// 3. Check for correct and consistent usage of extern "C" {} and other**
> **
>
> +// directives. Warn about #include inside extern "C" {}.****
>
> +//****
>
> +// 4. What else?****
>
> +//****
>
> +// General clean-up and refactoring:****
>
> +//****
>
> +// 1. (From Manuel Klimek:) The Location class seems to be something that
> we might
>

Afaik we don't usually attribute FIXMEs :)

Apart from that LG.


> ****
>
> +// want to design to be applicable to a wider range of tools, and stick it
> ****
>
> +// somewhere into Tooling/ in mainline****
>
> +//****
>
>
> //===----------------------------------------------------------------------===//
> ****
>
> ** **
>
> #include "llvm/Config/config.h"****
>
> @@ -58,6 +81,9 @@****
>
> using namespace clang;****
>
> using llvm::StringRef;****
>
> ** **
>
> +// FIXME: The Location class seems to be something that we might****
>
> +// want to design to be applicable to a wider range of tools, and stick it
> ****
>
> +// somewhere into Tooling/ in mainline****
>
> struct Location {****
>
>    const FileEntry *File;****
>
>    unsigned Line, Column;****
>
> @@ -346,8 +372,9 @@****
>
>    EntityMap Entities;****
>
>    ClangTool Tool(*Compilations, Headers);****
>
>    int HadErrors = Tool.run(new ModularizeFrontendActionFactory(Entities));
> ****
>
> -****
>
> +****
>
>    // Check for the same entity being defined in multiple places.****
>
> +  // FIXME: Could they be grouped into a list?****
>
>    for (EntityMap::iterator E = Entities.begin(), EEnd = Entities.end();**
> **
>
>         E != EEnd; ++E) {****
>
>      Location Tag, Value, Macro;****
>
> @@ -375,6 +402,8 @@****
>
> ** **
>
>    // Complain about any headers that have contents that differ based on
> how****
>
>    // they are included.****
>
> +  // FIXME: Could we provide information about which preprocessor
> conditionals****
>
> +  // are involved?****
>
>    for (llvm::DenseMap<const FileEntry *, HeaderContents>::iterator****
>
>              H = Entities.HeaderContentMismatches.begin(),****
>
>           HEnd = Entities.HeaderContentMismatches.end();****
>
> ** **
>
> -John****
>
> ** **
>
> *From:* cfe-commits-bounces at cs.uiuc.edu [mailto:
> cfe-commits-bounces at cs.uiuc.edu] *On Behalf Of *Manuel Klimek
> *Sent:* Wednesday, March 13, 2013 11:31 AM
> *To:* John Thompson
> *Cc:* cfe-commits at cs.uiuc.edu
> *Subject:* Re: [clang-tools-extra] r176847 - Initial check in of Doug's
> modularize tool for checking header readiness for modules, plus some
> changes per review feedback: Removed system headers, changed to use stream
> output, added file name in message.****
>
> ** **
>
> On Wed, Mar 13, 2013 at 11:19 AM, John Thompson <
> john.thompson.jtsoftware at gmail.com> wrote:****
>
>  Manuel,****
>
> Did I check in too soon?****
>
>  ****
>
> My thinking is that it would be better to make incremental changes to the
> code (originating from Doug Gregor with permission) with respect to the
> review comments.  Since it's a new tool and not part of the main clang
> tree, as long as it builds and runs okay it should be okay to iteratively
> get it in shape, right?****
>
>  ****
>
> Otherwise please accept my apologies, as I've been away from Clang
> development for a while.****
>
>  ** **
>
> In general the idea is to wait for a "looks good", especially when
> checking in new things.****
>
> ** **
>
> I'm all for unblocking iterations in-tree (I'm more in favor of that than
> others in the community), so feel free to loop me in directly if you have
> something new for clang-extra that you'd like to get unblocked on.****
>
> ** **
>
> In this particular case, I'd appreciate it if we could add comments about
> the direction we'd want to take it to the top of the file / to the classes.
> I worry that since this is pretty well known people will look at it to copy
> from :)****
>
> ** **
>
> For example, the Location class seems to be something that we might want
> to design to be applicable to a wider range of tools, and stick it
> somewhere into Tooling/ in mainline, and I think a comment indicating that
> would be nice...****
>
> ** **
>
> Thanks,****
>
> /Manuel****
>
>  ****
>
>   ****
>
> -John****
>
> On Wed, Mar 13, 2013 at 10:42 AM, Manuel Klimek <klimek at google.com> wrote:
> ****
>
> The review thread I found didn't contain a "looks good"; did I miss that?*
> ***
>
> I'd at least want this to be full of FIXMEs and comments explaining the
> direction we want to take this to.****
>
> ** **
>
> On Mon, Mar 11, 2013 at 7:07 PM, John Thompson <
> John.Thompson.JTSoftware at gmail.com> wrote:****
>
> Author: jtsoftware
> Date: Mon Mar 11 21:07:30 2013
> New Revision: 176847
>
> URL: http://llvm.org/viewvc/llvm-project?rev=176847&view=rev
> Log:
> Initial check in of Doug's modularize tool for checking header readiness
> for modules, plus some changes per review feedback:  Removed system
> headers, changed to use stream output, added file name in message.
>
> Added:
>     clang-tools-extra/trunk/modularize/
>     clang-tools-extra/trunk/modularize/CMakeLists.txt
>     clang-tools-extra/trunk/modularize/Makefile
>     clang-tools-extra/trunk/modularize/Modularize.cpp
> Modified:
>     clang-tools-extra/trunk/CMakeLists.txt
>     clang-tools-extra/trunk/Makefile
>
> Modified: clang-tools-extra/trunk/CMakeLists.txt
> URL:
> http://llvm.org/viewvc/llvm-project/clang-tools-extra/trunk/CMakeLists.txt?rev=176847&r1=176846&r2=176847&view=diff
>
> ==============================================================================
> --- clang-tools-extra/trunk/CMakeLists.txt (original)
> +++ clang-tools-extra/trunk/CMakeLists.txt Mon Mar 11 21:07:30 2013
> @@ -2,6 +2,7 @@ add_subdirectory(remove-cstr-calls)
>  add_subdirectory(tool-template)
>  add_subdirectory(clang-format)
>  add_subdirectory(cpp11-migrate)
> +add_subdirectory(modularize)
>
>  # Add the common testsuite after all the tools.
>  add_subdirectory(test)
>
> Modified: clang-tools-extra/trunk/Makefile
> URL:
> http://llvm.org/viewvc/llvm-project/clang-tools-extra/trunk/Makefile?rev=176847&r1=176846&r2=176847&view=diff
>
> ==============================================================================
> --- clang-tools-extra/trunk/Makefile (original)
> +++ clang-tools-extra/trunk/Makefile Mon Mar 11 21:07:30 2013
> @@ -11,7 +11,7 @@ CLANG_LEVEL := ../..
>
>  include $(CLANG_LEVEL)/../../Makefile.config
>
> -PARALLEL_DIRS := remove-cstr-calls tool-template clang-format
> cpp11-migrate
> +PARALLEL_DIRS := remove-cstr-calls tool-template clang-format
> cpp11-migrate modularize
>
>  include $(CLANG_LEVEL)/Makefile
>
>
> Added: clang-tools-extra/trunk/modularize/CMakeLists.txt
> URL:
> http://llvm.org/viewvc/llvm-project/clang-tools-extra/trunk/modularize/CMakeLists.txt?rev=176847&view=auto
>
> ==============================================================================
> --- clang-tools-extra/trunk/modularize/CMakeLists.txt (added)
> +++ clang-tools-extra/trunk/modularize/CMakeLists.txt Mon Mar 11 21:07:30
> 2013
> @@ -0,0 +1,16 @@
> +set(LLVM_LINK_COMPONENTS
> +  ${LLVM_TARGETS_TO_BUILD}
> +  asmparser
> +  support
> +  mc
> +  )
> +
> +add_clang_executable(modularize
> +  Modularize.cpp
> +  )
> +
> +target_link_libraries(modularize
> +  clangTooling
> +  clangBasic
> +  clangRewriteFrontend
> +  )
>
> Added: clang-tools-extra/trunk/modularize/Makefile
> URL:
> http://llvm.org/viewvc/llvm-project/clang-tools-extra/trunk/modularize/Makefile?rev=176847&view=auto
>
> ==============================================================================
> --- clang-tools-extra/trunk/modularize/Makefile (added)
> +++ clang-tools-extra/trunk/modularize/Makefile Mon Mar 11 21:07:30 2013
> @@ -0,0 +1,24 @@
> +##===- tools/modularize/Makefile ---------------------------*- Makefile
> -*-===##
> +#
> +#                     The LLVM Compiler Infrastructure
> +#
> +# This file is distributed under the University of Illinois Open Source
> +# License. See LICENSE.TXT for details.
> +#
>
> +##===----------------------------------------------------------------------===##
> +
> +CLANG_LEVEL := ../../..
> +
> +TOOLNAME = modularize
> +NO_INSTALL = 0
> +
> +# No plugins, optimize startup time.
> +TOOL_NO_EXPORTS = 1
> +
> +LINK_COMPONENTS := mcparser bitreader support mc
> +USEDLIBS = clangFrontend.a clangSerialization.a clangDriver.a \
> +           clangTooling.a clangParse.a clangSema.a clangAnalysis.a \
> +           clangEdit.a clangAST.a clangLex.a clangBasic.a
> +
> +include $(CLANG_LEVEL)/Makefile
> +
>
> Added: clang-tools-extra/trunk/modularize/Modularize.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/clang-tools-extra/trunk/modularize/Modularize.cpp?rev=176847&view=auto
>
> ==============================================================================
> --- clang-tools-extra/trunk/modularize/Modularize.cpp (added)
> +++ clang-tools-extra/trunk/modularize/Modularize.cpp Mon Mar 11 21:07:30
> 2013
> @@ -0,0 +1,400 @@
> +//===- tools/clang/Modularize.cpp - Check modularized headers
> -------------===//
> +//
> +//                     The LLVM Compiler Infrastructure
> +//
> +// This file is distributed under the University of Illinois Open Source
> +// License. See LICENSE.TXT for details.
> +//
>
> +//===----------------------------------------------------------------------===//
> +//
> +// This file implements a tool that checks whether a set of headers
> provides
> +// the consistent definitions required to use modules. For example, it
> detects
> +// whether the same entity (say, a NULL macro or size_t typedef) is
> defined in
> +// multiple headers or whether a header produces different definitions
> under
> +// different circumstances. These conditions cause modules built from the
> +// headers to behave poorly, and should be fixed before introducing a
> module
> +// map.
> +//
> +// Modularize takes as argument a file name for a file containing the
> +// newline-separated list of headers to check with respect to each other.
> +// Modularize also accepts regular front-end arguments.
> +//
> +// Usage:   modularize (include-files_list) [(front-end-options) ...]
> +//
> +// Modularize will do normal parsing, reporting normal errors and
> warnings,
> +// but will also report special error messages like the following:
> +//
> +// error: '(symbol)' defined at both (file):(row):(column) and
> +//  (file):(row):(column)
> +//
> +// error: header '(file)' has different contents dependening on how it was
> +//   included
> +//
> +// The latter might be followed by messages like the following:
> +//
> +// note: '(symbol)' in (file) at (row):(column) not always provided
> +//
>
> +//===----------------------------------------------------------------------===//
> +
> +#include "llvm/Config/config.h"
> +#include "llvm/Support/FileSystem.h"
> +#include "llvm/ADT/StringRef.h"
> +#include "clang/Basic/SourceManager.h"
> +#include "clang/Lex/Preprocessor.h"
> +#include "clang/AST/ASTConsumer.h"
> +#include "clang/AST/ASTContext.h"
> +#include "clang/AST/RecursiveASTVisitor.h"
> +#include "clang/Frontend/CompilerInstance.h"
> +#include "clang/Frontend/FrontendActions.h"
> +#include "clang/Tooling/CompilationDatabase.h"
> +#include "clang/Tooling/Tooling.h"
> +#include <vector>
> +#include <string>
> +#include <fstream>
> +#include <algorithm>
> +#include <iterator>
> +
> +using namespace clang::tooling;
> +using namespace clang;
> +using llvm::StringRef;
> +
> +struct Location {
> +  const FileEntry *File;
> +  unsigned Line, Column;
> +
> +  Location() : File(), Line(), Column() { }
> +
> +  Location(SourceManager &SM, SourceLocation Loc) : File(), Line(),
> Column() {
> +    Loc = SM.getExpansionLoc(Loc);
> +    if (Loc.isInvalid())
> +      return;
> +
> +    std::pair<FileID, unsigned> Decomposed = SM.getDecomposedLoc(Loc);
> +    File = SM.getFileEntryForID(Decomposed.first);
> +    if (!File)
> +      return;
> +
> +    Line = SM.getLineNumber(Decomposed.first, Decomposed.second);
> +    Column = SM.getColumnNumber(Decomposed.first, Decomposed.second);
> +  }
> +
> +  operator bool() const { return File != 0; }
> +
> +  friend bool operator==(const Location &X, const Location &Y) {
> +    return X.File == Y.File && X.Line == Y.Line && X.Column == Y.Column;
> +  }
> +
> +  friend bool operator!=(const Location &X, const Location &Y) {
> +    return !(X == Y);
> +  }
> +
> +  friend bool operator<(const Location &X, const Location &Y) {
> +    if (X.File != Y.File)
> +      return X.File < Y.File;
> +    if (X.Line != Y.Line)
> +      return X.Line < Y.Line;
> +    return X.Column < Y.Column;
> +  }
> +  friend bool operator>(const Location &X, const Location &Y) {
> +    return Y < X;
> +  }
> +  friend bool operator<=(const Location &X, const Location &Y) {
> +    return !(Y < X);
> +  }
> +  friend bool operator>=(const Location &X, const Location &Y) {
> +    return !(X < Y);
> +  }
> +
> +};
> +
> +
> +struct Entry {
> +  enum Kind {
> +    Tag,
> +    Value,
> +    Macro
> +  } Kind;
> +
> +  Location Loc;
> +};
> +
> +struct HeaderEntry {
> +  std::string Name;
> +  Location Loc;
> +
> +  friend bool operator==(const HeaderEntry &X, const HeaderEntry &Y) {
> +    return X.Loc == Y.Loc && X.Name == Y.Name;
> +  }
> +  friend bool operator!=(const HeaderEntry &X, const HeaderEntry &Y) {
> +    return !(X == Y);
> +  }
> +  friend bool operator<(const HeaderEntry &X, const HeaderEntry &Y) {
> +    return X.Loc < Y.Loc || (X.Loc == Y.Loc && X.Name < Y.Name);
> +  }
> +  friend bool operator>(const HeaderEntry &X, const HeaderEntry &Y) {
> +    return Y < X;
> +  }
> +  friend bool operator<=(const HeaderEntry &X, const HeaderEntry &Y) {
> +    return !(Y < X);
> +  }
> +  friend bool operator>=(const HeaderEntry &X, const HeaderEntry &Y) {
> +    return !(X < Y);
> +  }
> +};
> +
> +typedef std::vector<HeaderEntry> HeaderContents;
> +
> +class EntityMap : public llvm::StringMap<llvm::SmallVector<Entry, 2> > {
> +  llvm::DenseMap<const FileEntry *, HeaderContents> CurHeaderContents;
> +  llvm::DenseMap<const FileEntry *, HeaderContents> AllHeaderContents;
> +
> +public:
> +  llvm::DenseMap<const FileEntry *, HeaderContents>
> HeaderContentMismatches;
> +
> +  void add(const std::string &Name, enum Entry::Kind Kind, Location Loc) {
> +    // Record this entity in its header.
> +    HeaderEntry HE = { Name, Loc };
> +    CurHeaderContents[Loc.File].push_back(HE);
> +
> +    // Check whether we've seen this entry before.
> +    llvm::SmallVector<Entry, 2> &Entries = (*this)[Name];
> +    for (unsigned I = 0, N = Entries.size(); I != N; ++I) {
> +      if (Entries[I].Kind == Kind && Entries[I].Loc == Loc)
> +        return;
> +    }
> +
> +    // We have not seen this entry before; record it.
> +    Entry E = { Kind, Loc };
> +    Entries.push_back(E);
> +  }
> +
> +  void mergeCurHeaderContents() {
> +    for (llvm::DenseMap<const FileEntry *, HeaderContents>::iterator
> +           H = CurHeaderContents.begin(), HEnd = CurHeaderContents.end();
> +         H != HEnd; ++H) {
> +      // Sort contents.
> +      std::sort(H->second.begin(), H->second.end());
> +
> +      // Check whether we've seen this header before.
> +      llvm::DenseMap<const FileEntry *, HeaderContents>::iterator KnownH
> +        = AllHeaderContents.find(H->first);
> +      if (KnownH == AllHeaderContents.end()) {
> +        // We haven't seen this header before; record its contents.
> +        AllHeaderContents.insert(*H);
> +        continue;
> +      }
> +
> +      // If the header contents are the same, we're done.
> +      if (H->second == KnownH->second)
> +        continue;
> +
> +      // Determine what changed.
> +      std::set_symmetric_difference(H->second.begin(), H->second.end(),
> +        KnownH->second.begin(),
> +        KnownH->second.end(),
> +        std::back_inserter(HeaderContentMismatches[H->first]));
> +    }
> +
> +    CurHeaderContents.clear();
> +  }
> +};
> +
> +class CollectEntitiesVisitor
> +  : public RecursiveASTVisitor<CollectEntitiesVisitor>
> +{
> +  SourceManager &SM;
> +  EntityMap &Entities;
> +
> +public:
> +  CollectEntitiesVisitor(SourceManager &SM, EntityMap &Entities)
> +    : SM(SM), Entities(Entities) { }
> +
> +  bool TraverseStmt(Stmt *S) { return true; }
> +  bool TraverseType(QualType T) { return true; }
> +  bool TraverseTypeLoc(TypeLoc TL) { return true; }
> +  bool TraverseNestedNameSpecifier(NestedNameSpecifier *NNS) { return
> true; }
> +  bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS) {
> return true; }
> +  bool TraverseDeclarationNameInfo(DeclarationNameInfo NameInfo) { return
> true; }
> +  bool TraverseTemplateName(TemplateName Template) { return true; }
> +  bool TraverseTemplateArgument(const TemplateArgument &Arg) { return
> true; }
> +  bool TraverseTemplateArgumentLoc(const TemplateArgumentLoc &ArgLoc) {
> return true; }
> +  bool TraverseTemplateArguments(const TemplateArgument *Args,
> +                                 unsigned NumArgs) { return true; }
> +  bool TraverseConstructorInitializer(CXXCtorInitializer *Init) { return
> true; }
> +  bool TraverseLambdaCapture(LambdaExpr::Capture C) { return true; }
> +
> +  bool VisitNamedDecl(NamedDecl *ND) {
> +    // We only care about file-context variables.
> +    if (!ND->getDeclContext()->isFileContext())
> +      return true;
> +
> +    // Skip declarations that tend to be properly multiply-declared.
> +    if (isa<NamespaceDecl>(ND) || isa<UsingDirectiveDecl>(ND) ||
> +        isa<NamespaceAliasDecl>(ND) ||
> +        isa<ClassTemplateSpecializationDecl>(ND) ||
> +        isa<UsingDecl>(ND) || isa<UsingShadowDecl>(ND) ||
> +        isa<FunctionDecl>(ND) || isa<FunctionTemplateDecl>(ND) ||
> +        (isa<TagDecl>(ND) &&
> +         !cast<TagDecl>(ND)->isThisDeclarationADefinition()))
> +      return true;
> +
> +    std::string Name = ND->getNameAsString();
> +    if (Name.empty())
> +      return true;
> +
> +    Location Loc(SM, ND->getLocation());
> +    if (!Loc)
> +      return true;
> +
> +    Entities.add(Name, isa<TagDecl>(ND)? Entry::Tag : Entry::Value, Loc);
> +    return true;
> +  }
> +};
> +
> +class CollectEntitiesConsumer : public ASTConsumer {
> +  EntityMap &Entities;
> +  Preprocessor &PP;
> +
> +public:
> +  CollectEntitiesConsumer(EntityMap &Entities, Preprocessor &PP)
> +    : Entities(Entities), PP(PP) { }
> +
> +  virtual void HandleTranslationUnit(ASTContext &Ctx) {
> +    SourceManager &SM = Ctx.getSourceManager();
> +
> +    // Collect declared entities.
> +    CollectEntitiesVisitor(SM, Entities)
> +      .TraverseDecl(Ctx.getTranslationUnitDecl());
> +
> +    // Collect macro definitions.
> +    for (Preprocessor::macro_iterator M = PP.macro_begin(),
> +                                   MEnd = PP.macro_end();
> +         M != MEnd; ++M) {
> +      Location Loc(SM, M->second->getLocation());
> +      if (!Loc)
> +        continue;
> +
> +      Entities.add(M->first->getName().str(), Entry::Macro, Loc);
> +    }
> +
> +    // Merge header contents.
> +    Entities.mergeCurHeaderContents();
> +  }
> +};
> +
> +class CollectEntitiesAction : public SyntaxOnlyAction {
> +  EntityMap &Entities;
> +
> +protected:
> +  virtual clang::ASTConsumer *CreateASTConsumer(CompilerInstance &CI,
> +                                                StringRef InFile) {
> +    return new CollectEntitiesConsumer(Entities, CI.getPreprocessor());
> +  }
> +
> +public:
> +  CollectEntitiesAction(EntityMap &Entities) : Entities(Entities) { }
> +};
> +
> +class ModularizeFrontendActionFactory : public FrontendActionFactory {
> +  EntityMap &Entities;
> +
> +public:
> +  ModularizeFrontendActionFactory(EntityMap &Entities) :
> Entities(Entities) { }
> +
> +  virtual CollectEntitiesAction *create() {
> +    return new CollectEntitiesAction(Entities);
> +  }
> +};
> +
> +int main(int argc, const char **argv) {
> +  // Figure out command-line arguments.
> +  if (argc < 2) {
> +    llvm::errs() << "Usage: modularize <file containing header names>
> <arguments>\n";
> +    return 1;
> +  }
> +
> +  // Load the list of headers.
> +  std::string File = argv[1];
> +  llvm::SmallVector<std::string, 8> Headers;
> +  {
> +    std::ifstream In(File.c_str());
> +    if (!In) {
> +      llvm::errs() << "Unable to open header list file \"" <<
> File.c_str() << "\"\n";
> +      return 2;
> +    }
> +
> +    std::string Line;
> +    while (std::getline(In, Line)) {
> +      if (Line.empty() || Line[0] == '#')
> +        continue;
> +
> +      Headers.push_back(Line);
> +    }
> +  }
> +
> +  // Create the compilation database.
> +  llvm::OwningPtr<CompilationDatabase> Compilations;
> +  {
> +    std::vector<std::string> Arguments;
> +    for (int I = 2; I < argc; ++I)
> +      Arguments.push_back(argv[I]);
> +    SmallString<256> PathBuf;
> +    llvm::sys::fs::current_path(PathBuf);
> +    Compilations.reset(new FixedCompilationDatabase(Twine(PathBuf),
> Arguments));
> +  }
> +
> +  // Parse all of the headers, detecting duplicates.
> +  EntityMap Entities;
> +  ClangTool Tool(*Compilations, Headers);
> +  int HadErrors = Tool.run(new ModularizeFrontendActionFactory(Entities));
> +
> +  // Check for the same entity being defined in multiple places.
> +  for (EntityMap::iterator E = Entities.begin(), EEnd = Entities.end();
> +       E != EEnd; ++E) {
> +    Location Tag, Value, Macro;
> +    for (unsigned I = 0, N = E->second.size(); I != N; ++I) {
> +      Location *Which;
> +      switch (E->second[I].Kind) {
> +      case Entry::Tag: Which = &Tag; break;
> +      case Entry::Value: Which = &Value; break;
> +      case Entry::Macro: Which = &Macro; break;
> +      }
> +
> +      if (!Which->File) {
> +        *Which = E->second[I].Loc;
> +        continue;
> +      }
> +
> +      llvm::errs() << "error: '" << E->first().str().c_str()
> +        << "' defined at both " << Which->File->getName()
> +        << ":" << Which->Line << ":" << Which->Column
> +        << " and " << E->second[I].Loc.File->getName() << ":"
> +        << E->second[I].Loc.Line << ":" << E->second[I].Loc.Column <<
> "\n";
> +      HadErrors = 1;
> +    }
> +  }
> +
> +  // Complain about any headers that have contents that differ based on
> how
> +  // they are included.
> +  for (llvm::DenseMap<const FileEntry *, HeaderContents>::iterator
> +            H = Entities.HeaderContentMismatches.begin(),
> +         HEnd = Entities.HeaderContentMismatches.end();
> +       H != HEnd; ++H) {
> +    if (H->second.empty()) {
> +      llvm::errs() << "internal error: phantom header content mismatch\n";
> +      continue;
> +    }
> +
> +    HadErrors = 1;
> +    llvm::errs() << "error: header '" << H->first->getName()
> +      << "' has different contents dependening on how it was included\n";
> +    for (unsigned I = 0, N = H->second.size(); I != N; ++I) {
> +      llvm::errs() << "note: '" << H->second[I].Name.c_str()
> +        << "' in " << H->second[I].Loc.File->getName() << " at "
> +        << H->second[I].Loc.Line << ":" << H->second[I].Loc.Column
> +        << " not always provided\n";
> +    }
> +  }
> +
> +  return HadErrors;
> +}
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits****
>
> ** **
>
>
>
> ****
>
> --
> John Thompson
> John.Thompson.JTSoftware at gmail.com****
>
>  ** **
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130313/c37ac686/attachment.html>


More information about the cfe-commits mailing list