Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 1 | //===--- DependencyFile.cpp - Generate dependency file --------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This code generates dependency files. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Eli Friedman | 16b7b6f | 2009-05-19 04:14:29 +0000 | [diff] [blame] | 14 | #include "clang/Frontend/Utils.h" |
Chris Lattner | f1ca7d3 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 15 | #include "clang/Basic/FileManager.h" |
Daniel Dunbar | 89d1fdf | 2009-11-11 21:43:12 +0000 | [diff] [blame] | 16 | #include "clang/Basic/SourceManager.h" |
| 17 | #include "clang/Frontend/DependencyOutputOptions.h" |
| 18 | #include "clang/Frontend/FrontendDiagnostic.h" |
| 19 | #include "clang/Lex/DirectoryLookup.h" |
Richard Smith | 2a6edb3 | 2015-08-09 04:46:57 +0000 | [diff] [blame] | 20 | #include "clang/Lex/ModuleMap.h" |
Daniel Dunbar | 89d1fdf | 2009-11-11 21:43:12 +0000 | [diff] [blame] | 21 | #include "clang/Lex/PPCallbacks.h" |
| 22 | #include "clang/Lex/Preprocessor.h" |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 23 | #include "clang/Serialization/ASTReader.h" |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 24 | #include "llvm/ADT/StringSet.h" |
David Majnemer | f0822fb | 2014-10-27 22:31:50 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/StringSwitch.h" |
Benjamin Kramer | 33d4330 | 2013-06-13 14:26:04 +0000 | [diff] [blame] | 26 | #include "llvm/Support/FileSystem.h" |
Eli Friedman | f7ca26a | 2011-07-08 20:17:28 +0000 | [diff] [blame] | 27 | #include "llvm/Support/Path.h" |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 28 | #include "llvm/Support/raw_ostream.h" |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 29 | |
| 30 | using namespace clang; |
| 31 | |
| 32 | namespace { |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 33 | struct DepCollectorPPCallbacks : public PPCallbacks { |
| 34 | DependencyCollector &DepCollector; |
| 35 | SourceManager &SM; |
| 36 | DepCollectorPPCallbacks(DependencyCollector &L, SourceManager &SM) |
| 37 | : DepCollector(L), SM(SM) { } |
| 38 | |
| 39 | void FileChanged(SourceLocation Loc, FileChangeReason Reason, |
| 40 | SrcMgr::CharacteristicKind FileType, |
| 41 | FileID PrevFID) override { |
| 42 | if (Reason != PPCallbacks::EnterFile) |
| 43 | return; |
| 44 | |
| 45 | // Dependency generation really does want to go all the way to the |
| 46 | // file entry for a source location to find out what is depended on. |
| 47 | // We do not want #line markers to affect dependency generation! |
| 48 | const FileEntry *FE = |
| 49 | SM.getFileEntryForID(SM.getFileID(SM.getExpansionLoc(Loc))); |
| 50 | if (!FE) |
| 51 | return; |
| 52 | |
Douglas Katzman | 7f43af5 | 2015-09-02 21:14:53 +0000 | [diff] [blame] | 53 | StringRef Filename = |
| 54 | llvm::sys::path::remove_leading_dotslash(FE->getName()); |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 55 | |
| 56 | DepCollector.maybeAddDependency(Filename, /*FromModule*/false, |
Richard Smith | f3f8461 | 2017-06-29 02:19:42 +0000 | [diff] [blame] | 57 | isSystem(FileType), |
| 58 | /*IsModuleFile*/false, /*IsMissing*/false); |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok, |
| 62 | StringRef FileName, bool IsAngled, |
| 63 | CharSourceRange FilenameRange, const FileEntry *File, |
| 64 | StringRef SearchPath, StringRef RelativePath, |
Julie Hockett | 96fbe58 | 2018-05-10 19:05:36 +0000 | [diff] [blame] | 65 | const Module *Imported, |
| 66 | SrcMgr::CharacteristicKind FileType) override { |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 67 | if (!File) |
| 68 | DepCollector.maybeAddDependency(FileName, /*FromModule*/false, |
| 69 | /*IsSystem*/false, /*IsModuleFile*/false, |
| 70 | /*IsMissing*/true); |
| 71 | // Files that actually exist are handled by FileChanged. |
| 72 | } |
| 73 | |
| 74 | void EndOfMainFile() override { |
| 75 | DepCollector.finishedMainFile(); |
| 76 | } |
| 77 | }; |
| 78 | |
Richard Smith | 2a6edb3 | 2015-08-09 04:46:57 +0000 | [diff] [blame] | 79 | struct DepCollectorMMCallbacks : public ModuleMapCallbacks { |
| 80 | DependencyCollector &DepCollector; |
| 81 | DepCollectorMMCallbacks(DependencyCollector &DC) : DepCollector(DC) {} |
| 82 | |
| 83 | void moduleMapFileRead(SourceLocation Loc, const FileEntry &Entry, |
| 84 | bool IsSystem) override { |
| 85 | StringRef Filename = Entry.getName(); |
| 86 | DepCollector.maybeAddDependency(Filename, /*FromModule*/false, |
| 87 | /*IsSystem*/IsSystem, |
| 88 | /*IsModuleFile*/false, |
| 89 | /*IsMissing*/false); |
| 90 | } |
| 91 | }; |
| 92 | |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 93 | struct DepCollectorASTListener : public ASTReaderListener { |
| 94 | DependencyCollector &DepCollector; |
| 95 | DepCollectorASTListener(DependencyCollector &L) : DepCollector(L) { } |
| 96 | bool needsInputFileVisitation() override { return true; } |
| 97 | bool needsSystemInputFileVisitation() override { |
| 98 | return DepCollector.needSystemDependencies(); |
| 99 | } |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 100 | void visitModuleFile(StringRef Filename, |
| 101 | serialization::ModuleKind Kind) override { |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 102 | DepCollector.maybeAddDependency(Filename, /*FromModule*/true, |
| 103 | /*IsSystem*/false, /*IsModuleFile*/true, |
| 104 | /*IsMissing*/false); |
| 105 | } |
| 106 | bool visitInputFile(StringRef Filename, bool IsSystem, |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 107 | bool IsOverridden, bool IsExplicitModule) override { |
| 108 | if (IsOverridden || IsExplicitModule) |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 109 | return true; |
| 110 | |
| 111 | DepCollector.maybeAddDependency(Filename, /*FromModule*/true, IsSystem, |
| 112 | /*IsModuleFile*/false, /*IsMissing*/false); |
| 113 | return true; |
| 114 | } |
| 115 | }; |
| 116 | } // end anonymous namespace |
| 117 | |
| 118 | void DependencyCollector::maybeAddDependency(StringRef Filename, bool FromModule, |
| 119 | bool IsSystem, bool IsModuleFile, |
| 120 | bool IsMissing) { |
David Blaikie | 61b86d4 | 2014-11-19 02:56:13 +0000 | [diff] [blame] | 121 | if (Seen.insert(Filename).second && |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 122 | sawDependency(Filename, FromModule, IsSystem, IsModuleFile, IsMissing)) |
| 123 | Dependencies.push_back(Filename); |
| 124 | } |
| 125 | |
David Majnemer | f0822fb | 2014-10-27 22:31:50 +0000 | [diff] [blame] | 126 | static bool isSpecialFilename(StringRef Filename) { |
| 127 | return llvm::StringSwitch<bool>(Filename) |
| 128 | .Case("<built-in>", true) |
| 129 | .Case("<stdin>", true) |
| 130 | .Default(false); |
| 131 | } |
| 132 | |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 133 | bool DependencyCollector::sawDependency(StringRef Filename, bool FromModule, |
| 134 | bool IsSystem, bool IsModuleFile, |
| 135 | bool IsMissing) { |
David Majnemer | f0822fb | 2014-10-27 22:31:50 +0000 | [diff] [blame] | 136 | return !isSpecialFilename(Filename) && |
| 137 | (needSystemDependencies() || !IsSystem); |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 138 | } |
| 139 | |
Angel Garcia Gomez | 637d1e6 | 2015-10-20 13:23:58 +0000 | [diff] [blame] | 140 | DependencyCollector::~DependencyCollector() { } |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 141 | void DependencyCollector::attachToPreprocessor(Preprocessor &PP) { |
Craig Topper | b8a7053 | 2014-09-10 04:53:53 +0000 | [diff] [blame] | 142 | PP.addPPCallbacks( |
| 143 | llvm::make_unique<DepCollectorPPCallbacks>(*this, PP.getSourceManager())); |
Richard Smith | 2a6edb3 | 2015-08-09 04:46:57 +0000 | [diff] [blame] | 144 | PP.getHeaderSearchInfo().getModuleMap().addModuleMapCallbacks( |
| 145 | llvm::make_unique<DepCollectorMMCallbacks>(*this)); |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 146 | } |
| 147 | void DependencyCollector::attachToASTReader(ASTReader &R) { |
David Blaikie | 2721c32 | 2014-08-10 16:54:39 +0000 | [diff] [blame] | 148 | R.addListener(llvm::make_unique<DepCollectorASTListener>(*this)); |
Ben Langmuir | 33c8090 | 2014-06-30 20:04:14 +0000 | [diff] [blame] | 149 | } |
| 150 | |
| 151 | namespace { |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 152 | /// Private implementation for DependencyFileGenerator |
| 153 | class DFGImpl : public PPCallbacks { |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 154 | std::vector<std::string> Files; |
| 155 | llvm::StringSet<> FilesSet; |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 156 | const Preprocessor *PP; |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 157 | std::string OutputFile; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 158 | std::vector<std::string> Targets; |
Eli Friedman | 33cd03c | 2009-05-19 03:35:57 +0000 | [diff] [blame] | 159 | bool IncludeSystemHeaders; |
| 160 | bool PhonyTarget; |
Peter Collingbourne | 77b0e7f2 | 2011-07-12 19:35:15 +0000 | [diff] [blame] | 161 | bool AddMissingHeaderDeps; |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 162 | bool SeenMissingHeader; |
Argyrios Kyrtzidis | 6d0753d | 2014-03-14 03:07:38 +0000 | [diff] [blame] | 163 | bool IncludeModuleFiles; |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 164 | DependencyOutputFormat OutputFormat; |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 165 | unsigned InputFileIndex; |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 166 | |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 167 | private: |
| 168 | bool FileMatchesDepCriteria(const char *Filename, |
Chris Lattner | 66a740e | 2008-10-27 01:19:25 +0000 | [diff] [blame] | 169 | SrcMgr::CharacteristicKind FileType); |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 170 | void OutputDependencyFile(); |
| 171 | |
| 172 | public: |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 173 | DFGImpl(const Preprocessor *_PP, const DependencyOutputOptions &Opts) |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 174 | : PP(_PP), OutputFile(Opts.OutputFile), Targets(Opts.Targets), |
Daniel Dunbar | 89d1fdf | 2009-11-11 21:43:12 +0000 | [diff] [blame] | 175 | IncludeSystemHeaders(Opts.IncludeSystemHeaders), |
Peter Collingbourne | 77b0e7f2 | 2011-07-12 19:35:15 +0000 | [diff] [blame] | 176 | PhonyTarget(Opts.UsePhonyTargets), |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 177 | AddMissingHeaderDeps(Opts.AddMissingHeaderDeps), |
Argyrios Kyrtzidis | 6d0753d | 2014-03-14 03:07:38 +0000 | [diff] [blame] | 178 | SeenMissingHeader(false), |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 179 | IncludeModuleFiles(Opts.IncludeModuleFiles), |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 180 | OutputFormat(Opts.OutputFormat), |
| 181 | InputFileIndex(0) { |
Benjamin Kramer | 2e018ef | 2016-05-27 13:36:58 +0000 | [diff] [blame] | 182 | for (const auto &ExtraDep : Opts.ExtraDeps) { |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 183 | if (AddFilename(ExtraDep)) |
| 184 | ++InputFileIndex; |
Ivan Krasin | 1193f2c | 2015-08-13 04:04:37 +0000 | [diff] [blame] | 185 | } |
| 186 | } |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 187 | |
Craig Topper | afa7cb3 | 2014-03-13 06:07:04 +0000 | [diff] [blame] | 188 | void FileChanged(SourceLocation Loc, FileChangeReason Reason, |
| 189 | SrcMgr::CharacteristicKind FileType, |
| 190 | FileID PrevFID) override; |
Volodymyr Sapsai | 210f0e8 | 2018-05-01 23:59:33 +0000 | [diff] [blame] | 191 | |
| 192 | void FileSkipped(const FileEntry &SkippedFile, const Token &FilenameTok, |
| 193 | SrcMgr::CharacteristicKind FileType) override; |
| 194 | |
Craig Topper | afa7cb3 | 2014-03-13 06:07:04 +0000 | [diff] [blame] | 195 | void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok, |
| 196 | StringRef FileName, bool IsAngled, |
| 197 | CharSourceRange FilenameRange, const FileEntry *File, |
| 198 | StringRef SearchPath, StringRef RelativePath, |
Julie Hockett | 96fbe58 | 2018-05-10 19:05:36 +0000 | [diff] [blame] | 199 | const Module *Imported, |
| 200 | SrcMgr::CharacteristicKind FileType) override; |
Daniel Dunbar | cb9eaf5 | 2010-03-23 05:09:10 +0000 | [diff] [blame] | 201 | |
Volodymyr Sapsai | a4c5328 | 2018-09-18 23:27:02 +0000 | [diff] [blame] | 202 | void HasInclude(SourceLocation Loc, StringRef SpelledFilename, bool IsAngled, |
| 203 | const FileEntry *File, |
| 204 | SrcMgr::CharacteristicKind FileType) override; |
| 205 | |
Craig Topper | afa7cb3 | 2014-03-13 06:07:04 +0000 | [diff] [blame] | 206 | void EndOfMainFile() override { |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 207 | OutputDependencyFile(); |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 208 | } |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 209 | |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 210 | bool AddFilename(StringRef Filename); |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 211 | bool includeSystemHeaders() const { return IncludeSystemHeaders; } |
Argyrios Kyrtzidis | 6d0753d | 2014-03-14 03:07:38 +0000 | [diff] [blame] | 212 | bool includeModuleFiles() const { return IncludeModuleFiles; } |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 213 | }; |
| 214 | |
Richard Smith | 2a6edb3 | 2015-08-09 04:46:57 +0000 | [diff] [blame] | 215 | class DFGMMCallback : public ModuleMapCallbacks { |
| 216 | DFGImpl &Parent; |
| 217 | public: |
| 218 | DFGMMCallback(DFGImpl &Parent) : Parent(Parent) {} |
| 219 | void moduleMapFileRead(SourceLocation Loc, const FileEntry &Entry, |
| 220 | bool IsSystem) override { |
| 221 | if (!IsSystem || Parent.includeSystemHeaders()) |
| 222 | Parent.AddFilename(Entry.getName()); |
| 223 | } |
| 224 | }; |
| 225 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 226 | class DFGASTReaderListener : public ASTReaderListener { |
| 227 | DFGImpl &Parent; |
| 228 | public: |
| 229 | DFGASTReaderListener(DFGImpl &Parent) |
| 230 | : Parent(Parent) { } |
Craig Topper | afa7cb3 | 2014-03-13 06:07:04 +0000 | [diff] [blame] | 231 | bool needsInputFileVisitation() override { return true; } |
| 232 | bool needsSystemInputFileVisitation() override { |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 233 | return Parent.includeSystemHeaders(); |
| 234 | } |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 235 | void visitModuleFile(StringRef Filename, |
| 236 | serialization::ModuleKind Kind) override; |
Argyrios Kyrtzidis | 68ccbe0 | 2014-03-14 02:26:31 +0000 | [diff] [blame] | 237 | bool visitInputFile(StringRef Filename, bool isSystem, |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 238 | bool isOverridden, bool isExplicitModule) override; |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 239 | }; |
Alexander Kornienko | ab9db51 | 2015-06-22 23:07:51 +0000 | [diff] [blame] | 240 | } |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 241 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 242 | DependencyFileGenerator::DependencyFileGenerator(void *Impl) |
| 243 | : Impl(Impl) { } |
| 244 | |
| 245 | DependencyFileGenerator *DependencyFileGenerator::CreateAndAttachToPreprocessor( |
| 246 | clang::Preprocessor &PP, const clang::DependencyOutputOptions &Opts) { |
| 247 | |
Daniel Dunbar | 89d1fdf | 2009-11-11 21:43:12 +0000 | [diff] [blame] | 248 | if (Opts.Targets.empty()) { |
Daniel Dunbar | 55b781f | 2009-11-11 21:44:00 +0000 | [diff] [blame] | 249 | PP.getDiagnostics().Report(diag::err_fe_dependency_file_requires_MT); |
Craig Topper | 49a2790 | 2014-05-22 04:46:25 +0000 | [diff] [blame] | 250 | return nullptr; |
Daniel Dunbar | 89d1fdf | 2009-11-11 21:43:12 +0000 | [diff] [blame] | 251 | } |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 252 | |
Peter Collingbourne | 77b0e7f2 | 2011-07-12 19:35:15 +0000 | [diff] [blame] | 253 | // Disable the "file not found" diagnostic if the -MG option was given. |
Eli Friedman | 3781a36 | 2011-08-30 23:07:51 +0000 | [diff] [blame] | 254 | if (Opts.AddMissingHeaderDeps) |
| 255 | PP.SetSuppressIncludeNotFoundError(true); |
Peter Collingbourne | 77b0e7f2 | 2011-07-12 19:35:15 +0000 | [diff] [blame] | 256 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 257 | DFGImpl *Callback = new DFGImpl(&PP, Opts); |
Craig Topper | b8a7053 | 2014-09-10 04:53:53 +0000 | [diff] [blame] | 258 | PP.addPPCallbacks(std::unique_ptr<PPCallbacks>(Callback)); |
Richard Smith | 2a6edb3 | 2015-08-09 04:46:57 +0000 | [diff] [blame] | 259 | PP.getHeaderSearchInfo().getModuleMap().addModuleMapCallbacks( |
| 260 | llvm::make_unique<DFGMMCallback>(*Callback)); |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 261 | return new DependencyFileGenerator(Callback); |
| 262 | } |
| 263 | |
| 264 | void DependencyFileGenerator::AttachToASTReader(ASTReader &R) { |
| 265 | DFGImpl *I = reinterpret_cast<DFGImpl *>(Impl); |
| 266 | assert(I && "missing implementation"); |
David Blaikie | 2721c32 | 2014-08-10 16:54:39 +0000 | [diff] [blame] | 267 | R.addListener(llvm::make_unique<DFGASTReaderListener>(*I)); |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 268 | } |
| 269 | |
| 270 | /// FileMatchesDepCriteria - Determine whether the given Filename should be |
| 271 | /// considered as a dependency. |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 272 | bool DFGImpl::FileMatchesDepCriteria(const char *Filename, |
| 273 | SrcMgr::CharacteristicKind FileType) { |
David Majnemer | f0822fb | 2014-10-27 22:31:50 +0000 | [diff] [blame] | 274 | if (isSpecialFilename(Filename)) |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 275 | return false; |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 276 | |
Eli Friedman | 33cd03c | 2009-05-19 03:35:57 +0000 | [diff] [blame] | 277 | if (IncludeSystemHeaders) |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 278 | return true; |
| 279 | |
Richard Smith | f3f8461 | 2017-06-29 02:19:42 +0000 | [diff] [blame] | 280 | return !isSystem(FileType); |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 281 | } |
| 282 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 283 | void DFGImpl::FileChanged(SourceLocation Loc, |
| 284 | FileChangeReason Reason, |
| 285 | SrcMgr::CharacteristicKind FileType, |
| 286 | FileID PrevFID) { |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 287 | if (Reason != PPCallbacks::EnterFile) |
| 288 | return; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 289 | |
Daniel Dunbar | 52e96cc | 2009-03-30 00:34:04 +0000 | [diff] [blame] | 290 | // Dependency generation really does want to go all the way to the |
| 291 | // file entry for a source location to find out what is depended on. |
| 292 | // We do not want #line markers to affect dependency generation! |
Chris Lattner | f1ca7d3 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 293 | SourceManager &SM = PP->getSourceManager(); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 294 | |
Chris Lattner | 64d8fc2 | 2009-01-28 05:42:38 +0000 | [diff] [blame] | 295 | const FileEntry *FE = |
Chandler Carruth | 35f5320 | 2011-07-25 16:49:02 +0000 | [diff] [blame] | 296 | SM.getFileEntryForID(SM.getFileID(SM.getExpansionLoc(Loc))); |
Craig Topper | 49a2790 | 2014-05-22 04:46:25 +0000 | [diff] [blame] | 297 | if (!FE) return; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 298 | |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 299 | StringRef Filename = FE->getName(); |
Eli Friedman | f7ca26a | 2011-07-08 20:17:28 +0000 | [diff] [blame] | 300 | if (!FileMatchesDepCriteria(Filename.data(), FileType)) |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 301 | return; |
| 302 | |
Douglas Katzman | 7f43af5 | 2015-09-02 21:14:53 +0000 | [diff] [blame] | 303 | AddFilename(llvm::sys::path::remove_leading_dotslash(Filename)); |
Peter Collingbourne | 77b0e7f2 | 2011-07-12 19:35:15 +0000 | [diff] [blame] | 304 | } |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 305 | |
Volodymyr Sapsai | 210f0e8 | 2018-05-01 23:59:33 +0000 | [diff] [blame] | 306 | void DFGImpl::FileSkipped(const FileEntry &SkippedFile, |
| 307 | const Token &FilenameTok, |
| 308 | SrcMgr::CharacteristicKind FileType) { |
| 309 | StringRef Filename = SkippedFile.getName(); |
| 310 | if (!FileMatchesDepCriteria(Filename.data(), FileType)) |
| 311 | return; |
| 312 | |
| 313 | AddFilename(llvm::sys::path::remove_leading_dotslash(Filename)); |
| 314 | } |
| 315 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 316 | void DFGImpl::InclusionDirective(SourceLocation HashLoc, |
| 317 | const Token &IncludeTok, |
| 318 | StringRef FileName, |
| 319 | bool IsAngled, |
| 320 | CharSourceRange FilenameRange, |
| 321 | const FileEntry *File, |
| 322 | StringRef SearchPath, |
| 323 | StringRef RelativePath, |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 324 | const Module *Imported, |
Julie Hockett | 96fbe58 | 2018-05-10 19:05:36 +0000 | [diff] [blame] | 325 | SrcMgr::CharacteristicKind FileType) { |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 326 | if (!File) { |
| 327 | if (AddMissingHeaderDeps) |
| 328 | AddFilename(FileName); |
| 329 | else |
| 330 | SeenMissingHeader = true; |
| 331 | } |
Peter Collingbourne | 77b0e7f2 | 2011-07-12 19:35:15 +0000 | [diff] [blame] | 332 | } |
| 333 | |
Volodymyr Sapsai | a4c5328 | 2018-09-18 23:27:02 +0000 | [diff] [blame] | 334 | void DFGImpl::HasInclude(SourceLocation Loc, StringRef SpelledFilename, |
| 335 | bool IsAngled, const FileEntry *File, |
| 336 | SrcMgr::CharacteristicKind FileType) { |
| 337 | if (!File) |
| 338 | return; |
| 339 | StringRef Filename = File->getName(); |
| 340 | if (!FileMatchesDepCriteria(Filename.data(), FileType)) |
| 341 | return; |
| 342 | AddFilename(llvm::sys::path::remove_leading_dotslash(Filename)); |
| 343 | } |
| 344 | |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 345 | bool DFGImpl::AddFilename(StringRef Filename) { |
| 346 | if (FilesSet.insert(Filename).second) { |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 347 | Files.push_back(Filename); |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 348 | return true; |
| 349 | } |
| 350 | return false; |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 351 | } |
| 352 | |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 353 | /// Print the filename, with escaping or quoting that accommodates the three |
| 354 | /// most likely tools that use dependency files: GNU Make, BSD Make, and |
| 355 | /// NMake/Jom. |
| 356 | /// |
| 357 | /// BSD Make is the simplest case: It does no escaping at all. This means |
| 358 | /// characters that are normally delimiters, i.e. space and # (the comment |
| 359 | /// character) simply aren't supported in filenames. |
| 360 | /// |
| 361 | /// GNU Make does allow space and # in filenames, but to avoid being treated |
| 362 | /// as a delimiter or comment, these must be escaped with a backslash. Because |
| 363 | /// backslash is itself the escape character, if a backslash appears in a |
| 364 | /// filename, it should be escaped as well. (As a special case, $ is escaped |
| 365 | /// as $$, which is the normal Make way to handle the $ character.) |
| 366 | /// For compatibility with BSD Make and historical practice, if GNU Make |
| 367 | /// un-escapes characters in a filename but doesn't find a match, it will |
| 368 | /// retry with the unmodified original string. |
| 369 | /// |
| 370 | /// GCC tries to accommodate both Make formats by escaping any space or # |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 371 | /// characters in the original filename, but not escaping backslashes. The |
| 372 | /// apparent intent is so that filenames with backslashes will be handled |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 373 | /// correctly by BSD Make, and by GNU Make in its fallback mode of using the |
| 374 | /// unmodified original string; filenames with # or space characters aren't |
| 375 | /// supported by BSD Make at all, but will be handled correctly by GNU Make |
| 376 | /// due to the escaping. |
| 377 | /// |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 378 | /// A corner case that GCC gets only partly right is when the original filename |
| 379 | /// has a backslash immediately followed by space or #. GNU Make would expect |
| 380 | /// this backslash to be escaped; however GCC escapes the original backslash |
| 381 | /// only when followed by space, not #. It will therefore take a dependency |
| 382 | /// from a directive such as |
| 383 | /// #include "a\ b\#c.h" |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 384 | /// and emit it as |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 385 | /// a\\\ b\\#c.h |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 386 | /// which GNU Make will interpret as |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 387 | /// a\ b\ |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 388 | /// followed by a comment. Failing to find this file, it will fall back to the |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 389 | /// original string, which probably doesn't exist either; in any case it won't |
| 390 | /// find |
| 391 | /// a\ b\#c.h |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 392 | /// which is the actual filename specified by the include directive. |
| 393 | /// |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 394 | /// Clang does what GCC does, rather than what GNU Make expects. |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 395 | /// |
| 396 | /// NMake/Jom has a different set of scary characters, but wraps filespecs in |
| 397 | /// double-quotes to avoid misinterpreting them; see |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 398 | /// https://msdn.microsoft.com/en-us/library/dd9y37ha.aspx for NMake info, |
| 399 | /// https://msdn.microsoft.com/en-us/library/windows/desktop/aa365247(v=vs.85).aspx |
| 400 | /// for Windows file-naming info. |
| 401 | static void PrintFilename(raw_ostream &OS, StringRef Filename, |
| 402 | DependencyOutputFormat OutputFormat) { |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 403 | // Convert filename to platform native path |
| 404 | llvm::SmallString<256> NativePath; |
| 405 | llvm::sys::path::native(Filename.str(), NativePath); |
| 406 | |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 407 | if (OutputFormat == DependencyOutputFormat::NMake) { |
| 408 | // Add quotes if needed. These are the characters listed as "special" to |
| 409 | // NMake, that are legal in a Windows filespec, and that could cause |
| 410 | // misinterpretation of the dependency string. |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 411 | if (NativePath.find_first_of(" #${}^!") != StringRef::npos) |
| 412 | OS << '\"' << NativePath << '\"'; |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 413 | else |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 414 | OS << NativePath; |
Paul Robinson | d7214a7 | 2015-04-27 18:14:32 +0000 | [diff] [blame] | 415 | return; |
| 416 | } |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 417 | assert(OutputFormat == DependencyOutputFormat::Make); |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 418 | for (unsigned i = 0, e = NativePath.size(); i != e; ++i) { |
| 419 | if (NativePath[i] == '#') // Handle '#' the broken gcc way. |
Paul Robinson | fcdf3e9 | 2015-05-13 22:33:50 +0000 | [diff] [blame] | 420 | OS << '\\'; |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 421 | else if (NativePath[i] == ' ') { // Handle space correctly. |
Chris Lattner | 5df2a4e | 2011-02-17 02:14:49 +0000 | [diff] [blame] | 422 | OS << '\\'; |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 423 | unsigned j = i; |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 424 | while (j > 0 && NativePath[--j] == '\\') |
Paul Robinson | 64441de | 2015-05-13 21:18:15 +0000 | [diff] [blame] | 425 | OS << '\\'; |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 426 | } else if (NativePath[i] == '$') // $ is escaped by $$. |
Benjamin Kramer | ae61151 | 2013-04-02 13:38:48 +0000 | [diff] [blame] | 427 | OS << '$'; |
David Bolvansky | c96cb25 | 2018-09-13 14:27:32 +0000 | [diff] [blame] | 428 | OS << NativePath[i]; |
Chris Lattner | 5df2a4e | 2011-02-17 02:14:49 +0000 | [diff] [blame] | 429 | } |
| 430 | } |
| 431 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 432 | void DFGImpl::OutputDependencyFile() { |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 433 | if (SeenMissingHeader) { |
Rafael Espindola | 2a00878 | 2014-01-10 21:32:14 +0000 | [diff] [blame] | 434 | llvm::sys::fs::remove(OutputFile); |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 435 | return; |
| 436 | } |
| 437 | |
Rafael Espindola | dae941a | 2014-08-25 18:17:04 +0000 | [diff] [blame] | 438 | std::error_code EC; |
| 439 | llvm::raw_fd_ostream OS(OutputFile, EC, llvm::sys::fs::F_Text); |
| 440 | if (EC) { |
| 441 | PP->getDiagnostics().Report(diag::err_fe_error_opening) << OutputFile |
| 442 | << EC.message(); |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 443 | return; |
| 444 | } |
| 445 | |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 446 | // Write out the dependency targets, trying to avoid overly long |
| 447 | // lines when possible. We try our best to emit exactly the same |
| 448 | // dependency file as GCC (4.2), assuming the included files are the |
| 449 | // same. |
| 450 | const unsigned MaxColumns = 75; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 451 | unsigned Columns = 0; |
| 452 | |
Yaron Keren | 3998a09 | 2016-11-16 19:24:10 +0000 | [diff] [blame] | 453 | for (StringRef Target : Targets) { |
| 454 | unsigned N = Target.size(); |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 455 | if (Columns == 0) { |
| 456 | Columns += N; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 457 | } else if (Columns + N + 2 > MaxColumns) { |
| 458 | Columns = N + 2; |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 459 | OS << " \\\n "; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 460 | } else { |
| 461 | Columns += N + 1; |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 462 | OS << ' '; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 463 | } |
Chris Lattner | 5df2a4e | 2011-02-17 02:14:49 +0000 | [diff] [blame] | 464 | // Targets already quoted as needed. |
Yaron Keren | 3998a09 | 2016-11-16 19:24:10 +0000 | [diff] [blame] | 465 | OS << Target; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 466 | } |
| 467 | |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 468 | OS << ':'; |
Chris Lattner | fa5880e | 2009-01-11 19:28:34 +0000 | [diff] [blame] | 469 | Columns += 1; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 470 | |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 471 | // Now add each dependency in the order it was seen, but avoiding |
| 472 | // duplicates. |
Yaron Keren | 3998a09 | 2016-11-16 19:24:10 +0000 | [diff] [blame] | 473 | for (StringRef File : Files) { |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 474 | // Start a new line if this would exceed the column limit. Make |
| 475 | // sure to leave space for a trailing " \" in case we need to |
| 476 | // break the line on the next iteration. |
Yaron Keren | 3998a09 | 2016-11-16 19:24:10 +0000 | [diff] [blame] | 477 | unsigned N = File.size(); |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 478 | if (Columns + (N + 1) + 2 > MaxColumns) { |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 479 | OS << " \\\n "; |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 480 | Columns = 2; |
| 481 | } |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 482 | OS << ' '; |
Yaron Keren | 3998a09 | 2016-11-16 19:24:10 +0000 | [diff] [blame] | 483 | PrintFilename(OS, File, OutputFormat); |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 484 | Columns += N + 1; |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 485 | } |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 486 | OS << '\n'; |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 487 | |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 488 | // Create phony targets if requested. |
Fariborz Jahanian | 193f783 | 2011-04-15 18:49:23 +0000 | [diff] [blame] | 489 | if (PhonyTarget && !Files.empty()) { |
David Stenberg | d45d7ea | 2018-05-29 13:07:58 +0000 | [diff] [blame] | 490 | unsigned Index = 0; |
| 491 | for (auto I = Files.begin(), E = Files.end(); I != E; ++I) { |
| 492 | if (Index++ == InputFileIndex) |
| 493 | continue; |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 494 | OS << '\n'; |
Yaron Keren | fa36740 | 2017-01-14 21:12:08 +0000 | [diff] [blame] | 495 | PrintFilename(OS, *I, OutputFormat); |
Peter Collingbourne | 0e7e3fc | 2011-11-21 00:01:14 +0000 | [diff] [blame] | 496 | OS << ":\n"; |
Daniel Dunbar | 966c2e1 | 2008-10-27 20:01:06 +0000 | [diff] [blame] | 497 | } |
| 498 | } |
Daniel Dunbar | fa0caca | 2008-10-24 22:12:41 +0000 | [diff] [blame] | 499 | } |
| 500 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 501 | bool DFGASTReaderListener::visitInputFile(llvm::StringRef Filename, |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 502 | bool IsSystem, bool IsOverridden, |
| 503 | bool IsExplicitModule) { |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 504 | assert(!IsSystem || needsSystemInputFileVisitation()); |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 505 | if (IsOverridden || IsExplicitModule) |
Argyrios Kyrtzidis | 68ccbe0 | 2014-03-14 02:26:31 +0000 | [diff] [blame] | 506 | return true; |
| 507 | |
Ben Langmuir | cb69b57 | 2014-03-07 06:40:32 +0000 | [diff] [blame] | 508 | Parent.AddFilename(Filename); |
| 509 | return true; |
| 510 | } |
| 511 | |
Richard Smith | 216a3bd | 2015-08-13 17:57:10 +0000 | [diff] [blame] | 512 | void DFGASTReaderListener::visitModuleFile(llvm::StringRef Filename, |
| 513 | serialization::ModuleKind Kind) { |
Richard Smith | be9b6c7 | 2015-08-13 18:30:25 +0000 | [diff] [blame] | 514 | if (Parent.includeModuleFiles()) |
Argyrios Kyrtzidis | 6d0753d | 2014-03-14 03:07:38 +0000 | [diff] [blame] | 515 | Parent.AddFilename(Filename); |
| 516 | } |