blob: 168a840332977a9a5bb63fef44252b02bb19cb6c [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- clang.cpp - C-Language Front-end ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This utility may be invoked in the following manner:
11// clang --help - Output help info.
12// clang [options] - Read from stdin.
13// clang [options] file - Read from "file".
14// clang [options] file1 file2 - Read these files.
15//
16//===----------------------------------------------------------------------===//
17//
18// TODO: Options to support:
19//
Chris Lattnerdddaa9c2009-02-18 01:17:01 +000020// -Wfatal-errors
Reid Spencer5f016e22007-07-11 17:01:13 +000021// -ftabstop=width
22//
23//===----------------------------------------------------------------------===//
24
Eli Friedman0ec78fa2009-05-19 21:10:40 +000025#include "clang/Frontend/AnalysisConsumer.h"
Eli Friedman8ceb0d92009-05-18 23:02:01 +000026#include "clang/Frontend/ASTConsumers.h"
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +000027#include "clang/Frontend/ASTUnit.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000028#include "clang/Frontend/CompileOptions.h"
Daniel Dunbareace8742009-11-04 06:24:30 +000029#include "clang/Frontend/DiagnosticOptions.h"
Douglas Gregor558cb562009-04-02 01:08:08 +000030#include "clang/Frontend/FixItRewriter.h"
Daniel Dunbar50f4f462009-03-12 10:14:16 +000031#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000032#include "clang/Frontend/InitHeaderSearch.h"
Douglas Gregor2cf26342009-04-09 22:27:44 +000033#include "clang/Frontend/PCHReader.h"
Daniel Dunbar8863b982009-11-07 04:20:15 +000034#include "clang/Frontend/PathDiagnosticClients.h"
35#include "clang/Frontend/PreprocessorOptions.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000036#include "clang/Frontend/TextDiagnosticBuffer.h"
37#include "clang/Frontend/TextDiagnosticPrinter.h"
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000038#include "clang/Frontend/CommandLineSourceLoc.h"
Eli Friedmanb09f6e12009-05-19 04:14:29 +000039#include "clang/Frontend/Utils.h"
Ted Kremenek88f5cde2008-03-27 06:17:42 +000040#include "clang/Analysis/PathDiagnostic.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000041#include "clang/CodeGen/ModuleBuilder.h"
Douglas Gregor81b747b2009-09-17 21:32:03 +000042#include "clang/Sema/CodeCompleteConsumer.h"
Chris Lattnere91c1342008-02-06 00:23:21 +000043#include "clang/Sema/ParseAST.h"
Chris Lattner88eccaf2009-01-29 06:55:46 +000044#include "clang/Sema/SemaDiagnostic.h"
Chris Lattner556beb72007-09-15 22:56:56 +000045#include "clang/AST/ASTConsumer.h"
Chris Lattner1266eca2009-03-28 04:31:31 +000046#include "clang/AST/ASTContext.h"
47#include "clang/AST/Decl.h"
Chris Lattner682bf922009-03-29 16:50:03 +000048#include "clang/AST/DeclGroup.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000049#include "clang/Parse/Parser.h"
50#include "clang/Lex/HeaderSearch.h"
Chris Lattnerdb766842009-02-06 04:16:41 +000051#include "clang/Lex/LexDiagnostic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000052#include "clang/Basic/FileManager.h"
53#include "clang/Basic/SourceManager.h"
54#include "clang/Basic/TargetInfo.h"
Daniel Dunbaraa338bc2009-05-06 04:07:06 +000055#include "clang/Basic/Version.h"
Owen Anderson42253cc2009-07-01 17:00:06 +000056#include "llvm/LLVMContext.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000057#include "llvm/ADT/OwningPtr.h"
Chris Lattner8f3dab82007-12-15 23:20:07 +000058#include "llvm/ADT/SmallPtrSet.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000059#include "llvm/ADT/StringExtras.h"
Daniel Dunbar868bd0a2009-05-06 03:16:41 +000060#include "llvm/ADT/StringMap.h"
Chris Lattnerb8e240e2009-04-08 18:24:34 +000061#include "llvm/ADT/STLExtras.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000062#include "llvm/Config/config.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000063#include "llvm/Support/CommandLine.h"
Daniel Dunbar70121eb2009-08-10 03:40:28 +000064#include "llvm/Support/ErrorHandling.h"
Daniel Dunbar524b86f2008-10-28 00:38:08 +000065#include "llvm/Support/ManagedStatic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000066#include "llvm/Support/MemoryBuffer.h"
Zhongxing Xu20922362008-11-26 05:23:17 +000067#include "llvm/Support/PluginLoader.h"
Chris Lattner09e94a32009-03-04 21:41:39 +000068#include "llvm/Support/PrettyStackTrace.h"
Chris Lattner47099742009-02-18 01:51:21 +000069#include "llvm/Support/Timer.h"
Chris Lattner0fa0daa2009-08-24 04:11:30 +000070#include "llvm/Support/raw_ostream.h"
Daniel Dunbare553a722008-10-02 01:21:33 +000071#include "llvm/System/Host.h"
Chris Lattnerdcaa0962008-03-03 03:16:03 +000072#include "llvm/System/Path.h"
Eli Friedman66d6f042009-05-18 22:20:00 +000073#include "llvm/System/Program.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000074#include "llvm/System/Signals.h"
Chris Lattner2fe11942009-06-17 17:25:50 +000075#include "llvm/Target/TargetSelect.h"
Douglas Gregor26df2f02009-04-02 19:05:20 +000076#include <cstdlib>
Douglas Gregor44cf08e2009-05-03 03:52:38 +000077#if HAVE_SYS_TYPES_H
Douglas Gregor68a0d782009-05-02 00:03:46 +000078# include <sys/types.h>
79#endif
Douglas Gregor26df2f02009-04-02 19:05:20 +000080
Reid Spencer5f016e22007-07-11 17:01:13 +000081using namespace clang;
82
83//===----------------------------------------------------------------------===//
Douglas Gregor26df2f02009-04-02 19:05:20 +000084// Source Location Parser
85//===----------------------------------------------------------------------===//
86
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000087static bool ResolveParsedLocation(ParsedSourceLocation &ParsedLoc,
88 FileManager &FileMgr,
89 RequestedSourceLocation &Result) {
90 const FileEntry *File = FileMgr.getFile(ParsedLoc.FileName);
Douglas Gregor26df2f02009-04-02 19:05:20 +000091 if (!File)
92 return true;
93
94 Result.File = File;
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000095 Result.Line = ParsedLoc.Line;
96 Result.Column = ParsedLoc.Column;
Douglas Gregor26df2f02009-04-02 19:05:20 +000097 return false;
98}
99
Douglas Gregor26df2f02009-04-02 19:05:20 +0000100//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000101// Global options.
102//===----------------------------------------------------------------------===//
103
Chris Lattner47099742009-02-18 01:51:21 +0000104/// ClangFrontendTimer - The front-end activities should charge time to it with
105/// TimeRegion. The -ftime-report option controls whether this will do
106/// anything.
107llvm::Timer *ClangFrontendTimer = 0;
108
Reid Spencer5f016e22007-07-11 17:01:13 +0000109static llvm::cl::opt<bool>
110Verbose("v", llvm::cl::desc("Enable verbose output"));
111static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000112Stats("print-stats",
Nate Begemanaabbb122007-12-30 01:38:50 +0000113 llvm::cl::desc("Print performance metrics and statistics"));
Daniel Dunbard3db4012008-10-16 16:54:18 +0000114static llvm::cl::opt<bool>
115DisableFree("disable-free",
116 llvm::cl::desc("Disable freeing of memory on exit"),
117 llvm::cl::init(false));
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000118static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000119EmptyInputOnly("empty-input-only",
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000120 llvm::cl::desc("Force running on an empty input file"));
Reid Spencer5f016e22007-07-11 17:01:13 +0000121
122enum ProgActions {
Steve Naroffb29b4272008-04-14 22:03:09 +0000123 RewriteObjC, // ObjC->C Rewriter.
Steve Naroff13188952008-09-18 14:10:13 +0000124 RewriteBlocks, // ObjC->C Rewriter for Blocks.
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000125 RewriteMacros, // Expand macros but not #includes.
Chris Lattnerb13c5ee2008-10-12 05:29:20 +0000126 RewriteTest, // Rewriter playground
Douglas Gregor558cb562009-04-02 01:08:08 +0000127 FixIt, // Fix-It Rewriter
Ted Kremenek13e479b2008-03-19 07:53:42 +0000128 HTMLTest, // HTML displayer testing stuff.
Daniel Dunbard69bacc2008-10-21 23:49:24 +0000129 EmitAssembly, // Emit a .s file.
Reid Spencer5f016e22007-07-11 17:01:13 +0000130 EmitLLVM, // Emit a .ll file.
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000131 EmitBC, // Emit a .bc file.
Mike Stump1eb44332009-09-09 15:08:12 +0000132 EmitLLVMOnly, // Generate LLVM IR, but do not
Ted Kremenek6a340832008-03-18 21:19:49 +0000133 EmitHTML, // Translate input source into HTML.
Chris Lattner3b427b32007-10-11 00:18:28 +0000134 ASTPrint, // Parse ASTs and print them.
Douglas Gregoree75c052009-05-21 20:55:50 +0000135 ASTPrintXML, // Parse ASTs and print them in XML.
Chris Lattner3b427b32007-10-11 00:18:28 +0000136 ASTDump, // Parse ASTs and dump them.
137 ASTView, // Parse ASTs and view them in Graphviz.
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000138 PrintDeclContext, // Print DeclContext and their Decls.
Anders Carlsson78762eb2009-09-24 18:54:49 +0000139 DumpRecordLayouts, // Dump record layout information.
Reid Spencer5f016e22007-07-11 17:01:13 +0000140 ParsePrintCallbacks, // Parse and print each callback.
141 ParseSyntaxOnly, // Parse and perform semantic analysis.
142 ParseNoop, // Parse with noop callbacks.
143 RunPreprocessorOnly, // Just lex, no output.
144 PrintPreprocessedInput, // -E mode.
Chris Lattnerc106c102008-10-12 05:03:36 +0000145 DumpTokens, // Dump out preprocessed tokens.
146 DumpRawTokens, // Dump out raw tokens.
Mike Stump1eb44332009-09-09 15:08:12 +0000147 RunAnalysis, // Run one or more source code analyses.
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +0000148 GeneratePTH, // Generate pre-tokenized header.
Douglas Gregor2cf26342009-04-09 22:27:44 +0000149 GeneratePCH, // Generate pre-compiled header.
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000150 InheritanceView // View C++ inheritance for a specified class.
Reid Spencer5f016e22007-07-11 17:01:13 +0000151};
152
Mike Stump1eb44332009-09-09 15:08:12 +0000153static llvm::cl::opt<ProgActions>
Reid Spencer5f016e22007-07-11 17:01:13 +0000154ProgAction(llvm::cl::desc("Choose output type:"), llvm::cl::ZeroOrMore,
155 llvm::cl::init(ParseSyntaxOnly),
156 llvm::cl::values(
157 clEnumValN(RunPreprocessorOnly, "Eonly",
158 "Just run preprocessor, no output (for timings)"),
159 clEnumValN(PrintPreprocessedInput, "E",
160 "Run preprocessor, emit preprocessed file"),
Chris Lattnerc106c102008-10-12 05:03:36 +0000161 clEnumValN(DumpRawTokens, "dump-raw-tokens",
162 "Lex file in raw mode and dump raw tokens"),
Daniel Dunbard4270232009-01-20 23:17:32 +0000163 clEnumValN(RunAnalysis, "analyze",
164 "Run static analysis engine"),
Chris Lattnerc106c102008-10-12 05:03:36 +0000165 clEnumValN(DumpTokens, "dump-tokens",
Reid Spencer5f016e22007-07-11 17:01:13 +0000166 "Run preprocessor, dump internal rep of tokens"),
167 clEnumValN(ParseNoop, "parse-noop",
168 "Run parser with noop callbacks (for timings)"),
169 clEnumValN(ParseSyntaxOnly, "fsyntax-only",
170 "Run parser and perform semantic analysis"),
171 clEnumValN(ParsePrintCallbacks, "parse-print-callbacks",
172 "Run parser and print each callback invoked"),
Ted Kremenek6a340832008-03-18 21:19:49 +0000173 clEnumValN(EmitHTML, "emit-html",
174 "Output input source as HTML"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000175 clEnumValN(ASTPrint, "ast-print",
176 "Build ASTs and then pretty-print them"),
Douglas Gregoree75c052009-05-21 20:55:50 +0000177 clEnumValN(ASTPrintXML, "ast-print-xml",
178 "Build ASTs and then print them in XML format"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000179 clEnumValN(ASTDump, "ast-dump",
180 "Build ASTs and then debug dump them"),
Chris Lattnerea254db2007-10-11 00:37:43 +0000181 clEnumValN(ASTView, "ast-view",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000182 "Build ASTs and view them with GraphViz"),
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000183 clEnumValN(PrintDeclContext, "print-decl-contexts",
Ted Kremenek08478eb2009-04-01 00:23:28 +0000184 "Print DeclContexts and their Decls"),
Anders Carlsson78762eb2009-09-24 18:54:49 +0000185 clEnumValN(DumpRecordLayouts, "dump-record-layouts",
186 "Dump record layout information"),
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +0000187 clEnumValN(GeneratePTH, "emit-pth",
Ted Kremenek08478eb2009-04-01 00:23:28 +0000188 "Generate pre-tokenized header file"),
Douglas Gregor2cf26342009-04-09 22:27:44 +0000189 clEnumValN(GeneratePCH, "emit-pch",
190 "Generate pre-compiled header file"),
Daniel Dunbard69bacc2008-10-21 23:49:24 +0000191 clEnumValN(EmitAssembly, "S",
192 "Emit native assembly code"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000193 clEnumValN(EmitLLVM, "emit-llvm",
Ted Kremenek27b07c52007-09-06 21:26:58 +0000194 "Build ASTs then convert to LLVM, emit .ll file"),
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000195 clEnumValN(EmitBC, "emit-llvm-bc",
196 "Build ASTs then convert to LLVM, emit .bc file"),
Daniel Dunbare8e26002009-02-26 22:39:37 +0000197 clEnumValN(EmitLLVMOnly, "emit-llvm-only",
198 "Build ASTs and convert to LLVM, discarding output"),
Chris Lattnerb13c5ee2008-10-12 05:29:20 +0000199 clEnumValN(RewriteTest, "rewrite-test",
200 "Rewriter playground"),
Steve Naroffb29b4272008-04-14 22:03:09 +0000201 clEnumValN(RewriteObjC, "rewrite-objc",
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000202 "Rewrite ObjC into C (code rewriter example)"),
203 clEnumValN(RewriteMacros, "rewrite-macros",
204 "Expand macros without full preprocessing"),
Steve Naroff13188952008-09-18 14:10:13 +0000205 clEnumValN(RewriteBlocks, "rewrite-blocks",
206 "Rewrite Blocks to C"),
Douglas Gregor558cb562009-04-02 01:08:08 +0000207 clEnumValN(FixIt, "fixit",
208 "Apply fix-it advice to the input source"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000209 clEnumValEnd));
210
Ted Kremenekccc76472007-12-19 19:47:59 +0000211
212static llvm::cl::opt<std::string>
213OutputFile("o",
Ted Kremenek50b56412007-12-19 19:50:41 +0000214 llvm::cl::value_desc("path"),
Douglas Gregor370187c2009-04-22 21:45:53 +0000215 llvm::cl::desc("Specify output file"));
Ted Kremenek55af98c2008-04-14 18:40:58 +0000216
Ted Kremenekc2e72992008-12-02 19:57:31 +0000217
Douglas Gregor0c8296d2009-11-07 00:00:49 +0000218enum CodeCompletionPrinter {
219 CCP_Debug,
220 CCP_CIndex
221};
222
Douglas Gregorb657f112009-09-22 21:11:38 +0000223static llvm::cl::opt<ParsedSourceLocation>
224CodeCompletionAt("code-completion-at",
225 llvm::cl::value_desc("file:line:column"),
226 llvm::cl::desc("Dump code-completion information at a location"));
Douglas Gregor81b747b2009-09-17 21:32:03 +0000227
Douglas Gregor0c8296d2009-11-07 00:00:49 +0000228static llvm::cl::opt<CodeCompletionPrinter>
229CodeCompletionPrinter("code-completion-printer",
230 llvm::cl::desc("Choose output type:"),
231 llvm::cl::init(CCP_Debug),
232 llvm::cl::values(
233 clEnumValN(CCP_Debug, "debug",
234 "Debug code-completion results"),
235 clEnumValN(CCP_CIndex, "cindex",
236 "Code-completion results for the CIndex library"),
237 clEnumValEnd));
238
239static llvm::cl::opt<bool>
240CodeCompletionWantsMacros("code-completion-macros",
241 llvm::cl::desc("Include macros in code-completion results"));
242
Douglas Gregor81b747b2009-09-17 21:32:03 +0000243/// \brief Buld a new code-completion consumer that prints the results of
244/// code completion to standard output.
245static CodeCompleteConsumer *BuildPrintingCodeCompleter(Sema &S, void *) {
Douglas Gregor0c8296d2009-11-07 00:00:49 +0000246 switch (CodeCompletionPrinter.getValue()) {
247 case CCP_Debug:
248 return new PrintingCodeCompleteConsumer(S, CodeCompletionWantsMacros,
249 llvm::outs());
250
251 case CCP_CIndex:
252 return new CIndexCodeCompleteConsumer(S, CodeCompletionWantsMacros,
253 llvm::outs());
254 };
255
256 return 0;
Douglas Gregor81b747b2009-09-17 21:32:03 +0000257}
258
Ted Kremenekc2e72992008-12-02 19:57:31 +0000259//===----------------------------------------------------------------------===//
260// PTH.
261//===----------------------------------------------------------------------===//
262
263static llvm::cl::opt<std::string>
264TokenCache("token-cache", llvm::cl::value_desc("path"),
265 llvm::cl::desc("Use specified token cache file"));
266
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000267//===----------------------------------------------------------------------===//
Ted Kremenek55af98c2008-04-14 18:40:58 +0000268// Diagnostic Options
269//===----------------------------------------------------------------------===//
270
Daniel Dunbareace8742009-11-04 06:24:30 +0000271static DiagnosticOptions DiagOpts;
272
Ted Kremenek41193e42007-09-26 19:42:19 +0000273static llvm::cl::opt<bool>
274VerifyDiagnostics("verify",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000275 llvm::cl::desc("Verify emitted diagnostics and warnings"));
Ted Kremenek41193e42007-09-26 19:42:19 +0000276
Nico Weberfd54ebc2008-08-05 23:33:20 +0000277static llvm::cl::opt<bool>
278NoShowColumn("fno-show-column",
279 llvm::cl::desc("Do not include column number on diagnostics"));
280
281static llvm::cl::opt<bool>
Chris Lattner65f5e642009-01-30 19:01:41 +0000282NoShowLocation("fno-show-source-location",
283 llvm::cl::desc("Do not include source location information with"
284 " diagnostics"));
285
286static llvm::cl::opt<bool>
Nico Weberfd54ebc2008-08-05 23:33:20 +0000287NoCaretDiagnostics("fno-caret-diagnostics",
288 llvm::cl::desc("Do not include source line and caret with"
289 " diagnostics"));
290
Chris Lattner1fbee5d2009-03-13 01:08:23 +0000291static llvm::cl::opt<bool>
Chris Lattneraa5bf2e2009-04-19 07:44:08 +0000292NoDiagnosticsFixIt("fno-diagnostics-fixit-info",
293 llvm::cl::desc("Do not include fixit information in"
294 " diagnostics"));
295
296static llvm::cl::opt<bool>
Chris Lattner182e0922009-04-21 05:34:31 +0000297PrintSourceRangeInfo("fdiagnostics-print-source-range-info",
298 llvm::cl::desc("Print source range spans in numeric form"));
299
Chris Lattnerd51d74a2009-04-16 05:44:38 +0000300static llvm::cl::opt<bool>
301PrintDiagnosticOption("fdiagnostics-show-option",
302 llvm::cl::desc("Print diagnostic name with mappable diagnostics"));
Nico Weberfd54ebc2008-08-05 23:33:20 +0000303
Douglas Gregorfffd93f2009-05-01 21:53:04 +0000304static llvm::cl::opt<unsigned>
305MessageLength("fmessage-length",
Mike Stump1eb44332009-09-09 15:08:12 +0000306 llvm::cl::desc("Format message diagnostics so that they fit "
307 "within N columns or fewer, when possible."),
308 llvm::cl::value_desc("N"));
Douglas Gregorfffd93f2009-05-01 21:53:04 +0000309
Torok Edwin603fca72009-06-04 07:18:23 +0000310static llvm::cl::opt<bool>
Daniel Dunbar838be482009-11-04 06:24:57 +0000311PrintColorDiagnostic("fcolor-diagnostics",
312 llvm::cl::desc("Use colors in diagnostics"));
313
Reid Spencer5f016e22007-07-11 17:01:13 +0000314//===----------------------------------------------------------------------===//
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000315// C++ Visualization.
316//===----------------------------------------------------------------------===//
317
318static llvm::cl::opt<std::string>
319InheritanceViewCls("cxx-inheritance-view",
320 llvm::cl::value_desc("class name"),
Daniel Dunbard77b2512009-01-14 18:56:36 +0000321 llvm::cl::desc("View C++ inheritance for a specified class"));
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000322
323//===----------------------------------------------------------------------===//
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000324// Builtin Options
325//===----------------------------------------------------------------------===//
Chris Lattnerb2509e12009-02-18 01:12:43 +0000326
327static llvm::cl::opt<bool>
328TimeReport("ftime-report",
329 llvm::cl::desc("Print the amount of time each "
330 "phase of compilation takes"));
331
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000332static llvm::cl::opt<bool>
333Freestanding("ffreestanding",
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000334 llvm::cl::desc("Assert that the compilation takes place in a "
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000335 "freestanding environment"));
336
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000337static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000338AllowBuiltins("fbuiltin", llvm::cl::init(true),
339 llvm::cl::desc("Disable implicit builtin knowledge of functions"));
Chris Lattner7644f072009-03-13 22:38:49 +0000340
341
342static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000343MathErrno("fmath-errno", llvm::cl::init(true),
344 llvm::cl::desc("Require math functions to respect errno"));
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000345
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000346//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000347// Language Options
348//===----------------------------------------------------------------------===//
349
350enum LangKind {
351 langkind_unspecified,
352 langkind_c,
353 langkind_c_cpp,
Chris Lattnera778d7d2008-10-22 17:29:21 +0000354 langkind_asm_cpp,
Reid Spencer5f016e22007-07-11 17:01:13 +0000355 langkind_cxx,
356 langkind_cxx_cpp,
357 langkind_objc,
358 langkind_objc_cpp,
359 langkind_objcxx,
Nate Begeman4e3629e2009-06-25 22:43:10 +0000360 langkind_objcxx_cpp,
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000361 langkind_ocl,
362 langkind_ast
Reid Spencer5f016e22007-07-11 17:01:13 +0000363};
364
Reid Spencer5f016e22007-07-11 17:01:13 +0000365static llvm::cl::opt<LangKind>
366BaseLang("x", llvm::cl::desc("Base language to compile"),
367 llvm::cl::init(langkind_unspecified),
368 llvm::cl::values(clEnumValN(langkind_c, "c", "C"),
Nate Begeman4e3629e2009-06-25 22:43:10 +0000369 clEnumValN(langkind_ocl, "cl", "OpenCL C"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000370 clEnumValN(langkind_cxx, "c++", "C++"),
371 clEnumValN(langkind_objc, "objective-c", "Objective C"),
372 clEnumValN(langkind_objcxx,"objective-c++","Objective C++"),
Daniel Dunbard2ea3862009-01-29 23:50:47 +0000373 clEnumValN(langkind_c_cpp, "cpp-output",
Reid Spencer5f016e22007-07-11 17:01:13 +0000374 "Preprocessed C"),
Chris Lattnera778d7d2008-10-22 17:29:21 +0000375 clEnumValN(langkind_asm_cpp, "assembler-with-cpp",
376 "Preprocessed asm"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000377 clEnumValN(langkind_cxx_cpp, "c++-cpp-output",
Chris Lattnerc76d8072009-02-06 06:19:20 +0000378 "Preprocessed C++"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000379 clEnumValN(langkind_objc_cpp, "objective-c-cpp-output",
380 "Preprocessed Objective C"),
Chris Lattnerc76d8072009-02-06 06:19:20 +0000381 clEnumValN(langkind_objcxx_cpp, "objective-c++-cpp-output",
Reid Spencer5f016e22007-07-11 17:01:13 +0000382 "Preprocessed Objective C++"),
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +0000383 clEnumValN(langkind_c, "c-header",
384 "C header"),
385 clEnumValN(langkind_objc, "objective-c-header",
386 "Objective-C header"),
387 clEnumValN(langkind_cxx, "c++-header",
388 "C++ header"),
389 clEnumValN(langkind_objcxx, "objective-c++-header",
390 "Objective-C++ header"),
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000391 clEnumValN(langkind_ast, "ast",
392 "Clang AST"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000393 clEnumValEnd));
394
395static llvm::cl::opt<bool>
Chris Lattner2c78b872009-04-14 23:22:57 +0000396ObjCExclusiveGC("fobjc-gc-only",
397 llvm::cl::desc("Use GC exclusively for Objective-C related "
398 "memory management"));
399
David Chisnall8a5a9aa2009-08-31 16:41:57 +0000400static llvm::cl::opt<std::string>
401ObjCConstantStringClass("fconstant-string-class",
402 llvm::cl::value_desc("class name"),
403 llvm::cl::desc("Specify the class to use for constant "
404 "Objective-C string objects."));
405
Chris Lattner2c78b872009-04-14 23:22:57 +0000406static llvm::cl::opt<bool>
407ObjCEnableGC("fobjc-gc",
408 llvm::cl::desc("Enable Objective-C garbage collection"));
409
Fariborz Jahanian448f5e62009-04-17 03:04:15 +0000410static llvm::cl::opt<bool>
411ObjCEnableGCBitmapPrint("print-ivar-layout",
412 llvm::cl::desc("Enable Objective-C Ivar layout bitmap print trace"));
413
Chris Lattner2c78b872009-04-14 23:22:57 +0000414static llvm::cl::opt<LangOptions::VisibilityMode>
415SymbolVisibility("fvisibility",
416 llvm::cl::desc("Set the default symbol visibility:"),
417 llvm::cl::init(LangOptions::Default),
418 llvm::cl::values(clEnumValN(LangOptions::Default, "default",
419 "Use default symbol visibility"),
420 clEnumValN(LangOptions::Hidden, "hidden",
421 "Use hidden symbol visibility"),
422 clEnumValN(LangOptions::Protected,"protected",
423 "Use protected symbol visibility"),
424 clEnumValEnd));
425
426static llvm::cl::opt<bool>
427OverflowChecking("ftrapv",
428 llvm::cl::desc("Trap on integer overflow"),
429 llvm::cl::init(false));
430
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000431static llvm::cl::opt<bool>
Nate Begeman2ef13e52009-08-10 23:49:36 +0000432AltiVec("faltivec", llvm::cl::desc("Enable AltiVec vector initializer syntax"),
433 llvm::cl::init(false));
434
435static llvm::cl::opt<bool>
Daniel Dunbar5345c392009-09-03 04:54:28 +0000436PThread("pthread", llvm::cl::desc("Support POSIX threads in generated code"),
437 llvm::cl::init(false));
438
Daniel Dunbar13fdf282009-09-17 00:47:46 +0000439static LangKind GetLanguage(llvm::StringRef Filename) {
Ted Kremenek8904f152007-12-05 23:49:08 +0000440 if (BaseLang != langkind_unspecified)
441 return BaseLang;
Mike Stump1eb44332009-09-09 15:08:12 +0000442
Daniel Dunbar13fdf282009-09-17 00:47:46 +0000443 llvm::StringRef Ext = Filename.rsplit('.').second;
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000444 if (Ext == "ast")
445 return langkind_ast;
446 else if (Ext == "c")
Ted Kremenek8904f152007-12-05 23:49:08 +0000447 return langkind_c;
Daniel Dunbar9f435342009-09-17 00:47:27 +0000448 else if (Ext == "S" || Ext == "s")
Chris Lattnera778d7d2008-10-22 17:29:21 +0000449 return langkind_asm_cpp;
Ted Kremenek8904f152007-12-05 23:49:08 +0000450 else if (Ext == "i")
451 return langkind_c_cpp;
452 else if (Ext == "ii")
453 return langkind_cxx_cpp;
454 else if (Ext == "m")
455 return langkind_objc;
456 else if (Ext == "mi")
457 return langkind_objc_cpp;
458 else if (Ext == "mm" || Ext == "M")
459 return langkind_objcxx;
460 else if (Ext == "mii")
461 return langkind_objcxx_cpp;
462 else if (Ext == "C" || Ext == "cc" || Ext == "cpp" || Ext == "CPP" ||
463 Ext == "c++" || Ext == "cp" || Ext == "cxx")
464 return langkind_cxx;
Nate Begeman4e3629e2009-06-25 22:43:10 +0000465 else if (Ext == "cl")
466 return langkind_ocl;
Ted Kremenek8904f152007-12-05 23:49:08 +0000467 else
468 return langkind_c;
469}
470
471
Ted Kremenek85888962008-10-21 00:54:44 +0000472static void InitializeCOptions(LangOptions &Options) {
473 // Do nothing.
474}
475
476static void InitializeObjCOptions(LangOptions &Options) {
477 Options.ObjC1 = Options.ObjC2 = 1;
478}
Mike Stump1eb44332009-09-09 15:08:12 +0000479
Ted Kremenek85888962008-10-21 00:54:44 +0000480
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +0000481static void InitializeLangOptions(LangOptions &Options, LangKind LK){
Reid Spencer5f016e22007-07-11 17:01:13 +0000482 // FIXME: implement -fpreprocessed mode.
483 bool NoPreprocess = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000484
Ted Kremenek8904f152007-12-05 23:49:08 +0000485 switch (LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000486 default: assert(0 && "Unknown language kind!");
Chris Lattnera778d7d2008-10-22 17:29:21 +0000487 case langkind_asm_cpp:
Daniel Dunbarc1571452008-12-01 18:55:22 +0000488 Options.AsmPreprocessor = 1;
Chris Lattnera778d7d2008-10-22 17:29:21 +0000489 // FALLTHROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000490 case langkind_c_cpp:
491 NoPreprocess = true;
492 // FALLTHROUGH
493 case langkind_c:
Ted Kremenek85888962008-10-21 00:54:44 +0000494 InitializeCOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000495 break;
496 case langkind_cxx_cpp:
497 NoPreprocess = true;
498 // FALLTHROUGH
499 case langkind_cxx:
500 Options.CPlusPlus = 1;
501 break;
502 case langkind_objc_cpp:
503 NoPreprocess = true;
504 // FALLTHROUGH
505 case langkind_objc:
Ted Kremenek85888962008-10-21 00:54:44 +0000506 InitializeObjCOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000507 break;
508 case langkind_objcxx_cpp:
509 NoPreprocess = true;
510 // FALLTHROUGH
511 case langkind_objcxx:
512 Options.ObjC1 = Options.ObjC2 = 1;
513 Options.CPlusPlus = 1;
514 break;
Nate Begeman4e3629e2009-06-25 22:43:10 +0000515 case langkind_ocl:
516 Options.OpenCL = 1;
517 Options.AltiVec = 1;
518 Options.CXXOperatorNames = 1;
519 Options.LaxVectorConversions = 1;
520 break;
Reid Spencer5f016e22007-07-11 17:01:13 +0000521 }
Mike Stump1eb44332009-09-09 15:08:12 +0000522
Chris Lattner2c78b872009-04-14 23:22:57 +0000523 if (ObjCExclusiveGC)
524 Options.setGCMode(LangOptions::GCOnly);
525 else if (ObjCEnableGC)
526 Options.setGCMode(LangOptions::HybridGC);
Mike Stump1eb44332009-09-09 15:08:12 +0000527
Fariborz Jahanian448f5e62009-04-17 03:04:15 +0000528 if (ObjCEnableGCBitmapPrint)
529 Options.ObjCGCBitmapPrint = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000530
Nate Begeman2ef13e52009-08-10 23:49:36 +0000531 if (AltiVec)
532 Options.AltiVec = 1;
Daniel Dunbar5345c392009-09-03 04:54:28 +0000533
534 if (PThread)
535 Options.POSIXThreads = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000536
Chris Lattner2c78b872009-04-14 23:22:57 +0000537 Options.setVisibilityMode(SymbolVisibility);
538 Options.OverflowChecking = OverflowChecking;
Reid Spencer5f016e22007-07-11 17:01:13 +0000539}
540
541/// LangStds - Language standards we support.
542enum LangStds {
Mike Stump1eb44332009-09-09 15:08:12 +0000543 lang_unspecified,
Reid Spencer5f016e22007-07-11 17:01:13 +0000544 lang_c89, lang_c94, lang_c99,
Douglas Gregor214904e2009-09-29 14:42:43 +0000545 lang_gnu89, lang_gnu99,
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000546 lang_cxx98, lang_gnucxx98,
547 lang_cxx0x, lang_gnucxx0x
Reid Spencer5f016e22007-07-11 17:01:13 +0000548};
549
550static llvm::cl::opt<LangStds>
551LangStd("std", llvm::cl::desc("Language standard to compile for"),
552 llvm::cl::init(lang_unspecified),
553 llvm::cl::values(clEnumValN(lang_c89, "c89", "ISO C 1990"),
554 clEnumValN(lang_c89, "c90", "ISO C 1990"),
555 clEnumValN(lang_c89, "iso9899:1990", "ISO C 1990"),
556 clEnumValN(lang_c94, "iso9899:199409",
557 "ISO C 1990 with amendment 1"),
558 clEnumValN(lang_c99, "c99", "ISO C 1999"),
Chris Lattner50748f42009-04-06 17:17:55 +0000559 clEnumValN(lang_c99, "c9x", "ISO C 1999"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000560 clEnumValN(lang_c99, "iso9899:1999", "ISO C 1999"),
Chris Lattner50748f42009-04-06 17:17:55 +0000561 clEnumValN(lang_c99, "iso9899:199x", "ISO C 1999"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000562 clEnumValN(lang_gnu89, "gnu89",
Gabor Greif10b26142009-02-28 09:22:15 +0000563 "ISO C 1990 with GNU extensions"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000564 clEnumValN(lang_gnu99, "gnu99",
Gabor Greif10b26142009-02-28 09:22:15 +0000565 "ISO C 1999 with GNU extensions (default for C)"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000566 clEnumValN(lang_gnu99, "gnu9x",
567 "ISO C 1999 with GNU extensions"),
568 clEnumValN(lang_cxx98, "c++98",
569 "ISO C++ 1998 with amendments"),
570 clEnumValN(lang_gnucxx98, "gnu++98",
571 "ISO C++ 1998 with amendments and GNU "
572 "extensions (default for C++)"),
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000573 clEnumValN(lang_cxx0x, "c++0x",
574 "Upcoming ISO C++ 200x with amendments"),
575 clEnumValN(lang_gnucxx0x, "gnu++0x",
576 "Upcoming ISO C++ 200x with amendments and GNU "
Gabor Greif5f8d1db2009-03-11 23:07:18 +0000577 "extensions"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000578 clEnumValEnd));
579
580static llvm::cl::opt<bool>
581NoOperatorNames("fno-operator-names",
582 llvm::cl::desc("Do not treat C++ operator name keywords as "
583 "synonyms for operators"));
584
Anders Carlssonee98ac52007-10-15 02:50:23 +0000585static llvm::cl::opt<bool>
586PascalStrings("fpascal-strings",
587 llvm::cl::desc("Recognize and construct Pascal-style "
588 "string literals"));
Mike Stump1eb44332009-09-09 15:08:12 +0000589
Steve Naroffd62701b2008-02-07 03:50:06 +0000590static llvm::cl::opt<bool>
591MSExtensions("fms-extensions",
592 llvm::cl::desc("Accept some non-standard constructs used in "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000593 "Microsoft header files "));
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000594
595static llvm::cl::opt<bool>
596WritableStrings("fwritable-strings",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000597 llvm::cl::desc("Store string literals as writable data"));
Anders Carlsson695dbb62007-11-30 04:21:22 +0000598
599static llvm::cl::opt<bool>
Anders Carlssonad53eff2009-01-30 23:26:40 +0000600NoLaxVectorConversions("fno-lax-vector-conversions",
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000601 llvm::cl::desc("Disallow implicit conversions between "
602 "vectors with a different number of "
603 "elements or different element types"));
Chris Lattnerae0ee032008-12-04 23:20:07 +0000604
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000605static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000606EnableBlocks("fblocks", llvm::cl::desc("enable the 'blocks' language feature"));
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000607
608static llvm::cl::opt<bool>
Chris Lattner810f6d52009-03-13 17:38:01 +0000609EnableHeinousExtensions("fheinous-gnu-extensions",
610 llvm::cl::desc("enable GNU extensions that you really really shouldn't use"),
611 llvm::cl::ValueDisallowed, llvm::cl::Hidden);
612
613static llvm::cl::opt<bool>
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000614ObjCNonFragileABI("fobjc-nonfragile-abi",
615 llvm::cl::desc("enable objective-c's nonfragile abi"));
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000616
Daniel Dunbard6884a02009-05-04 05:16:21 +0000617
618static llvm::cl::opt<bool>
Daniel Dunbard604c402009-02-04 21:19:06 +0000619EmitAllDecls("femit-all-decls",
620 llvm::cl::desc("Emit all declarations, even if unused"));
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000621
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000622static llvm::cl::opt<bool>
623Exceptions("fexceptions",
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000624 llvm::cl::desc("Enable support for exception handling"));
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000625
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000626static llvm::cl::opt<bool>
Mike Stump738f8c22009-07-31 23:15:31 +0000627Rtti("frtti", llvm::cl::init(true),
628 llvm::cl::desc("Enable generation of rtti information"));
629
630static llvm::cl::opt<bool>
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000631GNURuntime("fgnu-runtime",
Ted Kremenek85888962008-10-21 00:54:44 +0000632 llvm::cl::desc("Generate output compatible with the standard GNU "
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000633 "Objective-C runtime"));
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000634
635static llvm::cl::opt<bool>
636NeXTRuntime("fnext-runtime",
Ted Kremenek85888962008-10-21 00:54:44 +0000637 llvm::cl::desc("Generate output compatible with the NeXT "
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000638 "runtime"));
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000639
Eli Friedmanc4757bd2009-06-05 07:12:17 +0000640static llvm::cl::opt<bool>
641CharIsSigned("fsigned-char",
642 llvm::cl::desc("Force char to be a signed/unsigned type"));
Ted Kremenekea644d82008-09-03 21:22:16 +0000643
John Thompsona6fda122009-11-05 20:14:16 +0000644static llvm::cl::opt<bool>
645ShortWChar("fshort-wchar",
646 llvm::cl::desc("Force wchar_t to be a short unsigned int"));
647
Ted Kremenekea644d82008-09-03 21:22:16 +0000648
649static llvm::cl::opt<bool>
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000650Trigraphs("trigraphs", llvm::cl::desc("Process trigraph sequences"));
Ted Kremenekea644d82008-09-03 21:22:16 +0000651
Douglas Gregor26dce442009-03-10 00:06:19 +0000652static llvm::cl::opt<unsigned>
653TemplateDepth("ftemplate-depth", llvm::cl::init(99),
654 llvm::cl::desc("Maximum depth of recursive template "
655 "instantiation"));
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000656static llvm::cl::opt<bool>
657DollarsInIdents("fdollars-in-identifiers",
658 llvm::cl::desc("Allow '$' in identifiers"));
Chris Lattner16167a62009-03-02 22:11:07 +0000659
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000660
661static llvm::cl::opt<bool>
662OptSize("Os", llvm::cl::desc("Optimize for size"));
663
664static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000665DisableLLVMOptimizations("disable-llvm-optzns",
Daniel Dunbar877db382009-06-02 22:07:45 +0000666 llvm::cl::desc("Don't run LLVM optimization passes"));
667
668static llvm::cl::opt<bool>
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000669NoCommon("fno-common",
670 llvm::cl::desc("Compile common globals like normal definitions"),
671 llvm::cl::ValueDisallowed);
672
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000673static llvm::cl::opt<std::string>
674MainFileName("main-file-name",
675 llvm::cl::desc("Main file name to use for debug info"));
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000676
Anders Carlssona33d9b42009-05-13 19:49:53 +0000677// FIXME: Also add an "-fno-access-control" option.
678static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000679AccessControl("faccess-control",
Anders Carlssona33d9b42009-05-13 19:49:53 +0000680 llvm::cl::desc("Enable C++ access control"));
681
Anders Carlsson92f58222009-08-22 22:30:33 +0000682static llvm::cl::opt<bool>
683NoElideConstructors("fno-elide-constructors",
684 llvm::cl::desc("Disable C++ copy constructor elision"));
685
Tanya Lattner59876c22009-11-04 01:18:09 +0000686static llvm::cl::opt<bool>
687NoMergeConstants("fno-merge-all-constants",
688 llvm::cl::desc("Disallow merging of constants."));
689
Daniel Dunbar73b79592009-09-14 00:02:12 +0000690static llvm::cl::opt<std::string>
691TargetABI("target-abi",
692 llvm::cl::desc("Target a particular ABI type"));
693
Daniel Dunbar7c15e712009-10-30 18:12:31 +0000694static llvm::cl::opt<std::string>
695TargetTriple("triple",
696 llvm::cl::desc("Specify target triple (e.g. i686-apple-darwin9)"));
697
Anders Carlsson92f58222009-08-22 22:30:33 +0000698
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000699// It might be nice to add bounds to the CommandLine library directly.
700struct OptLevelParser : public llvm::cl::parser<unsigned> {
Chris Lattner59b21722009-09-20 00:39:15 +0000701 bool parse(llvm::cl::Option &O, llvm::StringRef ArgName,
702 llvm::StringRef Arg, unsigned &Val) {
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000703 if (llvm::cl::parser<unsigned>::parse(O, ArgName, Arg, Val))
704 return true;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000705 if (Val > 3)
Benjamin Kramer21fde992009-08-02 12:12:11 +0000706 return O.error("'" + Arg + "' invalid optimization level!");
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000707 return false;
708 }
709};
710static llvm::cl::opt<unsigned, false, OptLevelParser>
711OptLevel("O", llvm::cl::Prefix,
712 llvm::cl::desc("Optimization level"),
713 llvm::cl::init(0));
714
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000715static llvm::cl::opt<unsigned>
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000716PICLevel("pic-level", llvm::cl::desc("Value for __PIC__"));
717
718static llvm::cl::opt<bool>
719StaticDefine("static-define", llvm::cl::desc("Should __STATIC__ be defined"));
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000720
Bill Wendling45483f72009-06-28 07:36:13 +0000721static llvm::cl::opt<int>
722StackProtector("stack-protector",
723 llvm::cl::desc("Enable stack protectors"),
724 llvm::cl::init(-1));
725
Daniel Dunbardcb4a1a2008-08-23 08:43:39 +0000726static void InitializeLanguageStandard(LangOptions &Options, LangKind LK,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +0000727 TargetInfo *Target,
728 const llvm::StringMap<bool> &Features) {
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000729 // Allow the target to set the default the langauge options as it sees fit.
730 Target->getDefaultLangOptions(Options);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +0000731
732 // Pass the map of target features to the target for validation and
733 // processing.
734 Target->HandleTargetFeatures(Features);
Mike Stump1eb44332009-09-09 15:08:12 +0000735
Reid Spencer5f016e22007-07-11 17:01:13 +0000736 if (LangStd == lang_unspecified) {
737 // Based on the base language, pick one.
Ted Kremenek8904f152007-12-05 23:49:08 +0000738 switch (LK) {
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +0000739 case langkind_ast: assert(0 && "Invalid call for AST inputs");
Ted Kremenekf2a17b12009-03-19 19:02:20 +0000740 case lang_unspecified: assert(0 && "Unknown base language");
Nate Begeman4e3629e2009-06-25 22:43:10 +0000741 case langkind_ocl:
742 LangStd = lang_c99;
743 break;
Reid Spencer5f016e22007-07-11 17:01:13 +0000744 case langkind_c:
Chris Lattnera778d7d2008-10-22 17:29:21 +0000745 case langkind_asm_cpp:
Reid Spencer5f016e22007-07-11 17:01:13 +0000746 case langkind_c_cpp:
747 case langkind_objc:
748 case langkind_objc_cpp:
749 LangStd = lang_gnu99;
750 break;
751 case langkind_cxx:
752 case langkind_cxx_cpp:
753 case langkind_objcxx:
754 case langkind_objcxx_cpp:
755 LangStd = lang_gnucxx98;
756 break;
757 }
758 }
Mike Stump1eb44332009-09-09 15:08:12 +0000759
Reid Spencer5f016e22007-07-11 17:01:13 +0000760 switch (LangStd) {
761 default: assert(0 && "Unknown language standard!");
762
763 // Fall through from newer standards to older ones. This isn't really right.
764 // FIXME: Enable specifically the right features based on the language stds.
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000765 case lang_gnucxx0x:
766 case lang_cxx0x:
767 Options.CPlusPlus0x = 1;
768 // FALL THROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000769 case lang_gnucxx98:
770 case lang_cxx98:
771 Options.CPlusPlus = 1;
772 Options.CXXOperatorNames = !NoOperatorNames;
773 // FALL THROUGH.
774 case lang_gnu99:
775 case lang_c99:
Reid Spencer5f016e22007-07-11 17:01:13 +0000776 Options.C99 = 1;
777 Options.HexFloats = 1;
778 // FALL THROUGH.
779 case lang_gnu89:
780 Options.BCPLComment = 1; // Only for C99/C++.
781 // FALL THROUGH.
782 case lang_c94:
Chris Lattner3426b9b2008-02-25 04:01:39 +0000783 Options.Digraphs = 1; // C94, C99, C++.
784 // FALL THROUGH.
Reid Spencer5f016e22007-07-11 17:01:13 +0000785 case lang_c89:
786 break;
787 }
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000788
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000789 // GNUMode - Set if we're in gnu99, gnu89, gnucxx98, etc.
Douglas Gregor214904e2009-09-29 14:42:43 +0000790 switch (LangStd) {
791 default: assert(0 && "Unknown language standard!");
792 case lang_gnucxx0x:
793 case lang_gnucxx98:
794 case lang_gnu99:
795 case lang_gnu89:
796 Options.GNUMode = 1;
797 break;
798 case lang_cxx0x:
799 case lang_cxx98:
800 case lang_c99:
801 case lang_c94:
802 case lang_c89:
803 Options.GNUMode = 0;
804 break;
805 }
Mike Stump1eb44332009-09-09 15:08:12 +0000806
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000807 if (Options.CPlusPlus) {
808 Options.C99 = 0;
Eli Friedmanab24c8d2009-08-26 20:15:14 +0000809 Options.HexFloats = 0;
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000810 }
Mike Stump1eb44332009-09-09 15:08:12 +0000811
Chris Lattnerd658b562008-04-05 06:32:51 +0000812 if (LangStd == lang_c89 || LangStd == lang_c94 || LangStd == lang_gnu89)
813 Options.ImplicitInt = 1;
814 else
815 Options.ImplicitInt = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000816
Daniel Dunbard573d262009-04-07 22:13:21 +0000817 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
818 // is specified, or -std is set to a conforming mode.
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000819 Options.Trigraphs = !Options.GNUMode;
Chris Lattner802db9b2008-12-05 00:10:44 +0000820 if (Trigraphs.getPosition())
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000821 Options.Trigraphs = Trigraphs; // Command line option wins if specified.
Ted Kremenekea644d82008-09-03 21:22:16 +0000822
Chris Lattner802db9b2008-12-05 00:10:44 +0000823 // If in a conformant language mode (e.g. -std=c99) Blocks defaults to off
824 // even if they are normally on for the target. In GNU modes (e.g.
825 // -std=gnu99) the default for blocks depends on the target settings.
Anders Carlssone56f6ff2009-01-21 18:47:36 +0000826 // However, blocks are not turned off when compiling Obj-C or Obj-C++ code.
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000827 if (!Options.ObjC1 && !Options.GNUMode)
Chris Lattner802db9b2008-12-05 00:10:44 +0000828 Options.Blocks = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000829
Chris Lattner01638a62009-04-19 07:06:52 +0000830 // Default to not accepting '$' in identifiers when preprocessing assembler,
831 // but do accept when preprocessing C. FIXME: these defaults are right for
832 // darwin, are they right everywhere?
833 Options.DollarIdents = LK != langkind_asm_cpp;
834 if (DollarsInIdents.getPosition()) // Explicit setting overrides default.
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000835 Options.DollarIdents = DollarsInIdents;
Mike Stump1eb44332009-09-09 15:08:12 +0000836
Chris Lattnerae0ee032008-12-04 23:20:07 +0000837 if (PascalStrings.getPosition())
838 Options.PascalStrings = PascalStrings;
Eli Friedmanabc4e322009-06-08 06:11:14 +0000839 if (MSExtensions.getPosition())
840 Options.Microsoft = MSExtensions;
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000841 Options.WritableStrings = WritableStrings;
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000842 if (NoLaxVectorConversions.getPosition())
843 Options.LaxVectorConversions = 0;
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000844 Options.Exceptions = Exceptions;
Mike Stump738f8c22009-07-31 23:15:31 +0000845 Options.Rtti = Rtti;
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000846 if (EnableBlocks.getPosition())
Chris Lattnerae0ee032008-12-04 23:20:07 +0000847 Options.Blocks = EnableBlocks;
Eli Friedmanc4757bd2009-06-05 07:12:17 +0000848 if (CharIsSigned.getPosition())
849 Options.CharIsSigned = CharIsSigned;
John Thompson40d1bb62009-11-05 22:03:02 +0000850 if (ShortWChar.getPosition())
851 Options.ShortWChar = ShortWChar;
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000852
Daniel Dunbar9f9768c2009-03-20 23:49:28 +0000853 if (!AllowBuiltins)
Chris Lattner7644f072009-03-13 22:38:49 +0000854 Options.NoBuiltin = 1;
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000855 if (Freestanding)
Chris Lattner7644f072009-03-13 22:38:49 +0000856 Options.Freestanding = Options.NoBuiltin = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000857
Chris Lattner810f6d52009-03-13 17:38:01 +0000858 if (EnableHeinousExtensions)
859 Options.HeinousExtensions = 1;
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000860
Anders Carlssona33d9b42009-05-13 19:49:53 +0000861 if (AccessControl)
862 Options.AccessControl = 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000863
Anders Carlsson92f58222009-08-22 22:30:33 +0000864 Options.ElideConstructors = !NoElideConstructors;
Mike Stump1eb44332009-09-09 15:08:12 +0000865
Chris Lattnere4f21422009-06-30 01:26:17 +0000866 // OpenCL and C++ both have bool, true, false keywords.
867 Options.Bool = Options.OpenCL | Options.CPlusPlus;
Mike Stump1eb44332009-09-09 15:08:12 +0000868
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000869 Options.MathErrno = MathErrno;
870
Douglas Gregor26dce442009-03-10 00:06:19 +0000871 Options.InstantiationDepth = TemplateDepth;
872
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000873 // Override the default runtime if the user requested it.
874 if (NeXTRuntime)
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000875 Options.NeXTRuntime = 1;
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000876 else if (GNURuntime)
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000877 Options.NeXTRuntime = 0;
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000878
David Chisnall8a5a9aa2009-08-31 16:41:57 +0000879 if (!ObjCConstantStringClass.empty())
880 Options.ObjCConstantStringClass = ObjCConstantStringClass.c_str();
881
Fariborz Jahanian30bc5712009-01-22 23:02:58 +0000882 if (ObjCNonFragileABI)
883 Options.ObjCNonFragileABI = 1;
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000884
Daniel Dunbard604c402009-02-04 21:19:06 +0000885 if (EmitAllDecls)
886 Options.EmitAllDecls = 1;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000887
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000888 // The __OPTIMIZE_SIZE__ define is tied to -Oz, which we don't
889 // support.
890 Options.OptimizeSize = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000891
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000892 // -Os implies -O2
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000893 if (OptSize || OptLevel)
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000894 Options.Optimize = 1;
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000895
896 assert(PICLevel <= 2 && "Invalid value for -pic-level");
897 Options.PICLevel = PICLevel;
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000898
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000899 Options.GNUInline = !Options.C99;
Mike Stump1eb44332009-09-09 15:08:12 +0000900 // FIXME: This is affected by other options (-fno-inline).
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000901 Options.NoInline = !OptSize && !OptLevel;
902
903 Options.Static = StaticDefine;
904
Bill Wendling4ebe3e42009-06-28 23:01:01 +0000905 switch (StackProtector) {
906 default:
907 assert(StackProtector <= 2 && "Invalid value for -stack-protector");
908 case -1: break;
909 case 0: Options.setStackProtectorMode(LangOptions::SSPOff); break;
910 case 1: Options.setStackProtectorMode(LangOptions::SSPOn); break;
911 case 2: Options.setStackProtectorMode(LangOptions::SSPReq); break;
912 }
Bill Wendling45483f72009-06-28 07:36:13 +0000913
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000914 if (MainFileName.getPosition())
915 Options.setMainFileName(MainFileName.c_str());
John Thompsona6fda122009-11-05 20:14:16 +0000916
John Thompson40d1bb62009-11-05 22:03:02 +0000917 Target->setForcedLangOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000918}
919
920//===----------------------------------------------------------------------===//
Chris Lattnere116ccf2009-04-21 05:40:52 +0000921// SourceManager initialization.
Reid Spencer5f016e22007-07-11 17:01:13 +0000922//===----------------------------------------------------------------------===//
923
Douglas Gregore1d918e2009-04-10 23:10:45 +0000924static bool InitializeSourceManager(Preprocessor &PP,
925 const std::string &InFile) {
926 // Figure out where to get and map in the main file.
927 SourceManager &SourceMgr = PP.getSourceManager();
928 FileManager &FileMgr = PP.getFileManager();
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000929
930 if (EmptyInputOnly) {
931 const char *EmptyStr = "";
Mike Stump1eb44332009-09-09 15:08:12 +0000932 llvm::MemoryBuffer *SB =
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000933 llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<empty input>");
934 SourceMgr.createMainFileIDForMemBuffer(SB);
935 } else if (InFile != "-") {
Douglas Gregore1d918e2009-04-10 23:10:45 +0000936 const FileEntry *File = FileMgr.getFile(InFile);
937 if (File) SourceMgr.createMainFileID(File, SourceLocation());
938 if (SourceMgr.getMainFileID().isInvalid()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000939 PP.getDiagnostics().Report(FullSourceLoc(), diag::err_fe_error_reading)
Douglas Gregore1d918e2009-04-10 23:10:45 +0000940 << InFile.c_str();
941 return true;
942 }
943 } else {
944 llvm::MemoryBuffer *SB = llvm::MemoryBuffer::getSTDIN();
945
946 // If stdin was empty, SB is null. Cons up an empty memory
947 // buffer now.
948 if (!SB) {
949 const char *EmptyStr = "";
950 SB = llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<stdin>");
951 }
952
953 SourceMgr.createMainFileIDForMemBuffer(SB);
954 if (SourceMgr.getMainFileID().isInvalid()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000955 PP.getDiagnostics().Report(FullSourceLoc(),
Douglas Gregore1d918e2009-04-10 23:10:45 +0000956 diag::err_fe_error_reading_stdin);
957 return true;
958 }
959 }
960
961 return false;
962}
963
Chris Lattneraa391972008-04-19 23:09:31 +0000964
Chris Lattnere116ccf2009-04-21 05:40:52 +0000965//===----------------------------------------------------------------------===//
966// Preprocessor Initialization
967//===----------------------------------------------------------------------===//
Sam Bishop1102d6b2008-04-14 14:41:57 +0000968
Chris Lattnere6113de2009-11-03 19:50:27 +0000969static llvm::cl::opt<bool>
Daniel Dunbar468fe242009-11-04 21:13:02 +0000970UndefMacros("undef", llvm::cl::value_desc("macro"),
971 llvm::cl::desc("undef all system defines"));
Chris Lattnere6113de2009-11-03 19:50:27 +0000972
Chris Lattnere116ccf2009-04-21 05:40:52 +0000973static llvm::cl::list<std::string>
974D_macros("D", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
975 llvm::cl::desc("Predefine the specified macro"));
976static llvm::cl::list<std::string>
977U_macros("U", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
978 llvm::cl::desc("Undefine the specified macro"));
Chris Lattnerb8e240e2009-04-08 18:24:34 +0000979
Chris Lattnere116ccf2009-04-21 05:40:52 +0000980static llvm::cl::list<std::string>
981ImplicitIncludes("include", llvm::cl::value_desc("file"),
982 llvm::cl::desc("Include file before parsing"));
983static llvm::cl::list<std::string>
984ImplicitMacroIncludes("imacros", llvm::cl::value_desc("file"),
985 llvm::cl::desc("Include macros from file before parsing"));
Chris Lattnerb8e240e2009-04-08 18:24:34 +0000986
Chris Lattnere116ccf2009-04-21 05:40:52 +0000987static llvm::cl::opt<std::string>
988ImplicitIncludePCH("include-pch", llvm::cl::value_desc("file"),
989 llvm::cl::desc("Include precompiled header file"));
990
991static llvm::cl::opt<std::string>
992ImplicitIncludePTH("include-pth", llvm::cl::value_desc("file"),
993 llvm::cl::desc("Include file before parsing"));
994
Douglas Gregore650c8c2009-07-07 00:12:59 +0000995static llvm::cl::opt<bool>
Mike Stump1eb44332009-09-09 15:08:12 +0000996RelocatablePCH("relocatable-pch",
Douglas Gregore650c8c2009-07-07 00:12:59 +0000997 llvm::cl::desc("Whether to build a relocatable precompiled "
998 "header"));
Reid Spencer5f016e22007-07-11 17:01:13 +0000999
1000//===----------------------------------------------------------------------===//
1001// Preprocessor include path information.
1002//===----------------------------------------------------------------------===//
1003
1004// This tool exports a large number of command line options to control how the
1005// preprocessor searches for header files. At root, however, the Preprocessor
1006// object takes a very simple interface: a list of directories to search for
Mike Stump1eb44332009-09-09 15:08:12 +00001007//
Daniel Dunbarfb4ac7b2009-05-06 03:48:17 +00001008// FIXME: -nostdinc++
Chris Lattner0c946412007-08-26 17:47:35 +00001009// FIXME: -imultilib
Reid Spencer5f016e22007-07-11 17:01:13 +00001010//
Reid Spencer5f016e22007-07-11 17:01:13 +00001011
1012static llvm::cl::opt<bool>
1013nostdinc("nostdinc", llvm::cl::desc("Disable standard #include directories"));
1014
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001015static llvm::cl::opt<bool>
Rafael Espindola8d737cc2009-10-26 13:36:57 +00001016nobuiltininc("nobuiltininc",
1017 llvm::cl::desc("Disable builtin #include directories"));
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001018
Reid Spencer5f016e22007-07-11 17:01:13 +00001019// Various command line options. These four add directories to each chain.
1020static llvm::cl::list<std::string>
1021F_dirs("F", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1022 llvm::cl::desc("Add directory to framework include search path"));
1023static llvm::cl::list<std::string>
1024I_dirs("I", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1025 llvm::cl::desc("Add directory to include search path"));
1026static llvm::cl::list<std::string>
1027idirafter_dirs("idirafter", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1028 llvm::cl::desc("Add directory to AFTER include search path"));
1029static llvm::cl::list<std::string>
1030iquote_dirs("iquote", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1031 llvm::cl::desc("Add directory to QUOTE include search path"));
1032static llvm::cl::list<std::string>
1033isystem_dirs("isystem", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1034 llvm::cl::desc("Add directory to SYSTEM include search path"));
1035
1036// These handle -iprefix/-iwithprefix/-iwithprefixbefore.
1037static llvm::cl::list<std::string>
1038iprefix_vals("iprefix", llvm::cl::value_desc("prefix"), llvm::cl::Prefix,
1039 llvm::cl::desc("Set the -iwithprefix/-iwithprefixbefore prefix"));
1040static llvm::cl::list<std::string>
1041iwithprefix_vals("iwithprefix", llvm::cl::value_desc("dir"), llvm::cl::Prefix,
1042 llvm::cl::desc("Set directory to SYSTEM include search path with prefix"));
1043static llvm::cl::list<std::string>
1044iwithprefixbefore_vals("iwithprefixbefore", llvm::cl::value_desc("dir"),
1045 llvm::cl::Prefix,
1046 llvm::cl::desc("Set directory to include search path with prefix"));
1047
Chris Lattner0c946412007-08-26 17:47:35 +00001048static llvm::cl::opt<std::string>
1049isysroot("isysroot", llvm::cl::value_desc("dir"), llvm::cl::init("/"),
1050 llvm::cl::desc("Set the system root directory (usually /)"));
1051
Reid Spencer5f016e22007-07-11 17:01:13 +00001052// Finally, implement the code that groks the options above.
Chris Lattner5f9eae52008-03-01 08:07:28 +00001053
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001054// Add the clang headers, which are relative to the clang binary.
Daniel Dunbar750156a2009-11-07 04:19:57 +00001055std::string GetBuiltinIncludePath(const char *Argv0) {
1056 llvm::sys::Path P =
1057 llvm::sys::Path::GetMainExecutable(Argv0,
1058 (void*)(intptr_t) GetBuiltinIncludePath);
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001059
Daniel Dunbar750156a2009-11-07 04:19:57 +00001060 if (!P.isEmpty()) {
1061 P.eraseComponent(); // Remove /clang from foo/bin/clang
1062 P.eraseComponent(); // Remove /bin from foo/bin
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001063
Daniel Dunbar750156a2009-11-07 04:19:57 +00001064 // Get foo/lib/clang/<version>/include
1065 P.appendComponent("lib");
1066 P.appendComponent("clang");
1067 P.appendComponent(CLANG_VERSION_STRING);
1068 P.appendComponent("include");
1069 }
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001070
Daniel Dunbar750156a2009-11-07 04:19:57 +00001071 return P.str();
Rafael Espindola1bb15a92009-10-05 13:12:17 +00001072}
1073
Reid Spencer5f016e22007-07-11 17:01:13 +00001074/// InitializeIncludePaths - Process the -I options and set them in the
1075/// HeaderSearch object.
Nico Weber0fca0222008-08-22 09:25:22 +00001076void InitializeIncludePaths(const char *Argv0, HeaderSearch &Headers,
Mike Stump43d81762009-10-08 23:29:47 +00001077 FileManager &FM, const LangOptions &Lang,
1078 llvm::Triple &triple) {
Nico Weber0fca0222008-08-22 09:25:22 +00001079 InitHeaderSearch Init(Headers, Verbose, isysroot);
1080
Ted Kremenekf3721112008-05-31 00:27:00 +00001081 // Handle -I... and -F... options, walking the lists in parallel.
1082 unsigned Iidx = 0, Fidx = 0;
1083 while (Iidx < I_dirs.size() && Fidx < F_dirs.size()) {
1084 if (I_dirs.getPosition(Iidx) < F_dirs.getPosition(Fidx)) {
Nico Weber0fca0222008-08-22 09:25:22 +00001085 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekf3721112008-05-31 00:27:00 +00001086 ++Iidx;
1087 } else {
Nico Weber0fca0222008-08-22 09:25:22 +00001088 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Ted Kremenekf3721112008-05-31 00:27:00 +00001089 ++Fidx;
1090 }
1091 }
Mike Stump1eb44332009-09-09 15:08:12 +00001092
Ted Kremenekf3721112008-05-31 00:27:00 +00001093 // Consume what's left from whatever list was longer.
1094 for (; Iidx != I_dirs.size(); ++Iidx)
Nico Weber0fca0222008-08-22 09:25:22 +00001095 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekf3721112008-05-31 00:27:00 +00001096 for (; Fidx != F_dirs.size(); ++Fidx)
Nico Weber0fca0222008-08-22 09:25:22 +00001097 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Mike Stump1eb44332009-09-09 15:08:12 +00001098
Reid Spencer5f016e22007-07-11 17:01:13 +00001099 // Handle -idirafter... options.
1100 for (unsigned i = 0, e = idirafter_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001101 Init.AddPath(idirafter_dirs[i], InitHeaderSearch::After,
1102 false, true, false);
Mike Stump1eb44332009-09-09 15:08:12 +00001103
Reid Spencer5f016e22007-07-11 17:01:13 +00001104 // Handle -iquote... options.
1105 for (unsigned i = 0, e = iquote_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001106 Init.AddPath(iquote_dirs[i], InitHeaderSearch::Quoted, false, true, false);
Mike Stump1eb44332009-09-09 15:08:12 +00001107
Reid Spencer5f016e22007-07-11 17:01:13 +00001108 // Handle -isystem... options.
1109 for (unsigned i = 0, e = isystem_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001110 Init.AddPath(isystem_dirs[i], InitHeaderSearch::System, false, true, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001111
1112 // Walk the -iprefix/-iwithprefix/-iwithprefixbefore argument lists in
1113 // parallel, processing the values in order of occurance to get the right
1114 // prefixes.
1115 {
1116 std::string Prefix = ""; // FIXME: this isn't the correct default prefix.
1117 unsigned iprefix_idx = 0;
1118 unsigned iwithprefix_idx = 0;
1119 unsigned iwithprefixbefore_idx = 0;
1120 bool iprefix_done = iprefix_vals.empty();
1121 bool iwithprefix_done = iwithprefix_vals.empty();
1122 bool iwithprefixbefore_done = iwithprefixbefore_vals.empty();
1123 while (!iprefix_done || !iwithprefix_done || !iwithprefixbefore_done) {
1124 if (!iprefix_done &&
Mike Stump1eb44332009-09-09 15:08:12 +00001125 (iwithprefix_done ||
1126 iprefix_vals.getPosition(iprefix_idx) <
Reid Spencer5f016e22007-07-11 17:01:13 +00001127 iwithprefix_vals.getPosition(iwithprefix_idx)) &&
Mike Stump1eb44332009-09-09 15:08:12 +00001128 (iwithprefixbefore_done ||
1129 iprefix_vals.getPosition(iprefix_idx) <
Reid Spencer5f016e22007-07-11 17:01:13 +00001130 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
1131 Prefix = iprefix_vals[iprefix_idx];
1132 ++iprefix_idx;
1133 iprefix_done = iprefix_idx == iprefix_vals.size();
1134 } else if (!iwithprefix_done &&
Mike Stump1eb44332009-09-09 15:08:12 +00001135 (iwithprefixbefore_done ||
1136 iwithprefix_vals.getPosition(iwithprefix_idx) <
Reid Spencer5f016e22007-07-11 17:01:13 +00001137 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
Mike Stump1eb44332009-09-09 15:08:12 +00001138 Init.AddPath(Prefix+iwithprefix_vals[iwithprefix_idx],
Nico Weber0fca0222008-08-22 09:25:22 +00001139 InitHeaderSearch::System, false, false, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001140 ++iwithprefix_idx;
1141 iwithprefix_done = iwithprefix_idx == iwithprefix_vals.size();
1142 } else {
Mike Stump1eb44332009-09-09 15:08:12 +00001143 Init.AddPath(Prefix+iwithprefixbefore_vals[iwithprefixbefore_idx],
Nico Weber0fca0222008-08-22 09:25:22 +00001144 InitHeaderSearch::Angled, false, false, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001145 ++iwithprefixbefore_idx;
Mike Stump1eb44332009-09-09 15:08:12 +00001146 iwithprefixbefore_done =
Reid Spencer5f016e22007-07-11 17:01:13 +00001147 iwithprefixbefore_idx == iwithprefixbefore_vals.size();
1148 }
1149 }
1150 }
Chris Lattner5f9eae52008-03-01 08:07:28 +00001151
Nico Weber0fca0222008-08-22 09:25:22 +00001152 Init.AddDefaultEnvVarPaths(Lang);
Chris Lattner5f9eae52008-03-01 08:07:28 +00001153
Daniel Dunbar750156a2009-11-07 04:19:57 +00001154 if (!nobuiltininc) {
1155 std::string P = GetBuiltinIncludePath(Argv0);
1156
1157 if (!P.empty()) {
1158 // We pass true to ignore sysroot so that we *always* look for clang
1159 // headers relative to our executable, never relative to -isysroot.
1160 Init.AddPath(P, InitHeaderSearch::System,
1161 false, false, false, true /*ignore sysroot*/);
1162 }
1163 }
Mike Stump1eb44332009-09-09 15:08:12 +00001164
1165 if (!nostdinc)
Mike Stump43d81762009-10-08 23:29:47 +00001166 Init.AddDefaultSystemIncludePaths(Lang, triple);
Reid Spencer5f016e22007-07-11 17:01:13 +00001167
1168 // Now that we have collected all of the include paths, merge them all
1169 // together and tell the preprocessor about them.
Mike Stump1eb44332009-09-09 15:08:12 +00001170
Nico Weber0fca0222008-08-22 09:25:22 +00001171 Init.Realize();
Reid Spencer5f016e22007-07-11 17:01:13 +00001172}
1173
Daniel Dunbar8863b982009-11-07 04:20:15 +00001174void InitializePreprocessorOptions(PreprocessorOptions &InitOpts) {
Daniel Dunbar468fe242009-11-04 21:13:02 +00001175 // Use predefines?
1176 InitOpts.setUsePredefines(!UndefMacros);
1177
Chris Lattnere116ccf2009-04-21 05:40:52 +00001178 // Add macros from the command line.
1179 unsigned d = 0, D = D_macros.size();
1180 unsigned u = 0, U = U_macros.size();
1181 while (d < D || u < U) {
1182 if (u == U || (d < D && D_macros.getPosition(d) < U_macros.getPosition(u)))
1183 InitOpts.addMacroDef(D_macros[d++]);
1184 else
1185 InitOpts.addMacroUndef(U_macros[u++]);
1186 }
1187
1188 // If -imacros are specified, include them now. These are processed before
1189 // any -include directives.
1190 for (unsigned i = 0, e = ImplicitMacroIncludes.size(); i != e; ++i)
1191 InitOpts.addMacroInclude(ImplicitMacroIncludes[i]);
1192
Douglas Gregorb64c1932009-05-12 01:31:05 +00001193 if (!ImplicitIncludePTH.empty() || !ImplicitIncludes.empty() ||
1194 (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001195 // We want to add these paths to the predefines buffer in order, make a
1196 // temporary vector to sort by their occurrence.
1197 llvm::SmallVector<std::pair<unsigned, std::string*>, 8> OrderedPaths;
1198
1199 if (!ImplicitIncludePTH.empty())
1200 OrderedPaths.push_back(std::make_pair(ImplicitIncludePTH.getPosition(),
1201 &ImplicitIncludePTH));
Douglas Gregorb64c1932009-05-12 01:31:05 +00001202 if (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)
1203 OrderedPaths.push_back(std::make_pair(ImplicitIncludePCH.getPosition(),
1204 &ImplicitIncludePCH));
Chris Lattnere116ccf2009-04-21 05:40:52 +00001205 for (unsigned i = 0, e = ImplicitIncludes.size(); i != e; ++i)
1206 OrderedPaths.push_back(std::make_pair(ImplicitIncludes.getPosition(i),
1207 &ImplicitIncludes[i]));
1208 llvm::array_pod_sort(OrderedPaths.begin(), OrderedPaths.end());
1209
1210
1211 // Now that they are ordered by position, add to the predefines buffer.
1212 for (unsigned i = 0, e = OrderedPaths.size(); i != e; ++i) {
1213 std::string *Ptr = OrderedPaths[i].second;
1214 if (!ImplicitIncludes.empty() &&
1215 Ptr >= &ImplicitIncludes[0] &&
1216 Ptr <= &ImplicitIncludes[ImplicitIncludes.size()-1]) {
1217 InitOpts.addInclude(*Ptr, false);
Douglas Gregorb64c1932009-05-12 01:31:05 +00001218 } else if (Ptr == &ImplicitIncludePTH) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001219 InitOpts.addInclude(*Ptr, true);
Douglas Gregorb64c1932009-05-12 01:31:05 +00001220 } else {
1221 // We end up here when we're producing preprocessed output and
1222 // we loaded a PCH file. In this case, just include the header
1223 // file that was used to build the precompiled header.
1224 assert(Ptr == &ImplicitIncludePCH);
1225 std::string OriginalFile = PCHReader::getOriginalSourceFile(*Ptr);
1226 if (!OriginalFile.empty()) {
1227 InitOpts.addInclude(OriginalFile, false);
1228 ImplicitIncludePCH.clear();
1229 }
Chris Lattnere116ccf2009-04-21 05:40:52 +00001230 }
1231 }
1232 }
1233}
1234
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001235//===----------------------------------------------------------------------===//
Daniel Dunbar90b18272009-11-04 23:56:25 +00001236// Preprocessor construction
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001237//===----------------------------------------------------------------------===//
1238
Daniel Dunbar90b18272009-11-04 23:56:25 +00001239static Preprocessor *
1240CreatePreprocessor(Diagnostic &Diags,const LangOptions &LangInfo,
1241 TargetInfo &Target, SourceManager &SourceMgr,
1242 HeaderSearch &HeaderInfo) {
1243 PTHManager *PTHMgr = 0;
1244 if (!TokenCache.empty() && !ImplicitIncludePTH.empty()) {
1245 fprintf(stderr, "error: cannot use both -token-cache and -include-pth "
1246 "options\n");
1247 exit(1);
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001248 }
Daniel Dunbar90b18272009-11-04 23:56:25 +00001249
1250 // Use PTH?
1251 if (!TokenCache.empty() || !ImplicitIncludePTH.empty()) {
1252 const std::string& x = TokenCache.empty() ? ImplicitIncludePTH:TokenCache;
1253 PTHMgr = PTHManager::Create(x, &Diags,
1254 TokenCache.empty() ? Diagnostic::Error
1255 : Diagnostic::Warning);
1256 }
1257
1258 if (Diags.hasErrorOccurred())
1259 exit(1);
1260
1261 // Create the Preprocessor.
1262 Preprocessor *PP = new Preprocessor(Diags, LangInfo, Target,
1263 SourceMgr, HeaderInfo, PTHMgr);
1264
1265 // Note that this is different then passing PTHMgr to Preprocessor's ctor.
1266 // That argument is used as the IdentifierInfoLookup argument to
1267 // IdentifierTable's ctor.
1268 if (PTHMgr) {
1269 PTHMgr->setPreprocessor(PP);
1270 PP->setPTHManager(PTHMgr);
1271 }
1272
Daniel Dunbar8863b982009-11-07 04:20:15 +00001273 PreprocessorOptions InitOpts;
1274 InitializePreprocessorOptions(InitOpts);
Daniel Dunbar90b18272009-11-04 23:56:25 +00001275 InitializePreprocessor(*PP, InitOpts);
1276
1277 return PP;
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001278}
Reid Spencer5f016e22007-07-11 17:01:13 +00001279
Reid Spencer5f016e22007-07-11 17:01:13 +00001280//===----------------------------------------------------------------------===//
1281// Basic Parser driver
1282//===----------------------------------------------------------------------===//
1283
Chris Lattner51574ea2008-04-19 23:25:44 +00001284static void ParseFile(Preprocessor &PP, MinimalAction *PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001285 Parser P(PP, *PA);
Ted Kremenek95041a22007-12-19 22:51:13 +00001286 PP.EnterMainSourceFile();
Mike Stump1eb44332009-09-09 15:08:12 +00001287
Reid Spencer5f016e22007-07-11 17:01:13 +00001288 // Parsing the specified input file.
1289 P.ParseTranslationUnit();
1290 delete PA;
1291}
1292
1293//===----------------------------------------------------------------------===//
Daniel Dunbar70f92432008-10-23 05:50:47 +00001294// Code generation options
1295//===----------------------------------------------------------------------===//
1296
1297static llvm::cl::opt<bool>
Chris Lattner15104882009-03-09 22:05:03 +00001298GenerateDebugInfo("g",
1299 llvm::cl::desc("Generate source level debug information"));
1300
Daniel Dunbara034ba82009-02-17 19:47:34 +00001301static llvm::cl::opt<std::string>
1302TargetCPU("mcpu",
1303 llvm::cl::desc("Target a specific cpu type (-mcpu=help for details)"));
1304
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001305static llvm::cl::list<std::string>
1306TargetFeatures("target-feature", llvm::cl::desc("Target specific attributes"));
1307
Devang Patel24095da2009-06-04 23:32:02 +00001308
1309static llvm::cl::opt<bool>
1310DisableRedZone("disable-red-zone",
1311 llvm::cl::desc("Do not emit code that uses the red zone."),
1312 llvm::cl::init(false));
1313
Devang Patelacebb392009-06-05 22:05:48 +00001314static llvm::cl::opt<bool>
1315NoImplicitFloat("no-implicit-float",
1316 llvm::cl::desc("Don't generate implicit floating point instructions (x86-only)"),
1317 llvm::cl::init(false));
1318
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001319/// ComputeTargetFeatures - Recompute the target feature list to only
1320/// be the list of things that are enabled, based on the target cpu
1321/// and feature list.
1322static void ComputeFeatureMap(TargetInfo *Target,
1323 llvm::StringMap<bool> &Features) {
Mike Stump1eb44332009-09-09 15:08:12 +00001324 assert(Features.empty() && "invalid map");
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001325
1326 // Initialize the feature map based on the target.
1327 Target->getDefaultFeatures(TargetCPU, Features);
1328
1329 // Apply the user specified deltas.
Mike Stump1eb44332009-09-09 15:08:12 +00001330 for (llvm::cl::list<std::string>::iterator it = TargetFeatures.begin(),
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001331 ie = TargetFeatures.end(); it != ie; ++it) {
1332 const char *Name = it->c_str();
Mike Stump1eb44332009-09-09 15:08:12 +00001333
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001334 // FIXME: Don't handle errors like this.
1335 if (Name[0] != '-' && Name[0] != '+') {
Mike Stump1eb44332009-09-09 15:08:12 +00001336 fprintf(stderr, "error: clang-cc: invalid target feature string: %s\n",
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001337 Name);
1338 exit(1);
1339 }
Daniel Dunbar17ca3632009-05-06 21:07:50 +00001340 if (!Target->setFeatureEnabled(Features, Name + 1, (Name[0] == '+'))) {
Mike Stump1eb44332009-09-09 15:08:12 +00001341 fprintf(stderr, "error: clang-cc: invalid target feature name: %s\n",
Daniel Dunbar17ca3632009-05-06 21:07:50 +00001342 Name + 1);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001343 exit(1);
1344 }
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001345 }
1346}
1347
Chris Lattner7afae712009-03-16 18:41:18 +00001348static void InitializeCompileOptions(CompileOptions &Opts,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001349 const LangOptions &LangOpts,
1350 const llvm::StringMap<bool> &Features) {
Daniel Dunbar70f92432008-10-23 05:50:47 +00001351 Opts.OptimizeSize = OptSize;
Chris Lattner20126042009-03-09 22:00:34 +00001352 Opts.DebugInfo = GenerateDebugInfo;
Daniel Dunbar877db382009-06-02 22:07:45 +00001353
1354 if (DisableLLVMOptimizations) {
1355 Opts.OptimizationLevel = 0;
1356 Opts.Inlining = CompileOptions::NoInlining;
Daniel Dunbarac7ffe02008-10-29 07:56:11 +00001357 } else {
Daniel Dunbar877db382009-06-02 22:07:45 +00001358 if (OptSize) {
1359 // -Os implies -O2
1360 Opts.OptimizationLevel = 2;
1361 } else {
1362 Opts.OptimizationLevel = OptLevel;
1363 }
1364
1365 // We must always run at least the always inlining pass.
1366 if (Opts.OptimizationLevel > 1)
1367 Opts.Inlining = CompileOptions::NormalInlining;
1368 else
1369 Opts.Inlining = CompileOptions::OnlyAlwaysInlining;
Daniel Dunbarac7ffe02008-10-29 07:56:11 +00001370 }
Daniel Dunbar8e8f3b72008-10-29 03:42:18 +00001371
1372 // FIXME: There are llvm-gcc options to control these selectively.
Daniel Dunbar8e8f3b72008-10-29 03:42:18 +00001373 Opts.UnrollLoops = (Opts.OptimizationLevel > 1 && !OptSize);
Chris Lattner7afae712009-03-16 18:41:18 +00001374 Opts.SimplifyLibCalls = !LangOpts.NoBuiltin;
Daniel Dunbardd913e52008-10-31 09:34:21 +00001375
1376#ifdef NDEBUG
1377 Opts.VerifyModule = 0;
1378#endif
Daniel Dunbara034ba82009-02-17 19:47:34 +00001379
1380 Opts.CPU = TargetCPU;
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001381 Opts.Features.clear();
Mike Stump1eb44332009-09-09 15:08:12 +00001382 for (llvm::StringMap<bool>::const_iterator it = Features.begin(),
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001383 ie = Features.end(); it != ie; ++it) {
1384 // FIXME: If we are completely confident that we have the right
1385 // set, we only need to pass the minuses.
1386 std::string Name(it->second ? "+" : "-");
1387 Name += it->first();
1388 Opts.Features.push_back(Name);
1389 }
Mike Stump1eb44332009-09-09 15:08:12 +00001390
Chris Lattnerbd360642009-03-26 05:00:52 +00001391 Opts.NoCommon = NoCommon | LangOpts.CPlusPlus;
Mike Stump1eb44332009-09-09 15:08:12 +00001392
Chris Lattner44502662009-02-18 01:23:44 +00001393 // Handle -ftime-report.
1394 Opts.TimePasses = TimeReport;
Devang Patel24095da2009-06-04 23:32:02 +00001395
1396 Opts.DisableRedZone = DisableRedZone;
Devang Patelacebb392009-06-05 22:05:48 +00001397 Opts.NoImplicitFloat = NoImplicitFloat;
Tanya Lattner59876c22009-11-04 01:18:09 +00001398
1399 Opts.MergeAllConstants = !NoMergeConstants;
Daniel Dunbar70f92432008-10-23 05:50:47 +00001400}
1401
1402//===----------------------------------------------------------------------===//
Douglas Gregor26df2f02009-04-02 19:05:20 +00001403// Fix-It Options
1404//===----------------------------------------------------------------------===//
1405static llvm::cl::list<ParsedSourceLocation>
1406FixItAtLocations("fixit-at", llvm::cl::value_desc("source-location"),
1407 llvm::cl::desc("Perform Fix-It modifications at the given source location"));
1408
1409//===----------------------------------------------------------------------===//
Eli Friedmanc6d656e2009-05-18 22:39:16 +00001410// ObjC Rewriter Options
1411//===----------------------------------------------------------------------===//
1412static llvm::cl::opt<bool>
1413SilenceRewriteMacroWarning("Wno-rewrite-macros", llvm::cl::init(false),
1414 llvm::cl::desc("Silence ObjC rewriting warnings"));
1415
1416//===----------------------------------------------------------------------===//
Eli Friedman0eeb86e2009-05-19 01:17:04 +00001417// Warning Options
1418//===----------------------------------------------------------------------===//
1419
1420// This gets all -W options, including -Werror, -W[no-]system-headers, etc. The
1421// driver has stripped off -Wa,foo etc. The driver has also translated -W to
1422// -Wextra, so we don't need to worry about it.
1423static llvm::cl::list<std::string>
1424OptWarnings("W", llvm::cl::Prefix, llvm::cl::ValueOptional);
1425
1426static llvm::cl::opt<bool> OptPedantic("pedantic");
1427static llvm::cl::opt<bool> OptPedanticErrors("pedantic-errors");
1428static llvm::cl::opt<bool> OptNoWarnings("w");
1429
1430//===----------------------------------------------------------------------===//
Eli Friedman12d3b1d2009-05-19 03:06:47 +00001431// Preprocessing (-E mode) Options
1432//===----------------------------------------------------------------------===//
1433static llvm::cl::opt<bool>
1434DisableLineMarkers("P", llvm::cl::desc("Disable linemarker output in -E mode"));
1435static llvm::cl::opt<bool>
1436EnableCommentOutput("C", llvm::cl::desc("Enable comment output in -E mode"));
1437static llvm::cl::opt<bool>
1438EnableMacroCommentOutput("CC",
1439 llvm::cl::desc("Enable comment output in -E mode, "
1440 "even from macro expansions"));
1441static llvm::cl::opt<bool>
1442DumpMacros("dM", llvm::cl::desc("Print macro definitions in -E mode instead of"
1443 " normal output"));
1444static llvm::cl::opt<bool>
1445DumpDefines("dD", llvm::cl::desc("Print macro definitions in -E mode in "
1446 "addition to normal output"));
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00001447
1448//===----------------------------------------------------------------------===//
1449// Dependency file options
1450//===----------------------------------------------------------------------===//
1451static llvm::cl::opt<std::string>
1452DependencyFile("dependency-file",
1453 llvm::cl::desc("Filename (or -) to write dependency output to"));
1454
1455static llvm::cl::opt<bool>
1456DependenciesIncludeSystemHeaders("sys-header-deps",
1457 llvm::cl::desc("Include system headers in dependency output"));
1458
1459static llvm::cl::list<std::string>
1460DependencyTargets("MT",
1461 llvm::cl::desc("Specify target for dependency"));
1462
1463// FIXME: Implement feature
1464static llvm::cl::opt<bool>
1465PhonyDependencyTarget("MP",
1466 llvm::cl::desc("Create phony target for each dependency "
1467 "(other than main file)"));
1468
Eli Friedman12d3b1d2009-05-19 03:06:47 +00001469//===----------------------------------------------------------------------===//
Eli Friedmane71b85f2009-05-19 10:18:02 +00001470// Analysis options
1471//===----------------------------------------------------------------------===//
1472
1473static llvm::cl::list<Analyses>
1474AnalysisList(llvm::cl::desc("Source Code Analysis - Checks and Analyses"),
1475llvm::cl::values(
1476#define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)\
1477clEnumValN(NAME, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001478#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001479clEnumValEnd));
1480
Mike Stump1eb44332009-09-09 15:08:12 +00001481static llvm::cl::opt<AnalysisStores>
Eli Friedmane71b85f2009-05-19 10:18:02 +00001482AnalysisStoreOpt("analyzer-store",
1483 llvm::cl::desc("Source Code Analysis - Abstract Memory Store Models"),
1484 llvm::cl::init(BasicStoreModel),
1485 llvm::cl::values(
1486#define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN)\
1487clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001488#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001489clEnumValEnd));
1490
Mike Stump1eb44332009-09-09 15:08:12 +00001491static llvm::cl::opt<AnalysisConstraints>
Eli Friedmane71b85f2009-05-19 10:18:02 +00001492AnalysisConstraintsOpt("analyzer-constraints",
1493 llvm::cl::desc("Source Code Analysis - Symbolic Constraint Engines"),
1494 llvm::cl::init(RangeConstraintsModel),
1495 llvm::cl::values(
1496#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)\
1497clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001498#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001499clEnumValEnd));
1500
1501static llvm::cl::opt<AnalysisDiagClients>
1502AnalysisDiagOpt("analyzer-output",
1503 llvm::cl::desc("Source Code Analysis - Output Options"),
1504 llvm::cl::init(PD_HTML),
1505 llvm::cl::values(
1506#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN, AUTOCREATE)\
1507clEnumValN(PD_##NAME, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001508#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001509clEnumValEnd));
1510
1511static llvm::cl::opt<bool>
1512VisualizeEGDot("analyzer-viz-egraph-graphviz",
1513 llvm::cl::desc("Display exploded graph using GraphViz"));
1514
1515static llvm::cl::opt<bool>
1516VisualizeEGUbi("analyzer-viz-egraph-ubigraph",
1517 llvm::cl::desc("Display exploded graph using Ubigraph"));
1518
1519static llvm::cl::opt<bool>
1520AnalyzeAll("analyzer-opt-analyze-headers",
1521 llvm::cl::desc("Force the static analyzer to analyze "
1522 "functions defined in header files"));
1523
1524static llvm::cl::opt<bool>
1525AnalyzerDisplayProgress("analyzer-display-progress",
1526 llvm::cl::desc("Emit verbose output about the analyzer's progress."));
1527
1528static llvm::cl::opt<bool>
1529PurgeDead("analyzer-purge-dead",
1530 llvm::cl::init(true),
1531 llvm::cl::desc("Remove dead symbols, bindings, and constraints before"
1532 " processing a statement."));
1533
1534static llvm::cl::opt<bool>
1535EagerlyAssume("analyzer-eagerly-assume",
1536 llvm::cl::init(false),
1537 llvm::cl::desc("Eagerly assume the truth/falseness of some "
1538 "symbolic constraints."));
1539
1540static llvm::cl::opt<std::string>
1541AnalyzeSpecificFunction("analyze-function",
1542 llvm::cl::desc("Run analysis on specific function"));
1543
1544static llvm::cl::opt<bool>
1545TrimGraph("trim-egraph",
1546 llvm::cl::desc("Only show error-related paths in the analysis graph"));
1547
1548static AnalyzerOptions ReadAnalyzerOptions() {
1549 AnalyzerOptions Opts;
1550 Opts.AnalysisList = AnalysisList;
1551 Opts.AnalysisStoreOpt = AnalysisStoreOpt;
1552 Opts.AnalysisConstraintsOpt = AnalysisConstraintsOpt;
1553 Opts.AnalysisDiagOpt = AnalysisDiagOpt;
1554 Opts.VisualizeEGDot = VisualizeEGDot;
1555 Opts.VisualizeEGUbi = VisualizeEGUbi;
1556 Opts.AnalyzeAll = AnalyzeAll;
1557 Opts.AnalyzerDisplayProgress = AnalyzerDisplayProgress;
1558 Opts.PurgeDead = PurgeDead;
1559 Opts.EagerlyAssume = EagerlyAssume;
1560 Opts.AnalyzeSpecificFunction = AnalyzeSpecificFunction;
1561 Opts.TrimGraph = TrimGraph;
1562 return Opts;
1563}
1564
1565//===----------------------------------------------------------------------===//
Chris Lattner75a97cb2009-04-17 21:05:01 +00001566// -dump-build-information Stuff
1567//===----------------------------------------------------------------------===//
1568
1569static llvm::cl::opt<std::string>
1570DumpBuildInformation("dump-build-information",
1571 llvm::cl::value_desc("filename"),
1572 llvm::cl::desc("output a dump of some build information to a file"));
1573
1574static llvm::raw_ostream *BuildLogFile = 0;
1575
1576/// LoggingDiagnosticClient - This is a simple diagnostic client that forwards
1577/// all diagnostics to both BuildLogFile and a chained DiagnosticClient.
1578namespace {
1579class LoggingDiagnosticClient : public DiagnosticClient {
1580 llvm::OwningPtr<DiagnosticClient> Chain1;
1581 llvm::OwningPtr<DiagnosticClient> Chain2;
1582public:
Mike Stump1eb44332009-09-09 15:08:12 +00001583
Chris Lattner75a97cb2009-04-17 21:05:01 +00001584 LoggingDiagnosticClient(DiagnosticClient *Normal) {
1585 // Output diags both where requested...
1586 Chain1.reset(Normal);
1587 // .. and to our log file.
Daniel Dunbareace8742009-11-04 06:24:30 +00001588 Chain2.reset(new TextDiagnosticPrinter(*BuildLogFile, DiagOpts));
Chris Lattner75a97cb2009-04-17 21:05:01 +00001589 }
Mike Stump1eb44332009-09-09 15:08:12 +00001590
Daniel Dunbarefcbe942009-11-05 02:42:12 +00001591 virtual void BeginSourceFile(const LangOptions &LO) {
1592 Chain1->BeginSourceFile(LO);
1593 Chain2->BeginSourceFile(LO);
1594 }
1595
1596 virtual void EndSourceFile() {
1597 Chain1->EndSourceFile();
1598 Chain2->EndSourceFile();
Chris Lattner75a97cb2009-04-17 21:05:01 +00001599 }
Mike Stump1eb44332009-09-09 15:08:12 +00001600
Chris Lattner75a97cb2009-04-17 21:05:01 +00001601 virtual bool IncludeInDiagnosticCounts() const {
1602 return Chain1->IncludeInDiagnosticCounts();
1603 }
1604
1605 virtual void HandleDiagnostic(Diagnostic::Level DiagLevel,
1606 const DiagnosticInfo &Info) {
1607 Chain1->HandleDiagnostic(DiagLevel, Info);
1608 Chain2->HandleDiagnostic(DiagLevel, Info);
1609 }
1610};
1611} // end anonymous namespace.
1612
1613static void SetUpBuildDumpLog(unsigned argc, char **argv,
1614 llvm::OwningPtr<DiagnosticClient> &DiagClient) {
Mike Stump1eb44332009-09-09 15:08:12 +00001615
Chris Lattner75a97cb2009-04-17 21:05:01 +00001616 std::string ErrorInfo;
Chris Lattner92bcc272009-08-23 02:59:41 +00001617 BuildLogFile = new llvm::raw_fd_ostream(DumpBuildInformation.c_str(),
Dan Gohmanb044c472009-08-25 15:36:09 +00001618 ErrorInfo);
Mike Stump1eb44332009-09-09 15:08:12 +00001619
Chris Lattner75a97cb2009-04-17 21:05:01 +00001620 if (!ErrorInfo.empty()) {
1621 llvm::errs() << "error opening -dump-build-information file '"
1622 << DumpBuildInformation << "', option ignored!\n";
1623 delete BuildLogFile;
1624 BuildLogFile = 0;
1625 DumpBuildInformation = "";
1626 return;
1627 }
1628
1629 (*BuildLogFile) << "clang-cc command line arguments: ";
1630 for (unsigned i = 0; i != argc; ++i)
1631 (*BuildLogFile) << argv[i] << ' ';
1632 (*BuildLogFile) << '\n';
Mike Stump1eb44332009-09-09 15:08:12 +00001633
Chris Lattner75a97cb2009-04-17 21:05:01 +00001634 // LoggingDiagnosticClient - Insert a new logging diagnostic client in between
1635 // the diagnostic producers and the normal receiver.
1636 DiagClient.reset(new LoggingDiagnosticClient(DiagClient.take()));
1637}
1638
1639
1640
1641//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +00001642// Main driver
1643//===----------------------------------------------------------------------===//
1644
Chris Lattner92bcc272009-08-23 02:59:41 +00001645static llvm::raw_ostream *ComputeOutFile(const std::string &InFile,
1646 const char *Extension,
Eli Friedman66d6f042009-05-18 22:20:00 +00001647 bool Binary,
1648 llvm::sys::Path& OutPath) {
Chris Lattner92bcc272009-08-23 02:59:41 +00001649 llvm::raw_ostream *Ret;
Eli Friedman66d6f042009-05-18 22:20:00 +00001650 std::string OutFile;
Chris Lattner92bcc272009-08-23 02:59:41 +00001651 if (!OutputFile.empty())
Eli Friedman66d6f042009-05-18 22:20:00 +00001652 OutFile = OutputFile;
Chris Lattner92bcc272009-08-23 02:59:41 +00001653 else if (InFile == "-") {
1654 OutFile = "-";
Eli Friedman66d6f042009-05-18 22:20:00 +00001655 } else if (Extension) {
1656 llvm::sys::Path Path(InFile);
1657 Path.eraseSuffix();
1658 Path.appendSuffix(Extension);
Chris Lattnerd57a7ef2009-08-23 22:45:33 +00001659 OutFile = Path.str();
Eli Friedman66d6f042009-05-18 22:20:00 +00001660 } else {
Chris Lattner92bcc272009-08-23 02:59:41 +00001661 OutFile = "-";
Chris Lattner8a5c8092009-02-18 01:20:05 +00001662 }
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +00001663
Chris Lattner92bcc272009-08-23 02:59:41 +00001664 std::string Error;
1665 Ret = new llvm::raw_fd_ostream(OutFile.c_str(), Error,
Dan Gohmanb044c472009-08-25 15:36:09 +00001666 (Binary ? llvm::raw_fd_ostream::F_Binary : 0));
Chris Lattner92bcc272009-08-23 02:59:41 +00001667 if (!Error.empty()) {
1668 // FIXME: Don't fail this way.
1669 llvm::errs() << "ERROR: " << Error << "\n";
1670 ::exit(1);
Ted Kremenekdb094a22007-12-05 18:27:04 +00001671 }
Mike Stump1eb44332009-09-09 15:08:12 +00001672
Chris Lattner92bcc272009-08-23 02:59:41 +00001673 if (OutFile != "-")
1674 OutPath = OutFile;
Eli Friedman66d6f042009-05-18 22:20:00 +00001675
1676 return Ret;
Ted Kremenekdb094a22007-12-05 18:27:04 +00001677}
1678
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001679static ASTConsumer *CreateConsumerAction(Preprocessor &PP,
1680 const std::string &InFile,
1681 ProgActions PA,
1682 llvm::OwningPtr<llvm::raw_ostream> &OS,
1683 llvm::sys::Path &OutPath,
1684 const llvm::StringMap<bool> &Features,
1685 llvm::LLVMContext& Context) {
Ted Kremenek85888962008-10-21 00:54:44 +00001686 switch (PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001687 default:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001688 return 0;
Eli Friedman66d6f042009-05-18 22:20:00 +00001689
1690 case ASTPrint:
1691 OS.reset(ComputeOutFile(InFile, 0, false, OutPath));
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001692 return CreateASTPrinter(OS.get());
Mike Stump1eb44332009-09-09 15:08:12 +00001693
Douglas Gregoree75c052009-05-21 20:55:50 +00001694 case ASTPrintXML:
1695 OS.reset(ComputeOutFile(InFile, "xml", false, OutPath));
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001696 return CreateASTPrinterXML(OS.get());
Douglas Gregoree75c052009-05-21 20:55:50 +00001697
Eli Friedman66d6f042009-05-18 22:20:00 +00001698 case ASTDump:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001699 return CreateASTDumper();
Eli Friedman66d6f042009-05-18 22:20:00 +00001700
Eli Friedman66d6f042009-05-18 22:20:00 +00001701 case ASTView:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001702 return CreateASTViewer();
Eli Friedman66d6f042009-05-18 22:20:00 +00001703
1704 case PrintDeclContext:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001705 return CreateDeclContextPrinter();
Eli Friedman66d6f042009-05-18 22:20:00 +00001706
Anders Carlsson78762eb2009-09-24 18:54:49 +00001707 case DumpRecordLayouts:
1708 return CreateRecordLayoutDumper();
1709
Eli Friedman66d6f042009-05-18 22:20:00 +00001710 case InheritanceView:
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001711 return CreateInheritanceViewer(InheritanceViewCls);
Eli Friedman66d6f042009-05-18 22:20:00 +00001712
1713 case EmitAssembly:
1714 case EmitLLVM:
Mike Stump1eb44332009-09-09 15:08:12 +00001715 case EmitBC:
Eli Friedman66d6f042009-05-18 22:20:00 +00001716 case EmitLLVMOnly: {
1717 BackendAction Act;
1718 if (ProgAction == EmitAssembly) {
1719 Act = Backend_EmitAssembly;
1720 OS.reset(ComputeOutFile(InFile, "s", true, OutPath));
1721 } else if (ProgAction == EmitLLVM) {
1722 Act = Backend_EmitLL;
1723 OS.reset(ComputeOutFile(InFile, "ll", true, OutPath));
1724 } else if (ProgAction == EmitLLVMOnly) {
1725 Act = Backend_EmitNothing;
1726 } else {
1727 Act = Backend_EmitBC;
1728 OS.reset(ComputeOutFile(InFile, "bc", true, OutPath));
Ted Kremenekdb094a22007-12-05 18:27:04 +00001729 }
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001730
Eli Friedman66d6f042009-05-18 22:20:00 +00001731 CompileOptions Opts;
1732 InitializeCompileOptions(Opts, PP.getLangOptions(), Features);
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001733 return CreateBackendConsumer(Act, PP.getDiagnostics(), PP.getLangOptions(),
1734 Opts, InFile, OS.get(), Context);
Eli Friedman66d6f042009-05-18 22:20:00 +00001735 }
1736
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001737 case RewriteObjC:
1738 OS.reset(ComputeOutFile(InFile, "cpp", true, OutPath));
1739 return CreateObjCRewriter(InFile, OS.get(), PP.getDiagnostics(),
1740 PP.getLangOptions(), SilenceRewriteMacroWarning);
1741
1742 case RewriteBlocks:
1743 return CreateBlockRewriter(InFile, PP.getDiagnostics(),
1744 PP.getLangOptions());
1745 }
1746}
1747
1748/// ProcessInputFile - Process a single input file with the specified state.
1749///
Daniel Dunbar90b18272009-11-04 23:56:25 +00001750static void ProcessInputFile(Preprocessor &PP, const std::string &InFile,
1751 ProgActions PA,
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001752 const llvm::StringMap<bool> &Features,
1753 llvm::LLVMContext& Context) {
1754 llvm::OwningPtr<llvm::raw_ostream> OS;
1755 llvm::OwningPtr<ASTConsumer> Consumer;
1756 bool ClearSourceMgr = false;
1757 FixItRewriter *FixItRewrite = 0;
1758 bool CompleteTranslationUnit = true;
1759 llvm::sys::Path OutPath;
1760
1761 switch (PA) {
1762 default:
1763 Consumer.reset(CreateConsumerAction(PP, InFile, PA, OS, OutPath,
1764 Features, Context));
1765
1766 if (!Consumer.get()) {
Daniel Dunbar8cb65622009-10-29 21:05:18 +00001767 PP.getDiagnostics().Report(FullSourceLoc(),
1768 diag::err_fe_invalid_ast_action);
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001769 return;
1770 }
1771
1772 break;;
1773
1774 case EmitHTML:
1775 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Daniel Dunbar90b18272009-11-04 23:56:25 +00001776 Consumer.reset(CreateHTMLPrinter(OS.get(), PP));
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001777 break;
1778
1779 case RunAnalysis:
Daniel Dunbarefceabd2009-11-05 02:41:58 +00001780 Consumer.reset(CreateAnalysisConsumer(PP, OutputFile,
Daniel Dunbar0794d8d2009-09-17 00:48:00 +00001781 ReadAnalyzerOptions()));
1782 break;
1783
Eli Friedman66d6f042009-05-18 22:20:00 +00001784 case GeneratePCH:
Douglas Gregore650c8c2009-07-07 00:12:59 +00001785 if (RelocatablePCH.getValue() && !isysroot.getNumOccurrences()) {
1786 PP.Diag(SourceLocation(), diag::err_relocatable_without_without_isysroot);
1787 RelocatablePCH.setValue(false);
1788 }
Mike Stump1eb44332009-09-09 15:08:12 +00001789
Eli Friedman66d6f042009-05-18 22:20:00 +00001790 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Douglas Gregore650c8c2009-07-07 00:12:59 +00001791 if (RelocatablePCH.getValue())
1792 Consumer.reset(CreatePCHGenerator(PP, OS.get(), isysroot.c_str()));
1793 else
1794 Consumer.reset(CreatePCHGenerator(PP, OS.get()));
Eli Friedman66d6f042009-05-18 22:20:00 +00001795 CompleteTranslationUnit = false;
1796 break;
1797
Chris Lattnerc106c102008-10-12 05:03:36 +00001798 case DumpRawTokens: {
Chris Lattner47099742009-02-18 01:51:21 +00001799 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattnerc106c102008-10-12 05:03:36 +00001800 SourceManager &SM = PP.getSourceManager();
Chris Lattnerc106c102008-10-12 05:03:36 +00001801 // Start lexing the specified input file.
Chris Lattner025c3a62009-01-17 07:35:14 +00001802 Lexer RawLex(SM.getMainFileID(), SM, PP.getLangOptions());
Chris Lattnerc106c102008-10-12 05:03:36 +00001803 RawLex.SetKeepWhitespaceMode(true);
1804
1805 Token RawTok;
Chris Lattnerc106c102008-10-12 05:03:36 +00001806 RawLex.LexFromRawLexer(RawTok);
1807 while (RawTok.isNot(tok::eof)) {
1808 PP.DumpToken(RawTok, true);
1809 fprintf(stderr, "\n");
1810 RawLex.LexFromRawLexer(RawTok);
1811 }
1812 ClearSourceMgr = true;
1813 break;
1814 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001815 case DumpTokens: { // Token dump mode.
Chris Lattner47099742009-02-18 01:51:21 +00001816 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattnerd2177732007-07-20 16:59:19 +00001817 Token Tok;
Chris Lattnerc106c102008-10-12 05:03:36 +00001818 // Start preprocessing the specified input file.
Ted Kremenek95041a22007-12-19 22:51:13 +00001819 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001820 do {
1821 PP.Lex(Tok);
1822 PP.DumpToken(Tok, true);
1823 fprintf(stderr, "\n");
Chris Lattner057aaf62007-10-09 18:03:42 +00001824 } while (Tok.isNot(tok::eof));
Chris Lattnerbd247762007-07-22 06:05:44 +00001825 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001826 break;
1827 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001828 case RunPreprocessorOnly:
Reid Spencer5f016e22007-07-11 17:01:13 +00001829 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001830
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +00001831 case GeneratePTH: {
Chris Lattner47099742009-02-18 01:51:21 +00001832 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmanf54fce82009-05-19 01:02:07 +00001833 if (OutputFile.empty() || OutputFile == "-") {
1834 // FIXME: Don't fail this way.
1835 // FIXME: Verify that we can actually seek in the given file.
Chris Lattner92bcc272009-08-23 02:59:41 +00001836 llvm::errs() << "ERROR: PTH requires an seekable file for output!\n";
Eli Friedmanf54fce82009-05-19 01:02:07 +00001837 ::exit(1);
1838 }
1839 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1840 CacheTokens(PP, static_cast<llvm::raw_fd_ostream*>(OS.get()));
Ted Kremenek85888962008-10-21 00:54:44 +00001841 ClearSourceMgr = true;
1842 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001843 }
Douglas Gregor6ab35242009-04-09 21:40:53 +00001844
Chris Lattnercc7dea82009-04-27 22:02:30 +00001845 case PrintPreprocessedInput:
Eli Friedmanf54fce82009-05-19 01:02:07 +00001846 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Reid Spencer5f016e22007-07-11 17:01:13 +00001847 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001848
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001849 case ParseNoop:
Reid Spencer5f016e22007-07-11 17:01:13 +00001850 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001851
Chris Lattner47099742009-02-18 01:51:21 +00001852 case ParsePrintCallbacks: {
1853 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmanf54fce82009-05-19 01:02:07 +00001854 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1855 ParseFile(PP, CreatePrintParserActionsAction(PP, OS.get()));
Chris Lattnerbd247762007-07-22 06:05:44 +00001856 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001857 break;
Chris Lattner47099742009-02-18 01:51:21 +00001858 }
1859
1860 case ParseSyntaxOnly: { // -fsyntax-only
1861 llvm::TimeRegion Timer(ClangFrontendTimer);
Ted Kremenek7e7e6252008-08-08 02:46:37 +00001862 Consumer.reset(new ASTConsumer());
Ted Kremenek2bf55142007-09-17 20:49:30 +00001863 break;
Chris Lattner47099742009-02-18 01:51:21 +00001864 }
Mike Stump1eb44332009-09-09 15:08:12 +00001865
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001866 case RewriteMacros:
Eli Friedmanf54fce82009-05-19 01:02:07 +00001867 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1868 RewriteMacrosInInput(PP, OS.get());
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001869 ClearSourceMgr = true;
1870 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001871
Eli Friedmanf54fce82009-05-19 01:02:07 +00001872 case RewriteTest:
1873 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1874 DoRewriteTest(PP, OS.get());
Chris Lattnerb13c5ee2008-10-12 05:29:20 +00001875 ClearSourceMgr = true;
1876 break;
Douglas Gregor558cb562009-04-02 01:08:08 +00001877
1878 case FixIt:
1879 llvm::TimeRegion Timer(ClangFrontendTimer);
1880 Consumer.reset(new ASTConsumer());
Douglas Gregorde4bf6a2009-04-02 17:13:00 +00001881 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
Chris Lattner2c78b872009-04-14 23:22:57 +00001882 PP.getSourceManager(),
1883 PP.getLangOptions());
Douglas Gregor558cb562009-04-02 01:08:08 +00001884 break;
Chris Lattner47099742009-02-18 01:51:21 +00001885 }
Ted Kremenek46157b52009-01-28 04:29:29 +00001886
Chris Lattner1aee61a2009-04-27 21:25:27 +00001887 if (FixItAtLocations.size() > 0) {
1888 // Even without the "-fixit" flag, with may have some specific
1889 // locations where the user has requested fixes. Process those
1890 // locations now.
1891 if (!FixItRewrite)
1892 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
1893 PP.getSourceManager(),
1894 PP.getLangOptions());
Chris Lattner9ecd26a2009-03-28 01:37:17 +00001895
Chris Lattner1aee61a2009-04-27 21:25:27 +00001896 bool AddedFixitLocation = false;
Mike Stump1eb44332009-09-09 15:08:12 +00001897 for (unsigned Idx = 0, Last = FixItAtLocations.size();
Chris Lattner1aee61a2009-04-27 21:25:27 +00001898 Idx != Last; ++Idx) {
1899 RequestedSourceLocation Requested;
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +00001900 if (ResolveParsedLocation(FixItAtLocations[Idx],
1901 PP.getFileManager(), Requested)) {
Chris Lattner1aee61a2009-04-27 21:25:27 +00001902 fprintf(stderr, "FIX-IT could not find file \"%s\"\n",
1903 FixItAtLocations[Idx].FileName.c_str());
1904 } else {
1905 FixItRewrite->addFixItLocation(Requested);
1906 AddedFixitLocation = true;
Douglas Gregor26df2f02009-04-02 19:05:20 +00001907 }
1908 }
1909
Chris Lattner1aee61a2009-04-27 21:25:27 +00001910 if (!AddedFixitLocation) {
1911 // All of the fix-it locations were bad. Don't fix anything.
1912 delete FixItRewrite;
1913 FixItRewrite = 0;
1914 }
1915 }
1916
1917 llvm::OwningPtr<ASTContext> ContextOwner;
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001918 if (Consumer)
Chris Lattner9ecd26a2009-03-28 01:37:17 +00001919 ContextOwner.reset(new ASTContext(PP.getLangOptions(),
1920 PP.getSourceManager(),
1921 PP.getTargetInfo(),
1922 PP.getIdentifierTable(),
1923 PP.getSelectorTable(),
Chris Lattner1b63e4f2009-06-14 01:54:56 +00001924 PP.getBuiltinInfo(),
Douglas Gregor2deaea32009-04-22 18:49:13 +00001925 /* FreeMemory = */ !DisableFree,
Chris Lattner1b63e4f2009-06-14 01:54:56 +00001926 /* size_reserve = */0));
Mike Stump1eb44332009-09-09 15:08:12 +00001927
Chris Lattnercc7dea82009-04-27 22:02:30 +00001928 llvm::OwningPtr<PCHReader> Reader;
1929 llvm::OwningPtr<ExternalASTSource> Source;
Mike Stump1eb44332009-09-09 15:08:12 +00001930
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001931 if (!ImplicitIncludePCH.empty()) {
Douglas Gregore650c8c2009-07-07 00:12:59 +00001932 // If the user specified -isysroot, it will be used for relocatable PCH
1933 // files.
1934 const char *isysrootPCH = 0;
1935 if (isysroot.getNumOccurrences() != 0)
1936 isysrootPCH = isysroot.c_str();
Mike Stump1eb44332009-09-09 15:08:12 +00001937
Douglas Gregore650c8c2009-07-07 00:12:59 +00001938 Reader.reset(new PCHReader(PP, ContextOwner.get(), isysrootPCH));
Mike Stump1eb44332009-09-09 15:08:12 +00001939
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001940 // The user has asked us to include a precompiled header. Load
1941 // the precompiled header into the AST context.
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001942 switch (Reader->ReadPCH(ImplicitIncludePCH)) {
1943 case PCHReader::Success: {
Douglas Gregore721f952009-04-28 18:58:38 +00001944 // Set the predefines buffer as suggested by the PCH
1945 // reader. Typically, the predefines buffer will be empty.
1946 PP.setPredefines(Reader->getSuggestedPredefines());
1947
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001948 // Attach the PCH reader to the AST context as an external AST
1949 // source, so that declarations will be deserialized from the
1950 // PCH file as needed.
Chris Lattnercc7dea82009-04-27 22:02:30 +00001951 if (ContextOwner) {
1952 Source.reset(Reader.take());
Douglas Gregore1d918e2009-04-10 23:10:45 +00001953 ContextOwner->setExternalSource(Source);
Chris Lattnercc7dea82009-04-27 22:02:30 +00001954 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001955 break;
Douglas Gregor2cf26342009-04-09 22:27:44 +00001956 }
1957
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001958 case PCHReader::Failure:
1959 // Unrecoverable failure: don't even try to process the input
1960 // file.
1961 return;
1962
1963 case PCHReader::IgnorePCH:
Douglas Gregor1ab86ac2009-04-28 22:01:16 +00001964 // No suitable PCH file could be found. Return an error.
1965 return;
1966
1967#if 0
1968 // FIXME: We can recover from failed attempts to load PCH
1969 // files. This code will do so, if we ever want to enable it.
1970
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001971 // We delayed the initialization of builtins in the hope of
1972 // loading the PCH file. Since the PCH file could not be
1973 // loaded, initialize builtins now.
1974 if (ContextOwner)
1975 ContextOwner->InitializeBuiltins(PP.getIdentifierTable());
Douglas Gregor1ab86ac2009-04-28 22:01:16 +00001976#endif
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001977 }
1978
1979 // Finish preprocessor initialization. We do this now (rather
1980 // than earlier) because this initialization creates new source
1981 // location entries in the source manager, which must come after
1982 // the source location entries for the PCH file.
1983 if (InitializeSourceManager(PP, InFile))
1984 return;
Ted Kremenek46157b52009-01-28 04:29:29 +00001985 }
Daniel Dunbarbea5a842009-10-29 01:53:18 +00001986
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001987 // If we have an ASTConsumer, run the parser with it.
Douglas Gregor81b747b2009-09-17 21:32:03 +00001988 if (Consumer) {
1989 CodeCompleteConsumer *(*CreateCodeCompleter)(Sema &, void *) = 0;
1990 void *CreateCodeCompleterData = 0;
Daniel Dunbarbea5a842009-10-29 01:53:18 +00001991
Douglas Gregorb657f112009-09-22 21:11:38 +00001992 if (!CodeCompletionAt.FileName.empty()) {
1993 // Tell the source manager to chop off the given file at a specific
1994 // line and column.
Daniel Dunbarbea5a842009-10-29 01:53:18 +00001995 if (const FileEntry *Entry
Douglas Gregorb657f112009-09-22 21:11:38 +00001996 = PP.getFileManager().getFile(CodeCompletionAt.FileName)) {
1997 // Truncate the named file at the given line/column.
1998 PP.getSourceManager().truncateFileAt(Entry, CodeCompletionAt.Line,
1999 CodeCompletionAt.Column);
Daniel Dunbarbea5a842009-10-29 01:53:18 +00002000
Douglas Gregorb657f112009-09-22 21:11:38 +00002001 // Set up the creation routine for code-completion.
2002 CreateCodeCompleter = BuildPrintingCodeCompleter;
2003 } else {
Daniel Dunbarbea5a842009-10-29 01:53:18 +00002004 PP.getDiagnostics().Report(FullSourceLoc(),
Douglas Gregorb657f112009-09-22 21:11:38 +00002005 diag::err_fe_invalid_code_complete_file)
2006 << CodeCompletionAt.FileName;
2007 }
Douglas Gregor81b747b2009-09-17 21:32:03 +00002008 }
2009
Mike Stump1eb44332009-09-09 15:08:12 +00002010 ParseAST(PP, Consumer.get(), *ContextOwner.get(), Stats,
Douglas Gregor81b747b2009-09-17 21:32:03 +00002011 CompleteTranslationUnit,
2012 CreateCodeCompleter, CreateCodeCompleterData);
2013 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002014
Daniel Dunbar593c41f2009-11-04 23:41:40 +00002015 // Perform post processing actions and actions which don't use a consumer.
2016 switch (PA) {
2017 default: break;
2018
2019 case RunPreprocessorOnly: { // Just lex as fast as we can, no output.
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002020 llvm::TimeRegion Timer(ClangFrontendTimer);
2021 Token Tok;
2022 // Start parsing the specified input file.
2023 PP.EnterMainSourceFile();
2024 do {
2025 PP.Lex(Tok);
2026 } while (Tok.isNot(tok::eof));
2027 ClearSourceMgr = true;
Daniel Dunbar593c41f2009-11-04 23:41:40 +00002028 break;
2029 }
2030
2031 case ParseNoop: {
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002032 llvm::TimeRegion Timer(ClangFrontendTimer);
2033 ParseFile(PP, new MinimalAction(PP));
2034 ClearSourceMgr = true;
Daniel Dunbar593c41f2009-11-04 23:41:40 +00002035 break;
2036 }
2037
2038 case PrintPreprocessedInput: {
Chris Lattnercc7dea82009-04-27 22:02:30 +00002039 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedman12d3b1d2009-05-19 03:06:47 +00002040 if (DumpMacros)
2041 DoPrintMacros(PP, OS.get());
2042 else
2043 DoPrintPreprocessedInput(PP, OS.get(), EnableCommentOutput,
2044 EnableMacroCommentOutput,
2045 DisableLineMarkers, DumpDefines);
Chris Lattnercc7dea82009-04-27 22:02:30 +00002046 ClearSourceMgr = true;
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002047 }
Mike Stump1eb44332009-09-09 15:08:12 +00002048
Daniel Dunbar593c41f2009-11-04 23:41:40 +00002049 }
2050
Chris Lattner1aee61a2009-04-27 21:25:27 +00002051 if (FixItRewrite)
2052 FixItRewrite->WriteFixedFile(InFile, OutputFile);
Daniel Dunbar70186ab2009-07-29 02:40:09 +00002053
2054 // Disable the consumer prior to the context, the consumer may perform actions
2055 // in its destructor which require the context.
2056 if (DisableFree)
2057 Consumer.take();
2058 else
2059 Consumer.reset();
Mike Stump1eb44332009-09-09 15:08:12 +00002060
Chris Lattner1aee61a2009-04-27 21:25:27 +00002061 // If in -disable-free mode, don't deallocate ASTContext.
2062 if (DisableFree)
2063 ContextOwner.take();
2064 else
2065 ContextOwner.reset(); // Delete ASTContext
Eli Friedman66d6f042009-05-18 22:20:00 +00002066
Daniel Dunbar879c3ea2008-10-27 22:03:52 +00002067 if (VerifyDiagnostics)
Daniel Dunbar276373d2008-10-27 22:10:13 +00002068 if (CheckDiagnostics(PP))
2069 exit(1);
Chris Lattnere66b65c2008-02-06 01:42:25 +00002070
Reid Spencer5f016e22007-07-11 17:01:13 +00002071 if (Stats) {
Ted Kremenekfdfc1982007-12-19 22:24:34 +00002072 fprintf(stderr, "\nSTATISTICS FOR '%s':\n", InFile.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +00002073 PP.PrintStats();
2074 PP.getIdentifierTable().PrintStats();
Chris Lattnerdee73592007-12-15 20:48:40 +00002075 PP.getHeaderSearchInfo().PrintStats();
Ted Kremenek1b95a652009-01-09 18:20:21 +00002076 PP.getSourceManager().PrintStats();
Reid Spencer5f016e22007-07-11 17:01:13 +00002077 fprintf(stderr, "\n");
2078 }
Chris Lattnerbd247762007-07-22 06:05:44 +00002079
Mike Stump1eb44332009-09-09 15:08:12 +00002080 // For a multi-file compilation, some things are ok with nuking the source
Chris Lattnerbd247762007-07-22 06:05:44 +00002081 // manager tables, other require stable fileid/macroid's across multiple
2082 // files.
Chris Lattnerdee73592007-12-15 20:48:40 +00002083 if (ClearSourceMgr)
2084 PP.getSourceManager().clearIDTables();
Daniel Dunbard68ba0e2008-11-11 06:35:39 +00002085
Eli Friedman66d6f042009-05-18 22:20:00 +00002086 // Always delete the output stream because we don't want to leak file
2087 // handles. Also, we don't want to try to erase an open file.
2088 OS.reset();
2089
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002090 // If we had errors, try to erase the output file.
2091 if (PP.getDiagnostics().getNumErrors() && !OutPath.isEmpty())
Eli Friedman66d6f042009-05-18 22:20:00 +00002092 OutPath.eraseFromDisk();
Reid Spencer5f016e22007-07-11 17:01:13 +00002093}
2094
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002095/// ProcessInputFile - Process a single AST input file with the specified state.
2096///
2097static void ProcessASTInputFile(const std::string &InFile, ProgActions PA,
2098 const llvm::StringMap<bool> &Features,
2099 Diagnostic &Diags, FileManager &FileMgr,
2100 llvm::LLVMContext& Context) {
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002101 std::string Error;
Steve Naroff36c44642009-10-19 14:34:22 +00002102 llvm::OwningPtr<ASTUnit> AST(ASTUnit::LoadFromPCHFile(InFile, &Error));
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002103 if (!AST) {
2104 Diags.Report(FullSourceLoc(), diag::err_fe_invalid_ast_file) << Error;
2105 return;
2106 }
2107
2108 Preprocessor &PP = AST->getPreprocessor();
2109
2110 llvm::OwningPtr<llvm::raw_ostream> OS;
2111 llvm::sys::Path OutPath;
2112 llvm::OwningPtr<ASTConsumer> Consumer(CreateConsumerAction(PP, InFile, PA, OS,
2113 OutPath, Features,
2114 Context));
2115
2116 if (!Consumer.get()) {
2117 Diags.Report(FullSourceLoc(), diag::err_fe_invalid_ast_action);
2118 return;
2119 }
2120
Daniel Dunbara674bf42009-09-21 03:03:56 +00002121 // Set the main file ID to an empty file.
2122 //
2123 // FIXME: We probably shouldn't need this, but for now this is the simplest
2124 // way to reuse the logic in ParseAST.
2125 const char *EmptyStr = "";
2126 llvm::MemoryBuffer *SB =
2127 llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<dummy input>");
2128 AST->getSourceManager().createMainFileIDForMemBuffer(SB);
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002129
Daniel Dunbara674bf42009-09-21 03:03:56 +00002130 // Stream the input AST to the consumer.
Daniel Dunbarefcbe942009-11-05 02:42:12 +00002131 Diags.getClient()->BeginSourceFile(PP.getLangOptions());
Daniel Dunbara674bf42009-09-21 03:03:56 +00002132 ParseAST(PP, Consumer.get(), AST->getASTContext(), Stats);
Daniel Dunbarefcbe942009-11-05 02:42:12 +00002133 Diags.getClient()->EndSourceFile();
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002134
2135 // Release the consumer and the AST, in that order since the consumer may
2136 // perform actions in its destructor which require the context.
2137 if (DisableFree) {
2138 Consumer.take();
2139 AST.take();
2140 } else {
2141 Consumer.reset();
2142 AST.reset();
2143 }
2144
2145 // Always delete the output stream because we don't want to leak file
2146 // handles. Also, we don't want to try to erase an open file.
2147 OS.reset();
2148
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002149 // If we had errors, try to erase the output file.
2150 if (PP.getDiagnostics().getNumErrors() && !OutPath.isEmpty())
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002151 OutPath.eraseFromDisk();
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002152}
2153
Reid Spencer5f016e22007-07-11 17:01:13 +00002154static llvm::cl::list<std::string>
2155InputFilenames(llvm::cl::Positional, llvm::cl::desc("<input files>"));
2156
Daniel Dunbar70121eb2009-08-10 03:40:28 +00002157static void LLVMErrorHandler(void *UserData, const std::string &Message) {
2158 Diagnostic &Diags = *static_cast<Diagnostic*>(UserData);
2159
2160 Diags.Report(FullSourceLoc(), diag::err_fe_error_backend) << Message;
2161
2162 // We cannot recover from llvm errors.
2163 exit(1);
2164}
2165
Reid Spencer5f016e22007-07-11 17:01:13 +00002166int main(int argc, char **argv) {
Reid Spencer5f016e22007-07-11 17:01:13 +00002167 llvm::sys::PrintStackTraceOnErrorSignal();
Chris Lattner09e94a32009-03-04 21:41:39 +00002168 llvm::PrettyStackTraceProgram X(argc, argv);
Owen Andersond7200462009-07-16 00:14:12 +00002169 llvm::LLVMContext &Context = llvm::getGlobalContext();
Daniel Dunbard6970812009-09-02 23:20:15 +00002170
Daniel Dunbar4d861512009-09-03 04:54:12 +00002171 // Initialize targets first, so that --version shows registered targets.
Chris Lattner2fe11942009-06-17 17:25:50 +00002172 llvm::InitializeAllTargets();
2173 llvm::InitializeAllAsmPrinters();
Daniel Dunbard6970812009-09-02 23:20:15 +00002174
2175 llvm::cl::ParseCommandLineOptions(argc, argv,
2176 "LLVM 'Clang' Compiler: http://clang.llvm.org\n");
Mike Stump1eb44332009-09-09 15:08:12 +00002177
Chris Lattner47099742009-02-18 01:51:21 +00002178 if (TimeReport)
2179 ClangFrontendTimer = new llvm::Timer("Clang front-end time");
Mike Stump1eb44332009-09-09 15:08:12 +00002180
Daniel Dunbar08e6dc62009-05-28 16:37:33 +00002181 if (Verbose)
Mike Stump3cbf5a02009-09-15 21:49:22 +00002182 llvm::errs() << "clang-cc version " CLANG_VERSION_STRING
2183 << " based upon " << PACKAGE_STRING
Daniel Dunbar2e30e592009-09-04 17:43:10 +00002184 << " hosted on " << llvm::sys::getHostTriple() << "\n";
Mike Stump1eb44332009-09-09 15:08:12 +00002185
Reid Spencer5f016e22007-07-11 17:01:13 +00002186 // If no input was specified, read from stdin.
2187 if (InputFilenames.empty())
2188 InputFilenames.push_back("-");
Douglas Gregor68a0d782009-05-02 00:03:46 +00002189
Daniel Dunbareace8742009-11-04 06:24:30 +00002190 // Initialize the diagnostic options.
2191 DiagOpts.ShowColumn = !NoShowColumn;
2192 DiagOpts.ShowLocation = !NoShowLocation;
2193 DiagOpts.ShowCarets = !NoCaretDiagnostics;
2194 DiagOpts.ShowFixits = !NoDiagnosticsFixIt;
2195 DiagOpts.ShowSourceRanges = PrintSourceRangeInfo;
2196 DiagOpts.ShowOptionNames = PrintDiagnosticOption;
Daniel Dunbar838be482009-11-04 06:24:57 +00002197 DiagOpts.ShowColors = PrintColorDiagnostic;
Daniel Dunbareace8742009-11-04 06:24:30 +00002198 DiagOpts.MessageLength = MessageLength;
2199
Ted Kremenek31e703b2007-12-11 23:28:38 +00002200 // Create the diagnostic client for reporting errors or for
2201 // implementing -verify.
Chris Lattner409d4e72009-04-17 20:40:01 +00002202 llvm::OwningPtr<DiagnosticClient> DiagClient;
2203 if (VerifyDiagnostics) {
2204 // When checking diagnostics, just buffer them up.
2205 DiagClient.reset(new TextDiagnosticBuffer());
2206 if (InputFilenames.size() != 1) {
2207 fprintf(stderr, "-verify only works on single input files for now.\n");
2208 return 1;
2209 }
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002210 } else {
Daniel Dunbarad451cc2009-11-05 02:11:37 +00002211 DiagClient.reset(new TextDiagnosticPrinter(llvm::errs(), DiagOpts));
Reid Spencer5f016e22007-07-11 17:01:13 +00002212 }
Mike Stump1eb44332009-09-09 15:08:12 +00002213
Daniel Dunbarad451cc2009-11-05 02:11:37 +00002214 if (!DumpBuildInformation.empty())
Chris Lattner75a97cb2009-04-17 21:05:01 +00002215 SetUpBuildDumpLog(argc, argv, DiagClient);
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002216
Reid Spencer5f016e22007-07-11 17:01:13 +00002217 // Configure our handling of diagnostics.
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002218 Diagnostic Diags(DiagClient.get());
Eli Friedman0eeb86e2009-05-19 01:17:04 +00002219 if (ProcessWarningOptions(Diags, OptWarnings, OptPedantic, OptPedanticErrors,
2220 OptNoWarnings))
Sebastian Redl63a9e0f2009-03-06 17:41:35 +00002221 return 1;
Ted Kremenek31e703b2007-12-11 23:28:38 +00002222
Daniel Dunbar70121eb2009-08-10 03:40:28 +00002223 // Set an error handler, so that any LLVM backend diagnostics go through our
2224 // error handler.
2225 llvm::llvm_install_error_handler(LLVMErrorHandler,
2226 static_cast<void*>(&Diags));
2227
Daniel Dunbar7c15e712009-10-30 18:12:31 +00002228 // Initialize base triple. If a -triple option has been specified, use
2229 // that triple. Otherwise, default to the host triple.
2230 llvm::Triple Triple(TargetTriple);
2231 if (Triple.getTriple().empty())
2232 Triple = llvm::Triple(llvm::sys::getHostTriple());
2233
Chris Lattner11215192008-03-14 06:12:05 +00002234 // Get information about the target being compiled for.
Daniel Dunbarbea5a842009-10-29 01:53:18 +00002235 llvm::OwningPtr<TargetInfo>
Chris Lattner2f60af72009-09-12 22:45:58 +00002236 Target(TargetInfo::CreateTargetInfo(Triple.getTriple()));
Mike Stump1eb44332009-09-09 15:08:12 +00002237
Chris Lattner11215192008-03-14 06:12:05 +00002238 if (Target == 0) {
Mike Stump1eb44332009-09-09 15:08:12 +00002239 Diags.Report(FullSourceLoc(), diag::err_fe_unknown_triple)
Chris Lattner2f60af72009-09-12 22:45:58 +00002240 << Triple.getTriple().c_str();
Sebastian Redlc5613db2009-03-07 12:09:25 +00002241 return 1;
Chris Lattner11215192008-03-14 06:12:05 +00002242 }
Mike Stump1eb44332009-09-09 15:08:12 +00002243
Daniel Dunbar73b79592009-09-14 00:02:12 +00002244 // Set the target ABI if specified.
2245 if (!TargetABI.empty()) {
2246 if (!Target->setABI(TargetABI)) {
2247 Diags.Report(FullSourceLoc(), diag::err_fe_unknown_target_abi)
2248 << TargetABI;
2249 return 1;
2250 }
2251 }
2252
Daniel Dunbard4270232009-01-20 23:17:32 +00002253 if (!InheritanceViewCls.empty()) // C++ visualization?
Ted Kremenek7cae2f62008-10-23 23:36:29 +00002254 ProgAction = InheritanceView;
Mike Stump1eb44332009-09-09 15:08:12 +00002255
Daniel Dunbar4cc1a252009-11-05 01:53:23 +00002256 // Create the source manager.
2257 SourceManager SourceMgr;
Mike Stump1eb44332009-09-09 15:08:12 +00002258
Chris Lattner2c78b872009-04-14 23:22:57 +00002259 // Create a file manager object to provide access to and cache the filesystem.
2260 FileManager FileMgr;
Douglas Gregor4fed3f42009-04-27 18:38:38 +00002261
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00002262 // Compute the feature set, unfortunately this effects the language!
2263 llvm::StringMap<bool> Features;
2264 ComputeFeatureMap(Target.get(), Features);
2265
Reid Spencer5f016e22007-07-11 17:01:13 +00002266 for (unsigned i = 0, e = InputFilenames.size(); i != e; ++i) {
Ted Kremenek31e703b2007-12-11 23:28:38 +00002267 const std::string &InFile = InputFilenames[i];
Mike Stump1eb44332009-09-09 15:08:12 +00002268
Daniel Dunbaraca2ebd2009-09-17 00:48:13 +00002269 LangKind LK = GetLanguage(InFile);
2270 // AST inputs are handled specially.
2271 if (LK == langkind_ast) {
2272 ProcessASTInputFile(InFile, ProgAction, Features,
2273 Diags, FileMgr, Context);
2274 continue;
2275 }
2276
Daniel Dunbar4cc1a252009-11-05 01:53:23 +00002277 // Reset the ID tables if we are reusing the SourceManager.
2278 if (i)
2279 SourceMgr.clearIDTables();
Mike Stump1eb44332009-09-09 15:08:12 +00002280
Chris Lattnerf63aea32009-03-04 21:40:56 +00002281 // Initialize language options, inferring file types from input filenames.
2282 LangOptions LangInfo;
Mike Stump1eb44332009-09-09 15:08:12 +00002283
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +00002284 InitializeLangOptions(LangInfo, LK);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00002285 InitializeLanguageStandard(LangInfo, LK, Target.get(), Features);
Mike Stump1eb44332009-09-09 15:08:12 +00002286
Chris Lattnerf63aea32009-03-04 21:40:56 +00002287 // Process the -I options and set them in the HeaderInfo.
2288 HeaderSearch HeaderInfo(FileMgr);
Mike Stump1eb44332009-09-09 15:08:12 +00002289
2290
Mike Stump43d81762009-10-08 23:29:47 +00002291 InitializeIncludePaths(argv[0], HeaderInfo, FileMgr, LangInfo, Triple);
Mike Stump1eb44332009-09-09 15:08:12 +00002292
Chris Lattnerf63aea32009-03-04 21:40:56 +00002293 // Set up the preprocessor with these options.
Daniel Dunbar90b18272009-11-04 23:56:25 +00002294 llvm::OwningPtr<Preprocessor> PP(CreatePreprocessor(Diags, LangInfo,
Daniel Dunbar4cc1a252009-11-05 01:53:23 +00002295 *Target, SourceMgr,
Daniel Dunbar90b18272009-11-04 23:56:25 +00002296 HeaderInfo));
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002297
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002298 // Handle generating dependencies, if requested.
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002299 if (!DependencyFile.empty()) {
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002300 if (DependencyTargets.empty()) {
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002301 Diags.Report(FullSourceLoc(), diag::err_fe_dependency_file_requires_MT);
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002302 continue;
2303 }
2304 std::string ErrStr;
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002305 llvm::raw_ostream *DependencyOS =
Dan Gohmanb044c472009-08-25 15:36:09 +00002306 new llvm::raw_fd_ostream(DependencyFile.c_str(), ErrStr);
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002307 if (!ErrStr.empty()) {
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002308 Diags.Report(FullSourceLoc(), diag::err_fe_error_opening)
2309 << DependencyFile << ErrStr;
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002310 continue;
2311 }
2312
2313 AttachDependencyFileGen(PP.get(), DependencyOS, DependencyTargets,
2314 DependenciesIncludeSystemHeaders,
2315 PhonyDependencyTarget);
2316 }
2317
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002318 if (ImplicitIncludePCH.empty()) {
2319 if (InitializeSourceManager(*PP.get(), InFile))
2320 continue;
Mike Stump1eb44332009-09-09 15:08:12 +00002321
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002322 // Initialize builtin info.
2323 PP->getBuiltinInfo().InitializeBuiltins(PP->getIdentifierTable(),
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002324 PP->getLangOptions().NoBuiltin);
2325 }
Douglas Gregor14f79002009-04-10 03:52:48 +00002326
Chris Lattnerf63aea32009-03-04 21:40:56 +00002327 // Process the source file.
Daniel Dunbarefcbe942009-11-05 02:42:12 +00002328 DiagClient->BeginSourceFile(LangInfo);
Daniel Dunbar90b18272009-11-04 23:56:25 +00002329 ProcessInputFile(*PP, InFile, ProgAction, Features, Context);
Daniel Dunbarefcbe942009-11-05 02:42:12 +00002330 DiagClient->EndSourceFile();
Mike Stump1eb44332009-09-09 15:08:12 +00002331
Chris Lattner40469652009-04-17 20:16:08 +00002332 HeaderInfo.ClearFileInfo();
Reid Spencer5f016e22007-07-11 17:01:13 +00002333 }
Chris Lattner11215192008-03-14 06:12:05 +00002334
Mike Stumpfc0fed32009-04-28 01:19:10 +00002335 if (!NoCaretDiagnostics)
2336 if (unsigned NumDiagnostics = Diags.getNumDiagnostics())
2337 fprintf(stderr, "%d diagnostic%s generated.\n", NumDiagnostics,
2338 (NumDiagnostics == 1 ? "" : "s"));
Mike Stump1eb44332009-09-09 15:08:12 +00002339
Reid Spencer5f016e22007-07-11 17:01:13 +00002340 if (Stats) {
Reid Spencer5f016e22007-07-11 17:01:13 +00002341 FileMgr.PrintStats();
2342 fprintf(stderr, "\n");
2343 }
Chris Lattner75a97cb2009-04-17 21:05:01 +00002344
2345 delete ClangFrontendTimer;
2346 delete BuildLogFile;
Mike Stump1eb44332009-09-09 15:08:12 +00002347
Daniel Dunbar276373d2008-10-27 22:10:13 +00002348 // If verifying diagnostics and we reached here, all is well.
2349 if (VerifyDiagnostics)
2350 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +00002351
Daniel Dunbar524b86f2008-10-28 00:38:08 +00002352 // Managed static deconstruction. Useful for making things like
2353 // -time-passes usable.
2354 llvm::llvm_shutdown();
2355
Daniel Dunbar8cb65622009-10-29 21:05:18 +00002356 return (Diags.getNumErrors() != 0);
Reid Spencer5f016e22007-07-11 17:01:13 +00002357}