Driver.cpp revision 204643
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#include "clang/Driver/Driver.h"
11
12#include "clang/Driver/Action.h"
13#include "clang/Driver/Arg.h"
14#include "clang/Driver/ArgList.h"
15#include "clang/Driver/Compilation.h"
16#include "clang/Driver/DriverDiagnostic.h"
17#include "clang/Driver/HostInfo.h"
18#include "clang/Driver/Job.h"
19#include "clang/Driver/OptTable.h"
20#include "clang/Driver/Option.h"
21#include "clang/Driver/Options.h"
22#include "clang/Driver/Tool.h"
23#include "clang/Driver/ToolChain.h"
24#include "clang/Driver/Types.h"
25
26#include "clang/Basic/Version.h"
27
28#include "llvm/ADT/StringSet.h"
29#include "llvm/ADT/OwningPtr.h"
30#include "llvm/Support/PrettyStackTrace.h"
31#include "llvm/Support/raw_ostream.h"
32#include "llvm/System/Path.h"
33#include "llvm/System/Program.h"
34
35#include "InputInfo.h"
36
37#include <map>
38
39using namespace clang::driver;
40using namespace clang;
41
42// Used to set values for "production" clang, for releases.
43// #define USE_PRODUCTION_CLANG
44
45Driver::Driver(llvm::StringRef _Name, llvm::StringRef _Dir,
46               llvm::StringRef _DefaultHostTriple,
47               llvm::StringRef _DefaultImageName,
48               bool IsProduction, Diagnostic &_Diags)
49  : Opts(createDriverOptTable()), Diags(_Diags),
50    Name(_Name), Dir(_Dir), DefaultHostTriple(_DefaultHostTriple),
51    DefaultImageName(_DefaultImageName),
52    DriverTitle("clang \"gcc-compatible\" driver"),
53    Host(0),
54    CCCGenericGCCName("gcc"), CCCIsCXX(false), CCCEcho(false),
55    CCCPrintBindings(false), CheckInputsExist(true), CCCUseClang(true),
56    CCCUseClangCXX(true), CCCUseClangCPP(true), CCCUsePCH(true),
57    SuppressMissingInputWarning(false) {
58  if (IsProduction) {
59    // In a "production" build, only use clang on architectures we expect to
60    // work, and don't use clang C++.
61    //
62    // During development its more convenient to always have the driver use
63    // clang, but we don't want users to be confused when things don't work, or
64    // to file bugs for things we don't support.
65    CCCClangArchs.insert(llvm::Triple::x86);
66    CCCClangArchs.insert(llvm::Triple::x86_64);
67    CCCClangArchs.insert(llvm::Triple::arm);
68
69    CCCUseClangCXX = false;
70  }
71
72  // Compute the path to the resource directory.
73  llvm::sys::Path P(Dir);
74  P.eraseComponent(); // Remove /bin from foo/bin
75  P.appendComponent("lib");
76  P.appendComponent("clang");
77  P.appendComponent(CLANG_VERSION_STRING);
78  ResourceDir = P.str();
79}
80
81Driver::~Driver() {
82  delete Opts;
83  delete Host;
84}
85
86InputArgList *Driver::ParseArgStrings(const char **ArgBegin,
87                                      const char **ArgEnd) {
88  llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
89  unsigned MissingArgIndex, MissingArgCount;
90  InputArgList *Args = getOpts().ParseArgs(ArgBegin, ArgEnd,
91                                           MissingArgIndex, MissingArgCount);
92
93  // Check for missing argument error.
94  if (MissingArgCount)
95    Diag(clang::diag::err_drv_missing_argument)
96      << Args->getArgString(MissingArgIndex) << MissingArgCount;
97
98  // Check for unsupported options.
99  for (ArgList::const_iterator it = Args->begin(), ie = Args->end();
100       it != ie; ++it) {
101    Arg *A = *it;
102    if (A->getOption().isUnsupported()) {
103      Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
104      continue;
105    }
106  }
107
108  return Args;
109}
110
111Compilation *Driver::BuildCompilation(int argc, const char **argv) {
112  llvm::PrettyStackTraceString CrashInfo("Compilation construction");
113
114  // FIXME: Handle environment options which effect driver behavior, somewhere
115  // (client?). GCC_EXEC_PREFIX, COMPILER_PATH, LIBRARY_PATH, LPATH,
116  // CC_PRINT_OPTIONS.
117
118  // FIXME: What are we going to do with -V and -b?
119
120  // FIXME: This stuff needs to go into the Compilation, not the driver.
121  bool CCCPrintOptions = false, CCCPrintActions = false;
122
123  const char **Start = argv + 1, **End = argv + argc;
124  const char *HostTriple = DefaultHostTriple.c_str();
125
126  InputArgList *Args = ParseArgStrings(Start, End);
127
128  // -no-canonical-prefixes is used very early in main.
129  Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
130
131  // Extract -ccc args.
132  //
133  // FIXME: We need to figure out where this behavior should live. Most of it
134  // should be outside in the client; the parts that aren't should have proper
135  // options, either by introducing new ones or by overloading gcc ones like -V
136  // or -b.
137  CCCPrintOptions = Args->hasArg(options::OPT_ccc_print_options);
138  CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
139  CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
140  CCCIsCXX = Args->hasArg(options::OPT_ccc_cxx) || CCCIsCXX;
141  CCCEcho = Args->hasArg(options::OPT_ccc_echo);
142  if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
143    CCCGenericGCCName = A->getValue(*Args);
144  CCCUseClangCXX = Args->hasFlag(options::OPT_ccc_clang_cxx,
145                                 options::OPT_ccc_no_clang_cxx,
146                                 CCCUseClangCXX);
147  CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
148                            options::OPT_ccc_pch_is_pth);
149  CCCUseClang = !Args->hasArg(options::OPT_ccc_no_clang);
150  CCCUseClangCPP = !Args->hasArg(options::OPT_ccc_no_clang_cpp);
151  if (const Arg *A = Args->getLastArg(options::OPT_ccc_clang_archs)) {
152    llvm::StringRef Cur = A->getValue(*Args);
153
154    CCCClangArchs.clear();
155    while (!Cur.empty()) {
156      std::pair<llvm::StringRef, llvm::StringRef> Split = Cur.split(',');
157
158      if (!Split.first.empty()) {
159        llvm::Triple::ArchType Arch =
160          llvm::Triple(Split.first, "", "").getArch();
161
162        if (Arch == llvm::Triple::UnknownArch)
163          Diag(clang::diag::err_drv_invalid_arch_name) << Split.first;
164
165        CCCClangArchs.insert(Arch);
166      }
167
168      Cur = Split.second;
169    }
170  }
171  if (const Arg *A = Args->getLastArg(options::OPT_ccc_host_triple))
172    HostTriple = A->getValue(*Args);
173  if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
174    Dir = A->getValue(*Args);
175
176  Host = GetHostInfo(HostTriple);
177
178  // The compilation takes ownership of Args.
179  Compilation *C = new Compilation(*this, *Host->CreateToolChain(*Args), Args);
180
181  // FIXME: This behavior shouldn't be here.
182  if (CCCPrintOptions) {
183    PrintOptions(C->getArgs());
184    return C;
185  }
186
187  if (!HandleImmediateArgs(*C))
188    return C;
189
190  // Construct the list of abstract actions to perform for this compilation. We
191  // avoid passing a Compilation here simply to enforce the abstraction that
192  // pipelining is not host or toolchain dependent (other than the driver driver
193  // test).
194  if (Host->useDriverDriver())
195    BuildUniversalActions(C->getArgs(), C->getActions());
196  else
197    BuildActions(C->getArgs(), C->getActions());
198
199  if (CCCPrintActions) {
200    PrintActions(*C);
201    return C;
202  }
203
204  BuildJobs(*C);
205
206  return C;
207}
208
209int Driver::ExecuteCompilation(const Compilation &C) const {
210  // Just print if -### was present.
211  if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
212    C.PrintJob(llvm::errs(), C.getJobs(), "\n", true);
213    return 0;
214  }
215
216  // If there were errors building the compilation, quit now.
217  if (getDiags().getNumErrors())
218    return 1;
219
220  const Command *FailingCommand = 0;
221  int Res = C.ExecuteJob(C.getJobs(), FailingCommand);
222
223  // Remove temp files.
224  C.CleanupFileList(C.getTempFiles());
225
226  // If the compilation failed, remove result files as well.
227  if (Res != 0 && !C.getArgs().hasArg(options::OPT_save_temps))
228    C.CleanupFileList(C.getResultFiles(), true);
229
230  // Print extra information about abnormal failures, if possible.
231  if (Res) {
232    // This is ad-hoc, but we don't want to be excessively noisy. If the result
233    // status was 1, assume the command failed normally. In particular, if it
234    // was the compiler then assume it gave a reasonable error code. Failures in
235    // other tools are less common, and they generally have worse diagnostics,
236    // so always print the diagnostic there.
237    const Action &Source = FailingCommand->getSource();
238    bool IsFriendlyTool = (isa<PreprocessJobAction>(Source) ||
239                           isa<PrecompileJobAction>(Source) ||
240                           isa<AnalyzeJobAction>(Source) ||
241                           isa<CompileJobAction>(Source));
242
243    if (!IsFriendlyTool || Res != 1) {
244      // FIXME: See FIXME above regarding result code interpretation.
245      if (Res < 0)
246        Diag(clang::diag::err_drv_command_signalled)
247          << Source.getClassName() << -Res;
248      else
249        Diag(clang::diag::err_drv_command_failed)
250          << Source.getClassName() << Res;
251    }
252  }
253
254  return Res;
255}
256
257void Driver::PrintOptions(const ArgList &Args) const {
258  unsigned i = 0;
259  for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
260       it != ie; ++it, ++i) {
261    Arg *A = *it;
262    llvm::errs() << "Option " << i << " - "
263                 << "Name: \"" << A->getOption().getName() << "\", "
264                 << "Values: {";
265    for (unsigned j = 0; j < A->getNumValues(); ++j) {
266      if (j)
267        llvm::errs() << ", ";
268      llvm::errs() << '"' << A->getValue(Args, j) << '"';
269    }
270    llvm::errs() << "}\n";
271  }
272}
273
274// FIXME: Move -ccc options to real options in the .td file (or eliminate), and
275// then move to using OptTable::PrintHelp.
276void Driver::PrintHelp(bool ShowHidden) const {
277  getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
278                      ShowHidden);
279}
280
281void Driver::PrintVersion(const Compilation &C, llvm::raw_ostream &OS) const {
282  // FIXME: The following handlers should use a callback mechanism, we don't
283  // know what the client would like to do.
284  OS << getClangFullVersion() << '\n';
285  const ToolChain &TC = C.getDefaultToolChain();
286  OS << "Target: " << TC.getTripleString() << '\n';
287
288  // Print the threading model.
289  //
290  // FIXME: Implement correctly.
291  OS << "Thread model: " << "posix" << '\n';
292}
293
294bool Driver::HandleImmediateArgs(const Compilation &C) {
295  // The order these options are handled in in gcc is all over the place, but we
296  // don't expect inconsistencies w.r.t. that to matter in practice.
297
298  if (C.getArgs().hasArg(options::OPT_dumpversion)) {
299    llvm::outs() << CLANG_VERSION_STRING "\n";
300    return false;
301  }
302
303  if (C.getArgs().hasArg(options::OPT__help) ||
304      C.getArgs().hasArg(options::OPT__help_hidden)) {
305    PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
306    return false;
307  }
308
309  if (C.getArgs().hasArg(options::OPT__version)) {
310    // Follow gcc behavior and use stdout for --version and stderr for -v.
311    PrintVersion(C, llvm::outs());
312    return false;
313  }
314
315  if (C.getArgs().hasArg(options::OPT_v) ||
316      C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
317    PrintVersion(C, llvm::errs());
318    SuppressMissingInputWarning = true;
319  }
320
321  const ToolChain &TC = C.getDefaultToolChain();
322  if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
323    llvm::outs() << "programs: =";
324    for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
325           ie = TC.getProgramPaths().end(); it != ie; ++it) {
326      if (it != TC.getProgramPaths().begin())
327        llvm::outs() << ':';
328      llvm::outs() << *it;
329    }
330    llvm::outs() << "\n";
331    llvm::outs() << "libraries: =";
332    for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
333           ie = TC.getFilePaths().end(); it != ie; ++it) {
334      if (it != TC.getFilePaths().begin())
335        llvm::outs() << ':';
336      llvm::outs() << *it;
337    }
338    llvm::outs() << "\n";
339    return false;
340  }
341
342  // FIXME: The following handlers should use a callback mechanism, we don't
343  // know what the client would like to do.
344  if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
345    llvm::outs() << GetFilePath(A->getValue(C.getArgs()), TC) << "\n";
346    return false;
347  }
348
349  if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
350    llvm::outs() << GetProgramPath(A->getValue(C.getArgs()), TC) << "\n";
351    return false;
352  }
353
354  if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
355    llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
356    return false;
357  }
358
359  if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
360    // FIXME: We need tool chain support for this.
361    llvm::outs() << ".;\n";
362
363    switch (C.getDefaultToolChain().getTriple().getArch()) {
364    default:
365      break;
366
367    case llvm::Triple::x86_64:
368      llvm::outs() << "x86_64;@m64" << "\n";
369      break;
370
371    case llvm::Triple::ppc64:
372      llvm::outs() << "ppc64;@m64" << "\n";
373      break;
374    }
375    return false;
376  }
377
378  // FIXME: What is the difference between print-multi-directory and
379  // print-multi-os-directory?
380  if (C.getArgs().hasArg(options::OPT_print_multi_directory) ||
381      C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
382    switch (C.getDefaultToolChain().getTriple().getArch()) {
383    default:
384    case llvm::Triple::x86:
385    case llvm::Triple::ppc:
386      llvm::outs() << "." << "\n";
387      break;
388
389    case llvm::Triple::x86_64:
390      llvm::outs() << "x86_64" << "\n";
391      break;
392
393    case llvm::Triple::ppc64:
394      llvm::outs() << "ppc64" << "\n";
395      break;
396    }
397    return false;
398  }
399
400  return true;
401}
402
403static unsigned PrintActions1(const Compilation &C, Action *A,
404                              std::map<Action*, unsigned> &Ids) {
405  if (Ids.count(A))
406    return Ids[A];
407
408  std::string str;
409  llvm::raw_string_ostream os(str);
410
411  os << Action::getClassName(A->getKind()) << ", ";
412  if (InputAction *IA = dyn_cast<InputAction>(A)) {
413    os << "\"" << IA->getInputArg().getValue(C.getArgs()) << "\"";
414  } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
415    os << '"' << (BIA->getArchName() ? BIA->getArchName() :
416                  C.getDefaultToolChain().getArchName()) << '"'
417       << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
418  } else {
419    os << "{";
420    for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
421      os << PrintActions1(C, *it, Ids);
422      ++it;
423      if (it != ie)
424        os << ", ";
425    }
426    os << "}";
427  }
428
429  unsigned Id = Ids.size();
430  Ids[A] = Id;
431  llvm::errs() << Id << ": " << os.str() << ", "
432               << types::getTypeName(A->getType()) << "\n";
433
434  return Id;
435}
436
437void Driver::PrintActions(const Compilation &C) const {
438  std::map<Action*, unsigned> Ids;
439  for (ActionList::const_iterator it = C.getActions().begin(),
440         ie = C.getActions().end(); it != ie; ++it)
441    PrintActions1(C, *it, Ids);
442}
443
444void Driver::BuildUniversalActions(const ArgList &Args,
445                                   ActionList &Actions) const {
446  llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
447  // Collect the list of architectures. Duplicates are allowed, but should only
448  // be handled once (in the order seen).
449  llvm::StringSet<> ArchNames;
450  llvm::SmallVector<const char *, 4> Archs;
451  for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
452       it != ie; ++it) {
453    Arg *A = *it;
454
455    if (A->getOption().matches(options::OPT_arch)) {
456      // Validate the option here; we don't save the type here because its
457      // particular spelling may participate in other driver choices.
458      llvm::Triple::ArchType Arch =
459        llvm::Triple::getArchTypeForDarwinArchName(A->getValue(Args));
460      if (Arch == llvm::Triple::UnknownArch) {
461        Diag(clang::diag::err_drv_invalid_arch_name)
462          << A->getAsString(Args);
463        continue;
464      }
465
466      A->claim();
467      if (ArchNames.insert(A->getValue(Args)))
468        Archs.push_back(A->getValue(Args));
469    }
470  }
471
472  // When there is no explicit arch for this platform, make sure we still bind
473  // the architecture (to the default) so that -Xarch_ is handled correctly.
474  if (!Archs.size())
475    Archs.push_back(0);
476
477  // FIXME: We killed off some others but these aren't yet detected in a
478  // functional manner. If we added information to jobs about which "auxiliary"
479  // files they wrote then we could detect the conflict these cause downstream.
480  if (Archs.size() > 1) {
481    // No recovery needed, the point of this is just to prevent
482    // overwriting the same files.
483    if (const Arg *A = Args.getLastArg(options::OPT_save_temps))
484      Diag(clang::diag::err_drv_invalid_opt_with_multiple_archs)
485        << A->getAsString(Args);
486  }
487
488  ActionList SingleActions;
489  BuildActions(Args, SingleActions);
490
491  // Add in arch binding and lipo (if necessary) for every top level action.
492  for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
493    Action *Act = SingleActions[i];
494
495    // Make sure we can lipo this kind of output. If not (and it is an actual
496    // output) then we disallow, since we can't create an output file with the
497    // right name without overwriting it. We could remove this oddity by just
498    // changing the output names to include the arch, which would also fix
499    // -save-temps. Compatibility wins for now.
500
501    if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
502      Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
503        << types::getTypeName(Act->getType());
504
505    ActionList Inputs;
506    for (unsigned i = 0, e = Archs.size(); i != e; ++i)
507      Inputs.push_back(new BindArchAction(Act, Archs[i]));
508
509    // Lipo if necessary, we do it this way because we need to set the arch flag
510    // so that -Xarch_ gets overwritten.
511    if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
512      Actions.append(Inputs.begin(), Inputs.end());
513    else
514      Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
515  }
516}
517
518void Driver::BuildActions(const ArgList &Args, ActionList &Actions) const {
519  llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
520  // Start by constructing the list of inputs and their types.
521
522  // Track the current user specified (-x) input. We also explicitly track the
523  // argument used to set the type; we only want to claim the type when we
524  // actually use it, so we warn about unused -x arguments.
525  types::ID InputType = types::TY_Nothing;
526  Arg *InputTypeArg = 0;
527
528  llvm::SmallVector<std::pair<types::ID, const Arg*>, 16> Inputs;
529  for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
530       it != ie; ++it) {
531    Arg *A = *it;
532
533    if (isa<InputOption>(A->getOption())) {
534      const char *Value = A->getValue(Args);
535      types::ID Ty = types::TY_INVALID;
536
537      // Infer the input type if necessary.
538      if (InputType == types::TY_Nothing) {
539        // If there was an explicit arg for this, claim it.
540        if (InputTypeArg)
541          InputTypeArg->claim();
542
543        // stdin must be handled specially.
544        if (memcmp(Value, "-", 2) == 0) {
545          // If running with -E, treat as a C input (this changes the builtin
546          // macros, for example). This may be overridden by -ObjC below.
547          //
548          // Otherwise emit an error but still use a valid type to avoid
549          // spurious errors (e.g., no inputs).
550          if (!Args.hasArgNoClaim(options::OPT_E))
551            Diag(clang::diag::err_drv_unknown_stdin_type);
552          Ty = types::TY_C;
553        } else {
554          // Otherwise lookup by extension, and fallback to ObjectType if not
555          // found. We use a host hook here because Darwin at least has its own
556          // idea of what .s is.
557          if (const char *Ext = strrchr(Value, '.'))
558            Ty = Host->lookupTypeForExtension(Ext + 1);
559
560          if (Ty == types::TY_INVALID)
561            Ty = types::TY_Object;
562
563          // If the driver is invoked as C++ compiler (like clang++ or c++) it
564          // should autodetect some input files as C++ for g++ compatibility.
565          if (CCCIsCXX) {
566            types::ID OldTy = Ty;
567            Ty = types::lookupCXXTypeForCType(Ty);
568
569            if (Ty != OldTy)
570              Diag(clang::diag::warn_drv_treating_input_as_cxx)
571                << getTypeName(OldTy) << getTypeName(Ty);
572          }
573        }
574
575        // -ObjC and -ObjC++ override the default language, but only for "source
576        // files". We just treat everything that isn't a linker input as a
577        // source file.
578        //
579        // FIXME: Clean this up if we move the phase sequence into the type.
580        if (Ty != types::TY_Object) {
581          if (Args.hasArg(options::OPT_ObjC))
582            Ty = types::TY_ObjC;
583          else if (Args.hasArg(options::OPT_ObjCXX))
584            Ty = types::TY_ObjCXX;
585        }
586      } else {
587        assert(InputTypeArg && "InputType set w/o InputTypeArg");
588        InputTypeArg->claim();
589        Ty = InputType;
590      }
591
592      // Check that the file exists, if enabled.
593      if (CheckInputsExist && memcmp(Value, "-", 2) != 0 &&
594          !llvm::sys::Path(Value).exists())
595        Diag(clang::diag::err_drv_no_such_file) << A->getValue(Args);
596      else
597        Inputs.push_back(std::make_pair(Ty, A));
598
599    } else if (A->getOption().isLinkerInput()) {
600      // Just treat as object type, we could make a special type for this if
601      // necessary.
602      Inputs.push_back(std::make_pair(types::TY_Object, A));
603
604    } else if (A->getOption().matches(options::OPT_x)) {
605      InputTypeArg = A;
606      InputType = types::lookupTypeForTypeSpecifier(A->getValue(Args));
607
608      // Follow gcc behavior and treat as linker input for invalid -x
609      // options. Its not clear why we shouldn't just revert to unknown; but
610      // this isn't very important, we might as well be bug comatible.
611      if (!InputType) {
612        Diag(clang::diag::err_drv_unknown_language) << A->getValue(Args);
613        InputType = types::TY_Object;
614      }
615    }
616  }
617
618  if (!SuppressMissingInputWarning && Inputs.empty()) {
619    Diag(clang::diag::err_drv_no_input_files);
620    return;
621  }
622
623  // Determine which compilation mode we are in. We look for options which
624  // affect the phase, starting with the earliest phases, and record which
625  // option we used to determine the final phase.
626  Arg *FinalPhaseArg = 0;
627  phases::ID FinalPhase;
628
629  // -{E,M,MM} only run the preprocessor.
630  if ((FinalPhaseArg = Args.getLastArg(options::OPT_E)) ||
631      (FinalPhaseArg = Args.getLastArg(options::OPT_M)) ||
632      (FinalPhaseArg = Args.getLastArg(options::OPT_MM))) {
633    FinalPhase = phases::Preprocess;
634
635    // -{fsyntax-only,-analyze,emit-ast,S} only run up to the compiler.
636  } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_fsyntax_only)) ||
637             (FinalPhaseArg = Args.getLastArg(options::OPT_rewrite_objc)) ||
638             (FinalPhaseArg = Args.getLastArg(options::OPT__analyze,
639                                              options::OPT__analyze_auto)) ||
640             (FinalPhaseArg = Args.getLastArg(options::OPT_emit_ast)) ||
641             (FinalPhaseArg = Args.getLastArg(options::OPT_S))) {
642    FinalPhase = phases::Compile;
643
644    // -c only runs up to the assembler.
645  } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_c))) {
646    FinalPhase = phases::Assemble;
647
648    // Otherwise do everything.
649  } else
650    FinalPhase = phases::Link;
651
652  // Reject -Z* at the top level, these options should never have been exposed
653  // by gcc.
654  if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
655    Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
656
657  // Construct the actions to perform.
658  ActionList LinkerInputs;
659  for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
660    types::ID InputType = Inputs[i].first;
661    const Arg *InputArg = Inputs[i].second;
662
663    unsigned NumSteps = types::getNumCompilationPhases(InputType);
664    assert(NumSteps && "Invalid number of steps!");
665
666    // If the first step comes after the final phase we are doing as part of
667    // this compilation, warn the user about it.
668    phases::ID InitialPhase = types::getCompilationPhase(InputType, 0);
669    if (InitialPhase > FinalPhase) {
670      // Claim here to avoid the more general unused warning.
671      InputArg->claim();
672
673      // Special case '-E' warning on a previously preprocessed file to make
674      // more sense.
675      if (InitialPhase == phases::Compile && FinalPhase == phases::Preprocess &&
676          getPreprocessedType(InputType) == types::TY_INVALID)
677        Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
678          << InputArg->getAsString(Args)
679          << FinalPhaseArg->getOption().getName();
680      else
681        Diag(clang::diag::warn_drv_input_file_unused)
682          << InputArg->getAsString(Args)
683          << getPhaseName(InitialPhase)
684          << FinalPhaseArg->getOption().getName();
685      continue;
686    }
687
688    // Build the pipeline for this file.
689    llvm::OwningPtr<Action> Current(new InputAction(*InputArg, InputType));
690    for (unsigned i = 0; i != NumSteps; ++i) {
691      phases::ID Phase = types::getCompilationPhase(InputType, i);
692
693      // We are done if this step is past what the user requested.
694      if (Phase > FinalPhase)
695        break;
696
697      // Queue linker inputs.
698      if (Phase == phases::Link) {
699        assert(i + 1 == NumSteps && "linking must be final compilation step.");
700        LinkerInputs.push_back(Current.take());
701        break;
702      }
703
704      // Some types skip the assembler phase (e.g., llvm-bc), but we can't
705      // encode this in the steps because the intermediate type depends on
706      // arguments. Just special case here.
707      if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
708        continue;
709
710      // Otherwise construct the appropriate action.
711      Current.reset(ConstructPhaseAction(Args, Phase, Current.take()));
712      if (Current->getType() == types::TY_Nothing)
713        break;
714    }
715
716    // If we ended with something, add to the output list.
717    if (Current)
718      Actions.push_back(Current.take());
719  }
720
721  // Add a link action if necessary.
722  if (!LinkerInputs.empty())
723    Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
724
725  // If we are linking, claim any options which are obviously only used for
726  // compilation.
727  if (FinalPhase == phases::Link)
728    Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
729}
730
731Action *Driver::ConstructPhaseAction(const ArgList &Args, phases::ID Phase,
732                                     Action *Input) const {
733  llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
734  // Build the appropriate action.
735  switch (Phase) {
736  case phases::Link: assert(0 && "link action invalid here.");
737  case phases::Preprocess: {
738    types::ID OutputTy;
739    // -{M, MM} alter the output type.
740    if (Args.hasArg(options::OPT_M) || Args.hasArg(options::OPT_MM)) {
741      OutputTy = types::TY_Dependencies;
742    } else {
743      OutputTy = types::getPreprocessedType(Input->getType());
744      assert(OutputTy != types::TY_INVALID &&
745             "Cannot preprocess this input type!");
746    }
747    return new PreprocessJobAction(Input, OutputTy);
748  }
749  case phases::Precompile:
750    return new PrecompileJobAction(Input, types::TY_PCH);
751  case phases::Compile: {
752    bool HasO4 = false;
753    if (const Arg *A = Args.getLastArg(options::OPT_O_Group))
754      HasO4 = A->getOption().matches(options::OPT_O4);
755
756    if (Args.hasArg(options::OPT_fsyntax_only)) {
757      return new CompileJobAction(Input, types::TY_Nothing);
758    } else if (Args.hasArg(options::OPT_rewrite_objc)) {
759      return new CompileJobAction(Input, types::TY_RewrittenObjC);
760    } else if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto)) {
761      return new AnalyzeJobAction(Input, types::TY_Plist);
762    } else if (Args.hasArg(options::OPT_emit_ast)) {
763      return new CompileJobAction(Input, types::TY_AST);
764    } else if (Args.hasArg(options::OPT_emit_llvm) ||
765               Args.hasArg(options::OPT_flto) || HasO4) {
766      types::ID Output =
767        Args.hasArg(options::OPT_S) ? types::TY_LLVMAsm : types::TY_LLVMBC;
768      return new CompileJobAction(Input, Output);
769    } else {
770      return new CompileJobAction(Input, types::TY_PP_Asm);
771    }
772  }
773  case phases::Assemble:
774    return new AssembleJobAction(Input, types::TY_Object);
775  }
776
777  assert(0 && "invalid phase in ConstructPhaseAction");
778  return 0;
779}
780
781void Driver::BuildJobs(Compilation &C) const {
782  llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
783  bool SaveTemps = C.getArgs().hasArg(options::OPT_save_temps);
784  bool UsePipes = C.getArgs().hasArg(options::OPT_pipe);
785
786  // FIXME: Pipes are forcibly disabled until we support executing them.
787  if (!CCCPrintBindings)
788    UsePipes = false;
789
790  // -save-temps inhibits pipes.
791  if (SaveTemps && UsePipes)
792    Diag(clang::diag::warn_drv_pipe_ignored_with_save_temps);
793
794  Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
795
796  // It is an error to provide a -o option if we are making multiple output
797  // files.
798  if (FinalOutput) {
799    unsigned NumOutputs = 0;
800    for (ActionList::const_iterator it = C.getActions().begin(),
801           ie = C.getActions().end(); it != ie; ++it)
802      if ((*it)->getType() != types::TY_Nothing)
803        ++NumOutputs;
804
805    if (NumOutputs > 1) {
806      Diag(clang::diag::err_drv_output_argument_with_multiple_files);
807      FinalOutput = 0;
808    }
809  }
810
811  for (ActionList::const_iterator it = C.getActions().begin(),
812         ie = C.getActions().end(); it != ie; ++it) {
813    Action *A = *it;
814
815    // If we are linking an image for multiple archs then the linker wants
816    // -arch_multiple and -final_output <final image name>. Unfortunately, this
817    // doesn't fit in cleanly because we have to pass this information down.
818    //
819    // FIXME: This is a hack; find a cleaner way to integrate this into the
820    // process.
821    const char *LinkingOutput = 0;
822    if (isa<LipoJobAction>(A)) {
823      if (FinalOutput)
824        LinkingOutput = FinalOutput->getValue(C.getArgs());
825      else
826        LinkingOutput = DefaultImageName.c_str();
827    }
828
829    InputInfo II;
830    BuildJobsForAction(C, A, &C.getDefaultToolChain(),
831                       /*BoundArch*/0,
832                       /*CanAcceptPipe*/ true,
833                       /*AtTopLevel*/ true,
834                       /*LinkingOutput*/ LinkingOutput,
835                       II);
836  }
837
838  // If the user passed -Qunused-arguments or there were errors, don't warn
839  // about any unused arguments.
840  if (Diags.getNumErrors() ||
841      C.getArgs().hasArg(options::OPT_Qunused_arguments))
842    return;
843
844  // Claim -### here.
845  (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
846
847  for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
848       it != ie; ++it) {
849    Arg *A = *it;
850
851    // FIXME: It would be nice to be able to send the argument to the
852    // Diagnostic, so that extra values, position, and so on could be printed.
853    if (!A->isClaimed()) {
854      if (A->getOption().hasNoArgumentUnused())
855        continue;
856
857      // Suppress the warning automatically if this is just a flag, and it is an
858      // instance of an argument we already claimed.
859      const Option &Opt = A->getOption();
860      if (isa<FlagOption>(Opt)) {
861        bool DuplicateClaimed = false;
862
863        for (arg_iterator it = C.getArgs().filtered_begin(&Opt),
864               ie = C.getArgs().filtered_end(); it != ie; ++it) {
865          if ((*it)->isClaimed()) {
866            DuplicateClaimed = true;
867            break;
868          }
869        }
870
871        if (DuplicateClaimed)
872          continue;
873      }
874
875      Diag(clang::diag::warn_drv_unused_argument)
876        << A->getAsString(C.getArgs());
877    }
878  }
879}
880
881static const Tool &SelectToolForJob(Compilation &C, const ToolChain *TC,
882                                    const JobAction *JA,
883                                    const ActionList *&Inputs) {
884  const Tool *ToolForJob = 0;
885
886  // See if we should look for a compiler with an integrated assembler. We match
887  // bottom up, so what we are actually looking for is an assembler job with a
888  // compiler input.
889  if (C.getArgs().hasArg(options::OPT_integrated_as,
890                         options::OPT_no_integrated_as,
891                         TC->IsIntegratedAssemblerDefault()) &&
892      !C.getArgs().hasArg(options::OPT_save_temps) &&
893      isa<AssembleJobAction>(JA) &&
894      Inputs->size() == 1 && isa<CompileJobAction>(*Inputs->begin())) {
895    const Tool &Compiler = TC->SelectTool(C,cast<JobAction>(**Inputs->begin()));
896    if (Compiler.hasIntegratedAssembler()) {
897      Inputs = &(*Inputs)[0]->getInputs();
898      ToolForJob = &Compiler;
899    }
900  }
901
902  // Otherwise use the tool for the current job.
903  if (!ToolForJob)
904    ToolForJob = &TC->SelectTool(C, *JA);
905
906  // See if we should use an integrated preprocessor. We do so when we have
907  // exactly one input, since this is the only use case we care about
908  // (irrelevant since we don't support combine yet).
909  if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
910      !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
911      !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
912      !C.getArgs().hasArg(options::OPT_save_temps) &&
913      ToolForJob->hasIntegratedCPP())
914    Inputs = &(*Inputs)[0]->getInputs();
915
916  return *ToolForJob;
917}
918
919void Driver::BuildJobsForAction(Compilation &C,
920                                const Action *A,
921                                const ToolChain *TC,
922                                const char *BoundArch,
923                                bool CanAcceptPipe,
924                                bool AtTopLevel,
925                                const char *LinkingOutput,
926                                InputInfo &Result) const {
927  llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
928
929  bool UsePipes = C.getArgs().hasArg(options::OPT_pipe);
930  // FIXME: Pipes are forcibly disabled until we support executing them.
931  if (!CCCPrintBindings)
932    UsePipes = false;
933
934  if (const InputAction *IA = dyn_cast<InputAction>(A)) {
935    // FIXME: It would be nice to not claim this here; maybe the old scheme of
936    // just using Args was better?
937    const Arg &Input = IA->getInputArg();
938    Input.claim();
939    if (isa<PositionalArg>(Input)) {
940      const char *Name = Input.getValue(C.getArgs());
941      Result = InputInfo(Name, A->getType(), Name);
942    } else
943      Result = InputInfo(&Input, A->getType(), "");
944    return;
945  }
946
947  if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
948    const ToolChain *TC = &C.getDefaultToolChain();
949
950    std::string Arch;
951    if (BAA->getArchName())
952      TC = Host->CreateToolChain(C.getArgs(), BAA->getArchName());
953
954    BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
955                       CanAcceptPipe, AtTopLevel, LinkingOutput, Result);
956    return;
957  }
958
959  const ActionList *Inputs = &A->getInputs();
960
961  const JobAction *JA = cast<JobAction>(A);
962  const Tool &T = SelectToolForJob(C, TC, JA, Inputs);
963
964  // Only use pipes when there is exactly one input.
965  bool TryToUsePipeInput = Inputs->size() == 1 && T.acceptsPipedInput();
966  InputInfoList InputInfos;
967  for (ActionList::const_iterator it = Inputs->begin(), ie = Inputs->end();
968       it != ie; ++it) {
969    InputInfo II;
970    BuildJobsForAction(C, *it, TC, BoundArch, TryToUsePipeInput,
971                       /*AtTopLevel*/false, LinkingOutput, II);
972    InputInfos.push_back(II);
973  }
974
975  // Determine if we should output to a pipe.
976  bool OutputToPipe = false;
977  if (CanAcceptPipe && T.canPipeOutput()) {
978    // Some actions default to writing to a pipe if they are the top level phase
979    // and there was no user override.
980    //
981    // FIXME: Is there a better way to handle this?
982    if (AtTopLevel) {
983      if (isa<PreprocessJobAction>(A) && !C.getArgs().hasArg(options::OPT_o))
984        OutputToPipe = true;
985    } else if (UsePipes)
986      OutputToPipe = true;
987  }
988
989  // Figure out where to put the job (pipes).
990  Job *Dest = &C.getJobs();
991  if (InputInfos[0].isPipe()) {
992    assert(TryToUsePipeInput && "Unrequested pipe!");
993    assert(InputInfos.size() == 1 && "Unexpected pipe with multiple inputs.");
994    Dest = &InputInfos[0].getPipe();
995  }
996
997  // Always use the first input as the base input.
998  const char *BaseInput = InputInfos[0].getBaseInput();
999
1000  // Determine the place to write output to (nothing, pipe, or filename) and
1001  // where to put the new job.
1002  if (JA->getType() == types::TY_Nothing) {
1003    Result = InputInfo(A->getType(), BaseInput);
1004  } else if (OutputToPipe) {
1005    // Append to current piped job or create a new one as appropriate.
1006    PipedJob *PJ = dyn_cast<PipedJob>(Dest);
1007    if (!PJ) {
1008      PJ = new PipedJob();
1009      // FIXME: Temporary hack so that -ccc-print-bindings work until we have
1010      // pipe support. Please remove later.
1011      if (!CCCPrintBindings)
1012        cast<JobList>(Dest)->addJob(PJ);
1013      Dest = PJ;
1014    }
1015    Result = InputInfo(PJ, A->getType(), BaseInput);
1016  } else {
1017    Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, AtTopLevel),
1018                       A->getType(), BaseInput);
1019  }
1020
1021  if (CCCPrintBindings) {
1022    llvm::errs() << "# \"" << T.getToolChain().getTripleString() << '"'
1023                 << " - \"" << T.getName() << "\", inputs: [";
1024    for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1025      llvm::errs() << InputInfos[i].getAsString();
1026      if (i + 1 != e)
1027        llvm::errs() << ", ";
1028    }
1029    llvm::errs() << "], output: " << Result.getAsString() << "\n";
1030  } else {
1031    T.ConstructJob(C, *JA, *Dest, Result, InputInfos,
1032                   C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
1033  }
1034}
1035
1036const char *Driver::GetNamedOutputPath(Compilation &C,
1037                                       const JobAction &JA,
1038                                       const char *BaseInput,
1039                                       bool AtTopLevel) const {
1040  llvm::PrettyStackTraceString CrashInfo("Computing output path");
1041  // Output to a user requested destination?
1042  if (AtTopLevel) {
1043    if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
1044      return C.addResultFile(FinalOutput->getValue(C.getArgs()));
1045  }
1046
1047  // Output to a temporary file?
1048  if (!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps)) {
1049    std::string TmpName =
1050      GetTemporaryPath(types::getTypeTempSuffix(JA.getType()));
1051    return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1052  }
1053
1054  llvm::sys::Path BasePath(BaseInput);
1055  std::string BaseName(BasePath.getLast());
1056
1057  // Determine what the derived output name should be.
1058  const char *NamedOutput;
1059  if (JA.getType() == types::TY_Image) {
1060    NamedOutput = DefaultImageName.c_str();
1061  } else {
1062    const char *Suffix = types::getTypeTempSuffix(JA.getType());
1063    assert(Suffix && "All types used for output should have a suffix.");
1064
1065    std::string::size_type End = std::string::npos;
1066    if (!types::appendSuffixForType(JA.getType()))
1067      End = BaseName.rfind('.');
1068    std::string Suffixed(BaseName.substr(0, End));
1069    Suffixed += '.';
1070    Suffixed += Suffix;
1071    NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1072  }
1073
1074  // As an annoying special case, PCH generation doesn't strip the pathname.
1075  if (JA.getType() == types::TY_PCH) {
1076    BasePath.eraseComponent();
1077    if (BasePath.isEmpty())
1078      BasePath = NamedOutput;
1079    else
1080      BasePath.appendComponent(NamedOutput);
1081    return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()));
1082  } else {
1083    return C.addResultFile(NamedOutput);
1084  }
1085}
1086
1087std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
1088  const ToolChain::path_list &List = TC.getFilePaths();
1089  for (ToolChain::path_list::const_iterator
1090         it = List.begin(), ie = List.end(); it != ie; ++it) {
1091    llvm::sys::Path P(*it);
1092    P.appendComponent(Name);
1093    if (P.exists())
1094      return P.str();
1095  }
1096
1097  return Name;
1098}
1099
1100std::string Driver::GetProgramPath(const char *Name, const ToolChain &TC,
1101                                   bool WantFile) const {
1102  const ToolChain::path_list &List = TC.getProgramPaths();
1103  for (ToolChain::path_list::const_iterator
1104         it = List.begin(), ie = List.end(); it != ie; ++it) {
1105    llvm::sys::Path P(*it);
1106    P.appendComponent(Name);
1107    if (WantFile ? P.exists() : P.canExecute())
1108      return P.str();
1109  }
1110
1111  // If all else failed, search the path.
1112  llvm::sys::Path P(llvm::sys::Program::FindProgramByName(Name));
1113  if (!P.empty())
1114    return P.str();
1115
1116  return Name;
1117}
1118
1119std::string Driver::GetTemporaryPath(const char *Suffix) const {
1120  // FIXME: This is lame; sys::Path should provide this function (in particular,
1121  // it should know how to find the temporary files dir).
1122  std::string Error;
1123  const char *TmpDir = ::getenv("TMPDIR");
1124  if (!TmpDir)
1125    TmpDir = ::getenv("TEMP");
1126  if (!TmpDir)
1127    TmpDir = ::getenv("TMP");
1128  if (!TmpDir)
1129    TmpDir = "/tmp";
1130  llvm::sys::Path P(TmpDir);
1131  P.appendComponent("cc");
1132  if (P.makeUnique(false, &Error)) {
1133    Diag(clang::diag::err_drv_unable_to_make_temp) << Error;
1134    return "";
1135  }
1136
1137  // FIXME: Grumble, makeUnique sometimes leaves the file around!?  PR3837.
1138  P.eraseFromDisk(false, 0);
1139
1140  P.appendSuffix(Suffix);
1141  return P.str();
1142}
1143
1144const HostInfo *Driver::GetHostInfo(const char *TripleStr) const {
1145  llvm::PrettyStackTraceString CrashInfo("Constructing host");
1146  llvm::Triple Triple(TripleStr);
1147
1148  switch (Triple.getOS()) {
1149  case llvm::Triple::AuroraUX:
1150    return createAuroraUXHostInfo(*this, Triple);
1151  case llvm::Triple::Darwin:
1152    return createDarwinHostInfo(*this, Triple);
1153  case llvm::Triple::DragonFly:
1154    return createDragonFlyHostInfo(*this, Triple);
1155  case llvm::Triple::OpenBSD:
1156    return createOpenBSDHostInfo(*this, Triple);
1157  case llvm::Triple::FreeBSD:
1158    return createFreeBSDHostInfo(*this, Triple);
1159  case llvm::Triple::Linux:
1160    return createLinuxHostInfo(*this, Triple);
1161  default:
1162    return createUnknownHostInfo(*this, Triple);
1163  }
1164}
1165
1166bool Driver::ShouldUseClangCompiler(const Compilation &C, const JobAction &JA,
1167                                    const llvm::Triple &Triple) const {
1168  // Check if user requested no clang, or clang doesn't understand this type (we
1169  // only handle single inputs for now).
1170  if (!CCCUseClang || JA.size() != 1 ||
1171      !types::isAcceptedByClang((*JA.begin())->getType()))
1172    return false;
1173
1174  // Otherwise make sure this is an action clang understands.
1175  if (isa<PreprocessJobAction>(JA)) {
1176    if (!CCCUseClangCPP) {
1177      Diag(clang::diag::warn_drv_not_using_clang_cpp);
1178      return false;
1179    }
1180  } else if (!isa<PrecompileJobAction>(JA) && !isa<CompileJobAction>(JA))
1181    return false;
1182
1183  // Use clang for C++?
1184  if (!CCCUseClangCXX && types::isCXX((*JA.begin())->getType())) {
1185    Diag(clang::diag::warn_drv_not_using_clang_cxx);
1186    return false;
1187  }
1188
1189  // Always use clang for precompiling, AST generation, and rewriting,
1190  // regardless of archs.
1191  if (isa<PrecompileJobAction>(JA) || JA.getType() == types::TY_AST ||
1192      JA.getType() == types::TY_RewrittenObjC)
1193    return true;
1194
1195  // Finally, don't use clang if this isn't one of the user specified archs to
1196  // build.
1197  if (!CCCClangArchs.empty() && !CCCClangArchs.count(Triple.getArch())) {
1198    Diag(clang::diag::warn_drv_not_using_clang_arch) << Triple.getArchName();
1199    return false;
1200  }
1201
1202  return true;
1203}
1204
1205/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
1206/// grouped values as integers. Numbers which are not provided are set to 0.
1207///
1208/// \return True if the entire string was parsed (9.2), or all groups were
1209/// parsed (10.3.5extrastuff).
1210bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
1211                               unsigned &Minor, unsigned &Micro,
1212                               bool &HadExtra) {
1213  HadExtra = false;
1214
1215  Major = Minor = Micro = 0;
1216  if (*Str == '\0')
1217    return true;
1218
1219  char *End;
1220  Major = (unsigned) strtol(Str, &End, 10);
1221  if (*Str != '\0' && *End == '\0')
1222    return true;
1223  if (*End != '.')
1224    return false;
1225
1226  Str = End+1;
1227  Minor = (unsigned) strtol(Str, &End, 10);
1228  if (*Str != '\0' && *End == '\0')
1229    return true;
1230  if (*End != '.')
1231    return false;
1232
1233  Str = End+1;
1234  Micro = (unsigned) strtol(Str, &End, 10);
1235  if (*Str != '\0' && *End == '\0')
1236    return true;
1237  if (Str == End)
1238    return false;
1239  HadExtra = true;
1240  return true;
1241}
1242