//===--- extra/module-map-checker/CoverageChecker.cpp -------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // This file implements a class that validates a module map by checking that // all headers in the corresponding directories are accounted for. // // This class uses a previously loaded module map object. // Starting at the module map file directory, or just the include // paths, if specified, it will collect the names of all the files it // considers headers (no extension, .h, or .inc--if you need more, modify the // ModularizeUtilities::isHeader function). // It then compares the headers against those referenced // in the module map, either explicitly named, or implicitly named via an // umbrella directory or umbrella file, as parsed by the ModuleMap object. // If headers are found which are not referenced or covered by an umbrella // directory or file, warning messages will be produced, and the doChecks // function will return an error code of 1. Other errors result in an error // code of 2. If no problems are found, an error code of 0 is returned. // // Note that in the case of umbrella headers, this tool invokes the compiler // to preprocess the file, and uses a callback to collect the header files // included by the umbrella header or any of its nested includes. If any // front end options are needed for these compiler invocations, these are // to be passed in via the CommandLine parameter. // // Warning message have the form: // // warning: module.modulemap does not account for file: Level3A.h // // Note that for the case of the module map referencing a file that does // not exist, the module map parser in Clang will (at the time of this // writing) display an error message. // // Potential problems with this program: // // 1. Might need a better header matching mechanism, or extensions to the // canonical file format used. // // 2. It might need to support additional header file extensions. // // Future directions: // // 1. Add an option to fix the problems found, writing a new module map. // Include an extra option to add unaccounted-for headers as excluded. // //===----------------------------------------------------------------------===// #include "ModularizeUtilities.h" #include "clang/AST/ASTConsumer.h" #include "CoverageChecker.h" #include "clang/AST/ASTContext.h" #include "clang/AST/RecursiveASTVisitor.h" #include "clang/Basic/SourceManager.h" #include "clang/Driver/Options.h" #include "clang/Frontend/CompilerInstance.h" #include "clang/Frontend/FrontendAction.h" #include "clang/Frontend/FrontendActions.h" #include "clang/Lex/PPCallbacks.h" #include "clang/Lex/Preprocessor.h" #include "clang/Tooling/CompilationDatabase.h" #include "clang/Tooling/Tooling.h" #include "llvm/Option/Option.h" #include "llvm/Support/CommandLine.h" #include "llvm/Support/FileSystem.h" #include "llvm/Support/Path.h" #include "llvm/Support/raw_ostream.h" usingnamespaceModularize; usingnamespaceclang; usingnamespaceclang::driver; usingnamespaceclang::driver::options; usingnamespaceclang::tooling; cl; sys; // Preprocessor callbacks. // We basically just collect include files. class CoverageCheckerCallbacks : public PPCallbacks { … }; // Frontend action stuff: // Consumer is responsible for setting up the callbacks. class CoverageCheckerConsumer : public ASTConsumer { … }; class CoverageCheckerAction : public SyntaxOnlyAction { … }; class CoverageCheckerFrontendActionFactory : public FrontendActionFactory { … }; // CoverageChecker class implementation. // Constructor. CoverageChecker::CoverageChecker(StringRef ModuleMapPath, std::vector<std::string> &IncludePaths, ArrayRef<std::string> CommandLine, clang::ModuleMap *ModuleMap) : … { … } // Create instance of CoverageChecker, to simplify setting up // subordinate objects. std::unique_ptr<CoverageChecker> CoverageChecker::createCoverageChecker( StringRef ModuleMapPath, std::vector<std::string> &IncludePaths, ArrayRef<std::string> CommandLine, clang::ModuleMap *ModuleMap) { … } // Do checks. // Starting from the directory of the module.modulemap file, // Find all header files, optionally looking only at files // covered by the include path options, and compare against // the headers referenced by the module.modulemap file. // Display warnings for unaccounted-for header files. // Returns error_code of 0 if there were no errors or warnings, 1 if there // were warnings, 2 if any other problem, such as if a bad // module map path argument was specified. std::error_code CoverageChecker::doChecks() { … } // The following functions are called by doChecks. // Collect module headers. // Walks the modules and collects referenced headers into // ModuleMapHeadersSet. void CoverageChecker::collectModuleHeaders() { … } // Collect referenced headers from one module. // Collects the headers referenced in the given module into // ModuleMapHeadersSet. // FIXME: Doesn't collect files from umbrella header. bool CoverageChecker::collectModuleHeaders(const Module &Mod) { … } // Collect headers from an umbrella directory. bool CoverageChecker::collectUmbrellaHeaders(StringRef UmbrellaDirName) { … } // Collect headers referenced from an umbrella file. bool CoverageChecker::collectUmbrellaHeaderHeaders(StringRef UmbrellaHeaderName) { … } // Called from CoverageCheckerCallbacks to track a header included // from an umbrella header. void CoverageChecker::collectUmbrellaHeaderHeader(StringRef HeaderName) { … } // Collect file system header files. // This function scans the file system for header files, // starting at the directory of the module.modulemap file, // optionally filtering out all but the files covered by // the include path options. // Returns true if no errors. bool CoverageChecker::collectFileSystemHeaders() { … } // Collect file system header files from the given path. // This function scans the file system for header files, // starting at the given directory, which is assumed to be // relative to the directory of the module.modulemap file. // \returns True if no errors. bool CoverageChecker::collectFileSystemHeaders(StringRef IncludePath) { … } // Find headers unaccounted-for in module map. // This function compares the list of collected header files // against those referenced in the module map. Display // warnings for unaccounted-for header files. // Save unaccounted-for file list for possible. // fixing action. // FIXME: There probably needs to be some canonalization // of file names so that header path can be correctly // matched. Also, a map could be used for the headers // referenced in the module, but void CoverageChecker::findUnaccountedForHeaders() { … }