From ed84df008f609f7245871a9b6d00b57cb19410aa Mon Sep 17 00:00:00 2001 From: Bruno Cardoso Lopes Date: Fri, 21 Oct 2016 01:41:56 +0000 Subject: [PATCH] [Modules] Add 'no_undeclared_includes' module map attribute The 'no_undeclared_includes' attribute should be used in a module to tell that only non-modular headers and headers from used modules are accepted. The main motivation behind this is to prevent dep cycles between system libraries (such as darwin) and libc++. Patch by Richard Smith! llvm-svn: 284797 --- clang/docs/Modules.rst | 2 + clang/include/clang/Basic/Module.h | 4 ++ clang/include/clang/Lex/HeaderSearch.h | 6 ++- clang/include/clang/Lex/ModuleMap.h | 14 +++++- clang/lib/Basic/Module.cpp | 9 +++- clang/lib/Lex/HeaderSearch.cpp | 43 ++++++++++++++++--- clang/lib/Lex/ModuleMap.cpp | 37 ++++++++++------ .../Inputs/System/usr/include/stdbool.h | 2 +- .../Inputs/libc-libcxx/include/c++/math.h | 2 + .../libc-libcxx/include/c++/module.modulemap | 4 ++ .../Inputs/libc-libcxx/include/c++/stdlib.h | 1 + .../Modules/Inputs/libc-libcxx/include/math.h | 1 + .../libc-libcxx/include/module.modulemap | 4 ++ .../Inputs/libc-libcxx/include/stdlib.h | 1 + .../sysroot/usr/include/c++/v1/__config | 6 +++ .../sysroot/usr/include/c++/v1/math.h | 7 +++ .../usr/include/c++/v1/module.modulemap | 7 +++ .../sysroot/usr/include/c++/v1/stddef.h | 6 +++ .../sysroot/usr/include/c++/v1/stdio.h | 6 +++ .../sysroot/usr/include/c++/v1/stdlib.h | 6 +++ .../libc-libcxx/sysroot/usr/include/math.h | 1 + .../sysroot/usr/include/module.modulemap | 9 ++++ .../libc-libcxx/sysroot/usr/include/stddef.h | 2 + .../libc-libcxx/sysroot/usr/include/stdint.h | 22 ++++++++++ .../libc-libcxx/sysroot/usr/include/stdio.h | 4 ++ .../libc-libcxx/sysroot/usr/include/stdlib.h | 1 + .../libc-libcxx/sysroot/usr/include/util.h | 6 +++ clang/test/Modules/libc-libcxx.cpp | 10 +++++ 28 files changed, 196 insertions(+), 27 deletions(-) create mode 100644 clang/test/Modules/Inputs/libc-libcxx/include/c++/math.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/include/c++/module.modulemap create mode 100644 clang/test/Modules/Inputs/libc-libcxx/include/c++/stdlib.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/include/math.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/include/module.modulemap create mode 100644 clang/test/Modules/Inputs/libc-libcxx/include/stdlib.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/__config create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/math.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/module.modulemap create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stddef.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdio.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdlib.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/math.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/module.modulemap create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stddef.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdint.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdio.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdlib.h create mode 100644 clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/util.h create mode 100644 clang/test/Modules/libc-libcxx.cpp diff --git a/clang/docs/Modules.rst b/clang/docs/Modules.rst index ad71a95420b245..e252c63d27f772 100644 --- a/clang/docs/Modules.rst +++ b/clang/docs/Modules.rst @@ -365,6 +365,8 @@ The ``system`` attribute specifies that the module is a system module. When a sy The ``extern_c`` attribute specifies that the module contains C code that can be used from within C++. When such a module is built for use in C++ code, all of the module's headers will be treated as if they were contained within an implicit ``extern "C"`` block. An import for a module with this attribute can appear within an ``extern "C"`` block. No other restrictions are lifted, however: the module currently cannot be imported within an ``extern "C"`` block in a namespace. +The ``no_undeclared_includes`` attribute specifies that the module can only reach non-modular headers and headers from used modules. Since some headers could be present in more than one search path and map to different modules in each path, this mechanism helps clang to find the right header, i.e., prefer the one for the current module or in a submodule instead of the first usual match in the search paths. + Modules can have a number of different kinds of members, each of which is described below: .. parsed-literal:: diff --git a/clang/include/clang/Basic/Module.h b/clang/include/clang/Basic/Module.h index 1702fb1114d7f2..31c5c7ec9ca885 100644 --- a/clang/include/clang/Basic/Module.h +++ b/clang/include/clang/Basic/Module.h @@ -201,6 +201,10 @@ class Module { /// built. unsigned ConfigMacrosExhaustive : 1; + /// \brief Whether files in this module can only include non-modular headers + /// and headers from used modules. + unsigned NoUndeclaredIncludes : 1; + /// \brief Describes the visibility of the various names within a /// particular module. enum NameVisibilityKind { diff --git a/clang/include/clang/Lex/HeaderSearch.h b/clang/include/clang/Lex/HeaderSearch.h index 800facbcebfca7..faba6619511a91 100644 --- a/clang/include/clang/Lex/HeaderSearch.h +++ b/clang/include/clang/Lex/HeaderSearch.h @@ -523,8 +523,10 @@ class HeaderSearch { /// \brief Retrieve the module that corresponds to the given file, if any. /// /// \param File The header that we wish to map to a module. - ModuleMap::KnownHeader findModuleForHeader(const FileEntry *File) const; - + /// \param AllowTextual Whether we want to find textual headers too. + ModuleMap::KnownHeader findModuleForHeader(const FileEntry *File, + bool AllowTextual = false) const; + /// \brief Read the contents of the given module map file. /// /// \param File The module map file. diff --git a/clang/include/clang/Lex/ModuleMap.h b/clang/include/clang/Lex/ModuleMap.h index 8a704db2cda2fd..4288a4f506c7fd 100644 --- a/clang/include/clang/Lex/ModuleMap.h +++ b/clang/include/clang/Lex/ModuleMap.h @@ -171,7 +171,8 @@ class ModuleMap { /// \brief The set of attributes that can be attached to a module. struct Attributes { - Attributes() : IsSystem(), IsExternC(), IsExhaustive() {} + Attributes() + : IsSystem(), IsExternC(), IsExhaustive(), NoUndeclaredIncludes() {} /// \brief Whether this is a system module. unsigned IsSystem : 1; @@ -181,6 +182,10 @@ class ModuleMap { /// \brief Whether this is an exhaustive set of configuration macros. unsigned IsExhaustive : 1; + + /// \brief Whether files in this module can only include non-modular headers + /// and headers from used modules. + unsigned NoUndeclaredIncludes : 1; }; /// \brief A directory for which framework modules can be inferred. @@ -315,10 +320,15 @@ class ModuleMap { /// /// \param File The header file that is likely to be included. /// + /// \param AllowTextual If \c true and \p File is a textual header, return + /// its owning module. Otherwise, no KnownHeader will be returned if the + /// file is only known as a textual header. + /// /// \returns The module KnownHeader, which provides the module that owns the /// given header file. The KnownHeader is default constructed to indicate /// that no module owns this header file. - KnownHeader findModuleForHeader(const FileEntry *File); + KnownHeader findModuleForHeader(const FileEntry *File, + bool AllowTextual = false); /// \brief Retrieve all the modules that contain the given header file. This /// may not include umbrella modules, nor information from external sources, diff --git a/clang/lib/Basic/Module.cpp b/clang/lib/Basic/Module.cpp index 8578947db82cee..80bbc24f3db325 100644 --- a/clang/lib/Basic/Module.cpp +++ b/clang/lib/Basic/Module.cpp @@ -33,7 +33,7 @@ Module::Module(StringRef Name, SourceLocation DefinitionLoc, Module *Parent, IsExplicit(IsExplicit), IsSystem(false), IsExternC(false), IsInferred(false), InferSubmodules(false), InferExplicitSubmodules(false), InferExportWildcard(false), ConfigMacrosExhaustive(false), - NameVisibility(Hidden) { + NoUndeclaredIncludes(false), NameVisibility(Hidden) { if (Parent) { if (!Parent->isAvailable()) IsAvailable = false; @@ -41,6 +41,8 @@ Module::Module(StringRef Name, SourceLocation DefinitionLoc, Module *Parent, IsSystem = true; if (Parent->IsExternC) IsExternC = true; + if (Parent->NoUndeclaredIncludes) + NoUndeclaredIncludes = true; IsMissingRequirement = Parent->IsMissingRequirement; Parent->SubModuleIndex[Name] = Parent->SubModules.size(); @@ -181,6 +183,11 @@ bool Module::directlyUses(const Module *Requested) const { for (auto *Use : Top->DirectUses) if (Requested->isSubModuleOf(Use)) return true; + + // Anyone is allowed to use our builtin stddef.h and its accompanying module. + if (!Requested->Parent && Requested->Name == "_Builtin_stddef_max_align_t") + return true; + return false; } diff --git a/clang/lib/Lex/HeaderSearch.cpp b/clang/lib/Lex/HeaderSearch.cpp index c85aaa2ecc0c5d..d01881c1456ae6 100644 --- a/clang/lib/Lex/HeaderSearch.cpp +++ b/clang/lib/Lex/HeaderSearch.cpp @@ -413,6 +413,12 @@ getTopFrameworkDir(FileManager &FileMgr, StringRef DirName, return TopFrameworkDir; } +static bool needModuleLookup(Module *RequestingModule, + bool HasSuggestedModule) { + return HasSuggestedModule || + (RequestingModule && RequestingModule->NoUndeclaredIncludes); +} + /// DoFrameworkLookup - Do a lookup of the specified file in the current /// DirectoryLookup, which is a framework directory. const FileEntry *DirectoryLookup::DoFrameworkLookup( @@ -508,7 +514,7 @@ const FileEntry *DirectoryLookup::DoFrameworkLookup( } // If we found the header and are allowed to suggest a module, do so now. - if (FE && SuggestedModule) { + if (FE && needModuleLookup(RequestingModule, SuggestedModule)) { // Find the framework in which this header occurs. StringRef FrameworkPath = FE->getDir()->getName(); bool FoundFramework = false; @@ -1158,22 +1164,45 @@ bool HeaderSearch::hasModuleMap(StringRef FileName, } ModuleMap::KnownHeader -HeaderSearch::findModuleForHeader(const FileEntry *File) const { +HeaderSearch::findModuleForHeader(const FileEntry *File, + bool AllowTextual) const { if (ExternalSource) { // Make sure the external source has handled header info about this file, // which includes whether the file is part of a module. (void)getExistingFileInfo(File); } - return ModMap.findModuleForHeader(File); + return ModMap.findModuleForHeader(File, AllowTextual); +} + +static bool suggestModule(HeaderSearch &HS, const FileEntry *File, + Module *RequestingModule, + ModuleMap::KnownHeader *SuggestedModule) { + ModuleMap::KnownHeader Module = + HS.findModuleForHeader(File, /*AllowTextual*/true); + if (SuggestedModule) + *SuggestedModule = (Module.getRole() & ModuleMap::TextualHeader) + ? ModuleMap::KnownHeader() + : Module; + + // If this module specifies [no_undeclared_includes], we cannot find any + // file that's in a non-dependency module. + if (RequestingModule && Module && RequestingModule->NoUndeclaredIncludes) { + HS.getModuleMap().resolveUses(RequestingModule, /*Complain*/false); + if (!RequestingModule->directlyUses(Module.getModule())) { + return false; + } + } + + return true; } bool HeaderSearch::findUsableModuleForHeader( const FileEntry *File, const DirectoryEntry *Root, Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule, bool IsSystemHeaderDir) { - if (File && SuggestedModule) { + if (File && needModuleLookup(RequestingModule, SuggestedModule)) { // If there is a module that corresponds to this header, suggest it. hasModuleMap(File->getName(), Root, IsSystemHeaderDir); - *SuggestedModule = findModuleForHeader(File); + return suggestModule(*this, File, RequestingModule, SuggestedModule); } return true; } @@ -1182,7 +1211,7 @@ bool HeaderSearch::findUsableModuleForFrameworkHeader( const FileEntry *File, StringRef FrameworkName, Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule, bool IsSystemFramework) { // If we're supposed to suggest a module, look for one now. - if (SuggestedModule) { + if (needModuleLookup(RequestingModule, SuggestedModule)) { // Find the top-level framework based on this framework. SmallVector SubmodulePath; const DirectoryEntry *TopFrameworkDir @@ -1199,7 +1228,7 @@ bool HeaderSearch::findUsableModuleForFrameworkHeader( // important so that we're consistent about whether this header // corresponds to a module. Possibly we should lock down framework modules // so that this is not possible. - *SuggestedModule = findModuleForHeader(File); + return suggestModule(*this, File, RequestingModule, SuggestedModule); } return true; } diff --git a/clang/lib/Lex/ModuleMap.cpp b/clang/lib/Lex/ModuleMap.cpp index 4b49083bbb6e93..429b2cc0738e0e 100644 --- a/clang/lib/Lex/ModuleMap.cpp +++ b/clang/lib/Lex/ModuleMap.cpp @@ -327,9 +327,10 @@ static bool isBetterKnownHeader(const ModuleMap::KnownHeader &New, return false; } -ModuleMap::KnownHeader ModuleMap::findModuleForHeader(const FileEntry *File) { +ModuleMap::KnownHeader ModuleMap::findModuleForHeader(const FileEntry *File, + bool AllowTextual) { auto MakeResult = [&](ModuleMap::KnownHeader R) -> ModuleMap::KnownHeader { - if (R.getRole() & ModuleMap::TextualHeader) + if (!AllowTextual && R.getRole() & ModuleMap::TextualHeader) return ModuleMap::KnownHeader(); return R; }; @@ -674,6 +675,8 @@ Module *ModuleMap::inferFrameworkModule(const DirectoryEntry *FrameworkDir, Attrs.IsSystem |= inferred->second.Attrs.IsSystem; Attrs.IsExternC |= inferred->second.Attrs.IsExternC; Attrs.IsExhaustive |= inferred->second.Attrs.IsExhaustive; + Attrs.NoUndeclaredIncludes |= + inferred->second.Attrs.NoUndeclaredIncludes; ModuleMapFile = inferred->second.ModuleMapFile; } } @@ -711,6 +714,7 @@ Module *ModuleMap::inferFrameworkModule(const DirectoryEntry *FrameworkDir, Result->IsSystem |= Attrs.IsSystem; Result->IsExternC |= Attrs.IsExternC; Result->ConfigMacrosExhaustive |= Attrs.IsExhaustive; + Result->NoUndeclaredIncludes |= Attrs.NoUndeclaredIncludes; Result->Directory = FrameworkDir; // umbrella header "umbrella-header-name" @@ -1309,7 +1313,9 @@ namespace { /// \brief The 'extern_c' attribute. AT_extern_c, /// \brief The 'exhaustive' attribute. - AT_exhaustive + AT_exhaustive, + /// \brief The 'no_undeclared_includes' attribute. + AT_no_undeclared_includes }; } @@ -1479,6 +1485,9 @@ void ModuleMapParser::parseModuleDecl() { ActiveModule->IsSystem = true; if (Attrs.IsExternC) ActiveModule->IsExternC = true; + if (Attrs.NoUndeclaredIncludes || + (!ActiveModule->Parent && ModuleName == "Darwin")) + ActiveModule->NoUndeclaredIncludes = true; ActiveModule->Directory = Directory; bool Done = false; @@ -1845,13 +1854,7 @@ void ModuleMapParser::parseHeaderDecl(MMToken::TokenKind LeadingToken, // If Clang supplies this header but the underlying system does not, // just silently swap in our builtin version. Otherwise, we'll end // up adding both (later). - // - // For local visibility, entirely replace the system file with our - // one and textually include the system one. We need to pass macros - // from our header to the system one if we #include_next it. - // - // FIXME: Can we do this in all cases? - if (BuiltinFile && (!File || Map.LangOpts.ModulesLocalVisibility)) { + if (BuiltinFile && !File) { File = BuiltinFile; RelativePathName = BuiltinPathName; BuiltinFile = nullptr; @@ -1877,15 +1880,16 @@ void ModuleMapParser::parseHeaderDecl(MMToken::TokenKind LeadingToken, Module::Header H = {RelativePathName.str(), File}; Map.excludeHeader(ActiveModule, H); } else { - // If there is a builtin counterpart to this file, add it now, before - // the "real" header, so we build the built-in one first when building - // the module. + // If there is a builtin counterpart to this file, add it now as a textual + // header, so it can be #include_next'd by the wrapper header, and can + // receive macros from the wrapper header. if (BuiltinFile) { // FIXME: Taking the name from the FileEntry is unstable and can give // different results depending on how we've previously named that file // in this build. Module::Header H = { BuiltinFile->getName(), BuiltinFile }; - Map.addHeader(ActiveModule, H, Role); + Map.addHeader(ActiveModule, H, ModuleMap::ModuleHeaderRole( + Role | ModuleMap::TextualHeader)); } // Record this header. @@ -2375,6 +2379,7 @@ bool ModuleMapParser::parseOptionalAttributes(Attributes &Attrs) { = llvm::StringSwitch(Tok.getString()) .Case("exhaustive", AT_exhaustive) .Case("extern_c", AT_extern_c) + .Case("no_undeclared_includes", AT_no_undeclared_includes) .Case("system", AT_system) .Default(AT_unknown); switch (Attribute) { @@ -2394,6 +2399,10 @@ bool ModuleMapParser::parseOptionalAttributes(Attributes &Attrs) { case AT_exhaustive: Attrs.IsExhaustive = true; break; + + case AT_no_undeclared_includes: + Attrs.NoUndeclaredIncludes = true; + break; } consumeToken(); diff --git a/clang/test/Modules/Inputs/System/usr/include/stdbool.h b/clang/test/Modules/Inputs/System/usr/include/stdbool.h index 760d7dc48efdd1..50be7543c42eec 100644 --- a/clang/test/Modules/Inputs/System/usr/include/stdbool.h +++ b/clang/test/Modules/Inputs/System/usr/include/stdbool.h @@ -1 +1 @@ -// Testing hack: does not define bool/true/false. +#include_next diff --git a/clang/test/Modules/Inputs/libc-libcxx/include/c++/math.h b/clang/test/Modules/Inputs/libc-libcxx/include/c++/math.h new file mode 100644 index 00000000000000..890db371de660e --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/include/c++/math.h @@ -0,0 +1,2 @@ +#include_next +template T abs(T t) { return (t < 0) ? -t : t; } diff --git a/clang/test/Modules/Inputs/libc-libcxx/include/c++/module.modulemap b/clang/test/Modules/Inputs/libc-libcxx/include/c++/module.modulemap new file mode 100644 index 00000000000000..fd15779e934ab4 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/include/c++/module.modulemap @@ -0,0 +1,4 @@ +module "libc++" { + module math { header "math.h" export * } + module stdlib { header "stdlib.h" export * } +} diff --git a/clang/test/Modules/Inputs/libc-libcxx/include/c++/stdlib.h b/clang/test/Modules/Inputs/libc-libcxx/include/c++/stdlib.h new file mode 100644 index 00000000000000..6e736cbbaa0600 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/include/c++/stdlib.h @@ -0,0 +1 @@ +#include_next "stdlib.h" diff --git a/clang/test/Modules/Inputs/libc-libcxx/include/math.h b/clang/test/Modules/Inputs/libc-libcxx/include/math.h new file mode 100644 index 00000000000000..380ab41ca0a2ed --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/include/math.h @@ -0,0 +1 @@ +int abs(int); diff --git a/clang/test/Modules/Inputs/libc-libcxx/include/module.modulemap b/clang/test/Modules/Inputs/libc-libcxx/include/module.modulemap new file mode 100644 index 00000000000000..744f5450b11a46 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/include/module.modulemap @@ -0,0 +1,4 @@ +module libc [no_undeclared_includes] { + module math { header "math.h" export * } + module stdlib { header "stdlib.h" export * } +} diff --git a/clang/test/Modules/Inputs/libc-libcxx/include/stdlib.h b/clang/test/Modules/Inputs/libc-libcxx/include/stdlib.h new file mode 100644 index 00000000000000..a84546e5bc8361 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/include/stdlib.h @@ -0,0 +1 @@ +#include diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/__config b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/__config new file mode 100644 index 00000000000000..eacda48400608e --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/__config @@ -0,0 +1,6 @@ +#ifndef _LIBCPP_CONFIG +#define _LIBCPP_CONFIG + +#define __LIBCXX_CONFIG + +#endif diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/math.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/math.h new file mode 100644 index 00000000000000..f761b910f3ef1a --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/math.h @@ -0,0 +1,7 @@ +#ifndef LIBCXX_MATH_H +#define LIBCXX_MATH_H + +#include_next +template T abs(T t) { return (t < 0) ? -t : t; } + +#endif diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/module.modulemap b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/module.modulemap new file mode 100644 index 00000000000000..c352f4a61778b9 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/module.modulemap @@ -0,0 +1,7 @@ +module "libc++" { + module math { header "math.h" export * } + module stdlib { header "stdlib.h" export * } + module stddef { header "stddef.h" export * } + module stdio { textual header "stdio.h" export * } + module __config { header "__config" export * } +} diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stddef.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stddef.h new file mode 100644 index 00000000000000..bd42008e169517 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stddef.h @@ -0,0 +1,6 @@ +#ifndef LIBCXX_STDDEF_H +#define LIBCXX_STDDEF_H + +#include <__config> + +#endif diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdio.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdio.h new file mode 100644 index 00000000000000..399fce17534d6f --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdio.h @@ -0,0 +1,6 @@ +#ifndef LIBCXX_STDIO_H +#define LIBCXX_STDIO_H + +#include <__config> + +#endif diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdlib.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdlib.h new file mode 100644 index 00000000000000..5053e0581b0cd2 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/c++/v1/stdlib.h @@ -0,0 +1,6 @@ +#ifndef LIBCXX_STDLIB_H +#define LIBCXX_STDLIB_H + +#include_next "stdlib.h" + +#endif diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/math.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/math.h new file mode 100644 index 00000000000000..380ab41ca0a2ed --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/math.h @@ -0,0 +1 @@ +int abs(int); diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/module.modulemap b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/module.modulemap new file mode 100644 index 00000000000000..b0ebe4b732ef97 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/module.modulemap @@ -0,0 +1,9 @@ +module libc [no_undeclared_includes] { + module math { header "math.h" export * } + module stdlib { header "stdlib.h" export * } + module stdatomic { header "stdatomic.h" export * } + module stddef { header "stddef.h" export * } + module stdint { header "stdint.h" export * } + module stdio { header "stdio.h" export * } + module util { header "util.h" export * } +} diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stddef.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stddef.h new file mode 100644 index 00000000000000..c211f99261ebd7 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stddef.h @@ -0,0 +1,2 @@ +// stddef.h +#include_next "stddef.h" diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdint.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdint.h new file mode 100644 index 00000000000000..8d6c6fe237daaa --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdint.h @@ -0,0 +1,22 @@ +typedef char int_least8_t; +typedef short int_least16_t; +typedef int int_least32_t; +typedef long long int int_least64_t; +typedef unsigned char uint_least8_t; +typedef unsigned short uint_least16_t; +typedef unsigned int uint_least32_t; +typedef unsigned long long uint_least64_t; + +typedef char int_fast8_t; +typedef short int_fast16_t; +typedef int int_fast32_t; +typedef long long int int_fast64_t; +typedef unsigned char uint_fast8_t; +typedef unsigned short uint_fast16_t; +typedef unsigned int uint_fast32_t; +typedef unsigned long long uint_fast64_t; + +typedef int * intptr_t; +typedef unsigned int * uintptr_t; +typedef int intmax_t; +typedef unsigned int uintmax_t; diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdio.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdio.h new file mode 100644 index 00000000000000..0b7bdeba9e1153 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdio.h @@ -0,0 +1,4 @@ +#ifndef DARWIN_STDIO_H +#define DARWIN_STDIO_H + +#endif diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdlib.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdlib.h new file mode 100644 index 00000000000000..a84546e5bc8361 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/stdlib.h @@ -0,0 +1 @@ +#include diff --git a/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/util.h b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/util.h new file mode 100644 index 00000000000000..22e95fcf9b6e77 --- /dev/null +++ b/clang/test/Modules/Inputs/libc-libcxx/sysroot/usr/include/util.h @@ -0,0 +1,6 @@ +#ifndef DARWIN_UTIL_H +#define DARWIN_UTIL_H + +#include + +#endif diff --git a/clang/test/Modules/libc-libcxx.cpp b/clang/test/Modules/libc-libcxx.cpp new file mode 100644 index 00000000000000..1f6a86b7782a7f --- /dev/null +++ b/clang/test/Modules/libc-libcxx.cpp @@ -0,0 +1,10 @@ +// RUN: rm -rf %t +// RUN: %clang_cc1 -x c++ -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -I %S/Inputs/libc-libcxx/include/c++ -I %S/Inputs/libc-libcxx/include %s -verify +// RUN: rm -rf %t +// RUN: %clang_cc1 -x c++ -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -fmodules-local-submodule-visibility -nostdinc++ -isystem %S/Inputs/libc-libcxx/sysroot/usr/include/c++/v1 -isystem %S/Inputs/libc-libcxx/sysroot/usr/include -fsyntax-only %s -verify +// expected-no-diagnostics + +#include "math.h" + +int n = abs(0); +float f = abs(0.f);