• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===-- driver.cpp - Clang GCC-Compatible Driver --------------------------===//
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 is the entry point to the clang driver; it is a thin wrapper
11 // for functionality in the Driver clang library.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #include "clang/Basic/CharInfo.h"
16 #include "clang/Basic/DiagnosticOptions.h"
17 #include "clang/Driver/Compilation.h"
18 #include "clang/Driver/Driver.h"
19 #include "clang/Driver/DriverDiagnostic.h"
20 #include "clang/Driver/Options.h"
21 #include "clang/Driver/ToolChain.h"
22 #include "clang/Frontend/ChainedDiagnosticConsumer.h"
23 #include "clang/Frontend/CompilerInvocation.h"
24 #include "clang/Frontend/SerializedDiagnosticPrinter.h"
25 #include "clang/Frontend/TextDiagnosticPrinter.h"
26 #include "clang/Frontend/Utils.h"
27 #include "llvm/ADT/ArrayRef.h"
28 #include "llvm/ADT/STLExtras.h"
29 #include "llvm/ADT/SmallString.h"
30 #include "llvm/ADT/SmallVector.h"
31 #include "llvm/Config/llvm-config.h"
32 #include "llvm/Option/ArgList.h"
33 #include "llvm/Option/OptTable.h"
34 #include "llvm/Option/Option.h"
35 #include "llvm/Support/CommandLine.h"
36 #include "llvm/Support/ErrorHandling.h"
37 #include "llvm/Support/FileSystem.h"
38 #include "llvm/Support/Host.h"
39 #include "llvm/Support/ManagedStatic.h"
40 #include "llvm/Support/MemoryBuffer.h"
41 #include "llvm/Support/Path.h"
42 #include "llvm/Support/PrettyStackTrace.h"
43 #include "llvm/Support/Process.h"
44 #include "llvm/Support/Program.h"
45 #include "llvm/Support/Regex.h"
46 #include "llvm/Support/Signals.h"
47 #include "llvm/Support/StringSaver.h"
48 #include "llvm/Support/TargetSelect.h"
49 #include "llvm/Support/Timer.h"
50 #include "llvm/Support/raw_ostream.h"
51 #include <memory>
52 #include <system_error>
53 using namespace clang;
54 using namespace clang::driver;
55 using namespace llvm::opt;
56 
GetExecutablePath(const char * Argv0,bool CanonicalPrefixes)57 std::string GetExecutablePath(const char *Argv0, bool CanonicalPrefixes) {
58   if (!CanonicalPrefixes)
59     return Argv0;
60 
61   // This just needs to be some symbol in the binary; C++ doesn't
62   // allow taking the address of ::main however.
63   void *P = (void*) (intptr_t) GetExecutablePath;
64   return llvm::sys::fs::getMainExecutable(Argv0, P);
65 }
66 
GetStableCStr(std::set<std::string> & SavedStrings,StringRef S)67 static const char *GetStableCStr(std::set<std::string> &SavedStrings,
68                                  StringRef S) {
69   return SavedStrings.insert(S).first->c_str();
70 }
71 
72 /// ApplyQAOverride - Apply a list of edits to the input argument lists.
73 ///
74 /// The input string is a space separate list of edits to perform,
75 /// they are applied in order to the input argument lists. Edits
76 /// should be one of the following forms:
77 ///
78 ///  '#': Silence information about the changes to the command line arguments.
79 ///
80 ///  '^': Add FOO as a new argument at the beginning of the command line.
81 ///
82 ///  '+': Add FOO as a new argument at the end of the command line.
83 ///
84 ///  's/XXX/YYY/': Substitute the regular expression XXX with YYY in the command
85 ///  line.
86 ///
87 ///  'xOPTION': Removes all instances of the literal argument OPTION.
88 ///
89 ///  'XOPTION': Removes all instances of the literal argument OPTION,
90 ///  and the following argument.
91 ///
92 ///  'Ox': Removes all flags matching 'O' or 'O[sz0-9]' and adds 'Ox'
93 ///  at the end of the command line.
94 ///
95 /// \param OS - The stream to write edit information to.
96 /// \param Args - The vector of command line arguments.
97 /// \param Edit - The override command to perform.
98 /// \param SavedStrings - Set to use for storing string representations.
ApplyOneQAOverride(raw_ostream & OS,SmallVectorImpl<const char * > & Args,StringRef Edit,std::set<std::string> & SavedStrings)99 static void ApplyOneQAOverride(raw_ostream &OS,
100                                SmallVectorImpl<const char*> &Args,
101                                StringRef Edit,
102                                std::set<std::string> &SavedStrings) {
103   // This does not need to be efficient.
104 
105   if (Edit[0] == '^') {
106     const char *Str =
107       GetStableCStr(SavedStrings, Edit.substr(1));
108     OS << "### Adding argument " << Str << " at beginning\n";
109     Args.insert(Args.begin() + 1, Str);
110   } else if (Edit[0] == '+') {
111     const char *Str =
112       GetStableCStr(SavedStrings, Edit.substr(1));
113     OS << "### Adding argument " << Str << " at end\n";
114     Args.push_back(Str);
115   } else if (Edit[0] == 's' && Edit[1] == '/' && Edit.endswith("/") &&
116              Edit.slice(2, Edit.size()-1).find('/') != StringRef::npos) {
117     StringRef MatchPattern = Edit.substr(2).split('/').first;
118     StringRef ReplPattern = Edit.substr(2).split('/').second;
119     ReplPattern = ReplPattern.slice(0, ReplPattern.size()-1);
120 
121     for (unsigned i = 1, e = Args.size(); i != e; ++i) {
122       // Ignore end-of-line response file markers
123       if (Args[i] == nullptr)
124         continue;
125       std::string Repl = llvm::Regex(MatchPattern).sub(ReplPattern, Args[i]);
126 
127       if (Repl != Args[i]) {
128         OS << "### Replacing '" << Args[i] << "' with '" << Repl << "'\n";
129         Args[i] = GetStableCStr(SavedStrings, Repl);
130       }
131     }
132   } else if (Edit[0] == 'x' || Edit[0] == 'X') {
133     auto Option = Edit.substr(1);
134     for (unsigned i = 1; i < Args.size();) {
135       if (Option == Args[i]) {
136         OS << "### Deleting argument " << Args[i] << '\n';
137         Args.erase(Args.begin() + i);
138         if (Edit[0] == 'X') {
139           if (i < Args.size()) {
140             OS << "### Deleting argument " << Args[i] << '\n';
141             Args.erase(Args.begin() + i);
142           } else
143             OS << "### Invalid X edit, end of command line!\n";
144         }
145       } else
146         ++i;
147     }
148   } else if (Edit[0] == 'O') {
149     for (unsigned i = 1; i < Args.size();) {
150       const char *A = Args[i];
151       // Ignore end-of-line response file markers
152       if (A == nullptr)
153         continue;
154       if (A[0] == '-' && A[1] == 'O' &&
155           (A[2] == '\0' ||
156            (A[3] == '\0' && (A[2] == 's' || A[2] == 'z' ||
157                              ('0' <= A[2] && A[2] <= '9'))))) {
158         OS << "### Deleting argument " << Args[i] << '\n';
159         Args.erase(Args.begin() + i);
160       } else
161         ++i;
162     }
163     OS << "### Adding argument " << Edit << " at end\n";
164     Args.push_back(GetStableCStr(SavedStrings, '-' + Edit.str()));
165   } else {
166     OS << "### Unrecognized edit: " << Edit << "\n";
167   }
168 }
169 
170 /// ApplyQAOverride - Apply a comma separate list of edits to the
171 /// input argument lists. See ApplyOneQAOverride.
ApplyQAOverride(SmallVectorImpl<const char * > & Args,const char * OverrideStr,std::set<std::string> & SavedStrings)172 static void ApplyQAOverride(SmallVectorImpl<const char*> &Args,
173                             const char *OverrideStr,
174                             std::set<std::string> &SavedStrings) {
175   raw_ostream *OS = &llvm::errs();
176 
177   if (OverrideStr[0] == '#') {
178     ++OverrideStr;
179     OS = &llvm::nulls();
180   }
181 
182   *OS << "### CCC_OVERRIDE_OPTIONS: " << OverrideStr << "\n";
183 
184   // This does not need to be efficient.
185 
186   const char *S = OverrideStr;
187   while (*S) {
188     const char *End = ::strchr(S, ' ');
189     if (!End)
190       End = S + strlen(S);
191     if (End != S)
192       ApplyOneQAOverride(*OS, Args, std::string(S, End), SavedStrings);
193     S = End;
194     if (*S != '\0')
195       ++S;
196   }
197 }
198 
199 extern int cc1_main(ArrayRef<const char *> Argv, const char *Argv0,
200                     void *MainAddr);
201 extern int cc1as_main(ArrayRef<const char *> Argv, const char *Argv0,
202                       void *MainAddr);
203 
insertTargetAndModeArgs(StringRef Target,StringRef Mode,SmallVectorImpl<const char * > & ArgVector,std::set<std::string> & SavedStrings)204 static void insertTargetAndModeArgs(StringRef Target, StringRef Mode,
205                                     SmallVectorImpl<const char *> &ArgVector,
206                                     std::set<std::string> &SavedStrings) {
207   if (!Mode.empty()) {
208     // Add the mode flag to the arguments.
209     auto it = ArgVector.begin();
210     if (it != ArgVector.end())
211       ++it;
212     ArgVector.insert(it, GetStableCStr(SavedStrings, Mode));
213   }
214 
215   if (!Target.empty()) {
216     auto it = ArgVector.begin();
217     if (it != ArgVector.end())
218       ++it;
219     const char *arr[] = {"-target", GetStableCStr(SavedStrings, Target)};
220     ArgVector.insert(it, std::begin(arr), std::end(arr));
221   }
222 }
223 
getCLEnvVarOptions(std::string & EnvValue,llvm::StringSaver & Saver,SmallVectorImpl<const char * > & Opts)224 static void getCLEnvVarOptions(std::string &EnvValue, llvm::StringSaver &Saver,
225                                SmallVectorImpl<const char *> &Opts) {
226   llvm::cl::TokenizeWindowsCommandLine(EnvValue, Saver, Opts);
227   // The first instance of '#' should be replaced with '=' in each option.
228   for (const char *Opt : Opts)
229     if (char *NumberSignPtr = const_cast<char *>(::strchr(Opt, '#')))
230       *NumberSignPtr = '=';
231 }
232 
SetBackdoorDriverOutputsFromEnvVars(Driver & TheDriver)233 static void SetBackdoorDriverOutputsFromEnvVars(Driver &TheDriver) {
234   // Handle CC_PRINT_OPTIONS and CC_PRINT_OPTIONS_FILE.
235   TheDriver.CCPrintOptions = !!::getenv("CC_PRINT_OPTIONS");
236   if (TheDriver.CCPrintOptions)
237     TheDriver.CCPrintOptionsFilename = ::getenv("CC_PRINT_OPTIONS_FILE");
238 
239   // Handle CC_PRINT_HEADERS and CC_PRINT_HEADERS_FILE.
240   TheDriver.CCPrintHeaders = !!::getenv("CC_PRINT_HEADERS");
241   if (TheDriver.CCPrintHeaders)
242     TheDriver.CCPrintHeadersFilename = ::getenv("CC_PRINT_HEADERS_FILE");
243 
244   // Handle CC_LOG_DIAGNOSTICS and CC_LOG_DIAGNOSTICS_FILE.
245   TheDriver.CCLogDiagnostics = !!::getenv("CC_LOG_DIAGNOSTICS");
246   if (TheDriver.CCLogDiagnostics)
247     TheDriver.CCLogDiagnosticsFilename = ::getenv("CC_LOG_DIAGNOSTICS_FILE");
248 }
249 
FixupDiagPrefixExeName(TextDiagnosticPrinter * DiagClient,const std::string & Path)250 static void FixupDiagPrefixExeName(TextDiagnosticPrinter *DiagClient,
251                                    const std::string &Path) {
252   // If the clang binary happens to be named cl.exe for compatibility reasons,
253   // use clang-cl.exe as the prefix to avoid confusion between clang and MSVC.
254   StringRef ExeBasename(llvm::sys::path::filename(Path));
255   if (ExeBasename.equals_lower("cl.exe"))
256     ExeBasename = "clang-cl.exe";
257   DiagClient->setPrefix(ExeBasename);
258 }
259 
260 // This lets us create the DiagnosticsEngine with a properly-filled-out
261 // DiagnosticOptions instance.
262 static DiagnosticOptions *
CreateAndPopulateDiagOpts(ArrayRef<const char * > argv)263 CreateAndPopulateDiagOpts(ArrayRef<const char *> argv) {
264   auto *DiagOpts = new DiagnosticOptions;
265   std::unique_ptr<OptTable> Opts(createDriverOptTable());
266   unsigned MissingArgIndex, MissingArgCount;
267   InputArgList Args =
268       Opts->ParseArgs(argv.slice(1), MissingArgIndex, MissingArgCount);
269   // We ignore MissingArgCount and the return value of ParseDiagnosticArgs.
270   // Any errors that would be diagnosed here will also be diagnosed later,
271   // when the DiagnosticsEngine actually exists.
272   (void)ParseDiagnosticArgs(*DiagOpts, Args);
273   return DiagOpts;
274 }
275 
SetInstallDir(SmallVectorImpl<const char * > & argv,Driver & TheDriver,bool CanonicalPrefixes)276 static void SetInstallDir(SmallVectorImpl<const char *> &argv,
277                           Driver &TheDriver, bool CanonicalPrefixes) {
278   // Attempt to find the original path used to invoke the driver, to determine
279   // the installed path. We do this manually, because we want to support that
280   // path being a symlink.
281   SmallString<128> InstalledPath(argv[0]);
282 
283   // Do a PATH lookup, if there are no directory components.
284   if (llvm::sys::path::filename(InstalledPath) == InstalledPath)
285     if (llvm::ErrorOr<std::string> Tmp = llvm::sys::findProgramByName(
286             llvm::sys::path::filename(InstalledPath.str())))
287       InstalledPath = *Tmp;
288 
289   // FIXME: We don't actually canonicalize this, we just make it absolute.
290   if (CanonicalPrefixes)
291     llvm::sys::fs::make_absolute(InstalledPath);
292 
293   StringRef InstalledPathParent(llvm::sys::path::parent_path(InstalledPath));
294   if (llvm::sys::fs::exists(InstalledPathParent))
295     TheDriver.setInstalledDir(InstalledPathParent);
296 }
297 
ExecuteCC1Tool(ArrayRef<const char * > argv,StringRef Tool)298 static int ExecuteCC1Tool(ArrayRef<const char *> argv, StringRef Tool) {
299   void *GetExecutablePathVP = (void *)(intptr_t) GetExecutablePath;
300   if (Tool == "")
301     return cc1_main(argv.slice(2), argv[0], GetExecutablePathVP);
302   if (Tool == "as")
303     return cc1as_main(argv.slice(2), argv[0], GetExecutablePathVP);
304 
305   // Reject unknown tools.
306   llvm::errs() << "error: unknown integrated tool '" << Tool << "'\n";
307   return 1;
308 }
309 
main(int argc_,const char ** argv_)310 int main(int argc_, const char **argv_) {
311   llvm::sys::PrintStackTraceOnErrorSignal(argv_[0]);
312   llvm::PrettyStackTraceProgram X(argc_, argv_);
313   llvm::llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
314 
315   if (llvm::sys::Process::FixupStandardFileDescriptors())
316     return 1;
317 
318   SmallVector<const char *, 256> argv;
319   llvm::SpecificBumpPtrAllocator<char> ArgAllocator;
320   std::error_code EC = llvm::sys::Process::GetArgumentVector(
321       argv, llvm::makeArrayRef(argv_, argc_), ArgAllocator);
322   if (EC) {
323     llvm::errs() << "error: couldn't get arguments: " << EC.message() << '\n';
324     return 1;
325   }
326 
327   llvm::InitializeAllTargets();
328   std::string ProgName = argv[0];
329   std::pair<std::string, std::string> TargetAndMode =
330       ToolChain::getTargetAndModeFromProgramName(ProgName);
331 
332   llvm::BumpPtrAllocator A;
333   llvm::StringSaver Saver(A);
334 
335   // Parse response files using the GNU syntax, unless we're in CL mode. There
336   // are two ways to put clang in CL compatibility mode: argv[0] is either
337   // clang-cl or cl, or --driver-mode=cl is on the command line. The normal
338   // command line parsing can't happen until after response file parsing, so we
339   // have to manually search for a --driver-mode=cl argument the hard way.
340   // Finally, our -cc1 tools don't care which tokenization mode we use because
341   // response files written by clang will tokenize the same way in either mode.
342   bool ClangCLMode = false;
343   if (TargetAndMode.second == "--driver-mode=cl" ||
344       std::find_if(argv.begin(), argv.end(), [](const char *F) {
345         return F && strcmp(F, "--driver-mode=cl") == 0;
346       }) != argv.end()) {
347     ClangCLMode = true;
348   }
349   enum { Default, POSIX, Windows } RSPQuoting = Default;
350   for (const char *F : argv) {
351     if (strcmp(F, "--rsp-quoting=posix") == 0)
352       RSPQuoting = POSIX;
353     else if (strcmp(F, "--rsp-quoting=windows") == 0)
354       RSPQuoting = Windows;
355   }
356 
357   // Determines whether we want nullptr markers in argv to indicate response
358   // files end-of-lines. We only use this for the /LINK driver argument with
359   // clang-cl.exe on Windows.
360   bool MarkEOLs = ClangCLMode;
361 
362   llvm::cl::TokenizerCallback Tokenizer;
363   if (RSPQuoting == Windows || (RSPQuoting == Default && ClangCLMode))
364     Tokenizer = &llvm::cl::TokenizeWindowsCommandLine;
365   else
366     Tokenizer = &llvm::cl::TokenizeGNUCommandLine;
367 
368   if (MarkEOLs && argv.size() > 1 && StringRef(argv[1]).startswith("-cc1"))
369     MarkEOLs = false;
370   llvm::cl::ExpandResponseFiles(Saver, Tokenizer, argv, MarkEOLs);
371 
372   // Handle -cc1 integrated tools, even if -cc1 was expanded from a response
373   // file.
374   auto FirstArg = std::find_if(argv.begin() + 1, argv.end(),
375                                [](const char *A) { return A != nullptr; });
376   if (FirstArg != argv.end() && StringRef(*FirstArg).startswith("-cc1")) {
377     // If -cc1 came from a response file, remove the EOL sentinels.
378     if (MarkEOLs) {
379       auto newEnd = std::remove(argv.begin(), argv.end(), nullptr);
380       argv.resize(newEnd - argv.begin());
381     }
382     return ExecuteCC1Tool(argv, argv[1] + 4);
383   }
384 
385   bool CanonicalPrefixes = true;
386   for (int i = 1, size = argv.size(); i < size; ++i) {
387     // Skip end-of-line response file markers
388     if (argv[i] == nullptr)
389       continue;
390     if (StringRef(argv[i]) == "-no-canonical-prefixes") {
391       CanonicalPrefixes = false;
392       break;
393     }
394   }
395 
396   // Handle CL and _CL_ which permits additional command line options to be
397   // prepended or appended.
398   if (Tokenizer == &llvm::cl::TokenizeWindowsCommandLine) {
399     // Arguments in "CL" are prepended.
400     llvm::Optional<std::string> OptCL = llvm::sys::Process::GetEnv("CL");
401     if (OptCL.hasValue()) {
402       SmallVector<const char *, 8> PrependedOpts;
403       getCLEnvVarOptions(OptCL.getValue(), Saver, PrependedOpts);
404 
405       // Insert right after the program name to prepend to the argument list.
406       argv.insert(argv.begin() + 1, PrependedOpts.begin(), PrependedOpts.end());
407     }
408     // Arguments in "_CL_" are appended.
409     llvm::Optional<std::string> Opt_CL_ = llvm::sys::Process::GetEnv("_CL_");
410     if (Opt_CL_.hasValue()) {
411       SmallVector<const char *, 8> AppendedOpts;
412       getCLEnvVarOptions(Opt_CL_.getValue(), Saver, AppendedOpts);
413 
414       // Insert at the end of the argument list to append.
415       argv.append(AppendedOpts.begin(), AppendedOpts.end());
416     }
417   }
418 
419   std::set<std::string> SavedStrings;
420   // Handle CCC_OVERRIDE_OPTIONS, used for editing a command line behind the
421   // scenes.
422   if (const char *OverrideStr = ::getenv("CCC_OVERRIDE_OPTIONS")) {
423     // FIXME: Driver shouldn't take extra initial argument.
424     ApplyQAOverride(argv, OverrideStr, SavedStrings);
425   }
426 
427   std::string Path = GetExecutablePath(argv[0], CanonicalPrefixes);
428 
429   IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts =
430       CreateAndPopulateDiagOpts(argv);
431 
432   TextDiagnosticPrinter *DiagClient
433     = new TextDiagnosticPrinter(llvm::errs(), &*DiagOpts);
434   FixupDiagPrefixExeName(DiagClient, Path);
435 
436   IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs());
437 
438   DiagnosticsEngine Diags(DiagID, &*DiagOpts, DiagClient);
439 
440   if (!DiagOpts->DiagnosticSerializationFile.empty()) {
441     auto SerializedConsumer =
442         clang::serialized_diags::create(DiagOpts->DiagnosticSerializationFile,
443                                         &*DiagOpts, /*MergeChildRecords=*/true);
444     Diags.setClient(new ChainedDiagnosticConsumer(
445         Diags.takeClient(), std::move(SerializedConsumer)));
446   }
447 
448   ProcessWarningOptions(Diags, *DiagOpts, /*ReportDiags=*/false);
449 
450   Driver TheDriver(Path, llvm::sys::getDefaultTargetTriple(), Diags);
451   SetInstallDir(argv, TheDriver, CanonicalPrefixes);
452 
453   insertTargetAndModeArgs(TargetAndMode.first, TargetAndMode.second, argv,
454                           SavedStrings);
455 
456   SetBackdoorDriverOutputsFromEnvVars(TheDriver);
457 
458   std::unique_ptr<Compilation> C(TheDriver.BuildCompilation(argv));
459   int Res = 0;
460   SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
461   if (C.get())
462     Res = TheDriver.ExecuteCompilation(*C, FailingCommands);
463 
464   // Force a crash to test the diagnostics.
465   if (::getenv("FORCE_CLANG_DIAGNOSTICS_CRASH")) {
466     Diags.Report(diag::err_drv_force_crash) << "FORCE_CLANG_DIAGNOSTICS_CRASH";
467 
468     // Pretend that every command failed.
469     FailingCommands.clear();
470     for (const auto &J : C->getJobs())
471       if (const Command *C = dyn_cast<Command>(&J))
472         FailingCommands.push_back(std::make_pair(-1, C));
473   }
474 
475   for (const auto &P : FailingCommands) {
476     int CommandRes = P.first;
477     const Command *FailingCommand = P.second;
478     if (!Res)
479       Res = CommandRes;
480 
481     // If result status is < 0, then the driver command signalled an error.
482     // If result status is 70, then the driver command reported a fatal error.
483     // On Windows, abort will return an exit code of 3.  In these cases,
484     // generate additional diagnostic information if possible.
485     bool DiagnoseCrash = CommandRes < 0 || CommandRes == 70;
486 #ifdef LLVM_ON_WIN32
487     DiagnoseCrash |= CommandRes == 3;
488 #endif
489     if (DiagnoseCrash) {
490       TheDriver.generateCompilationDiagnostics(*C, *FailingCommand);
491       break;
492     }
493   }
494 
495   Diags.getClient()->finish();
496 
497   // If any timers were active but haven't been destroyed yet, print their
498   // results now.  This happens in -disable-free mode.
499   llvm::TimerGroup::printAll(llvm::errs());
500 
501 #ifdef LLVM_ON_WIN32
502   // Exit status should not be negative on Win32, unless abnormal termination.
503   // Once abnormal termiation was caught, negative status should not be
504   // propagated.
505   if (Res < 0)
506     Res = 1;
507 #endif
508 
509   // If we have multiple failing commands, we return the result of the first
510   // failing command.
511   return Res;
512 }
513