blob: 69a540bd35b3a598fa7ec4f639f20ca9eb8c3207 [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 Dunbare1bd4e62009-03-02 06:16:29 +000027#include "clang/Frontend/CompileOptions.h"
Douglas Gregor558cb562009-04-02 01:08:08 +000028#include "clang/Frontend/FixItRewriter.h"
Daniel Dunbar50f4f462009-03-12 10:14:16 +000029#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000030#include "clang/Frontend/InitHeaderSearch.h"
Chris Lattnere116ccf2009-04-21 05:40:52 +000031#include "clang/Frontend/InitPreprocessor.h"
Daniel Dunbar50f4f462009-03-12 10:14:16 +000032#include "clang/Frontend/PathDiagnosticClients.h"
Douglas Gregor2cf26342009-04-09 22:27:44 +000033#include "clang/Frontend/PCHReader.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000034#include "clang/Frontend/TextDiagnosticBuffer.h"
35#include "clang/Frontend/TextDiagnosticPrinter.h"
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000036#include "clang/Frontend/CommandLineSourceLoc.h"
Eli Friedmanb09f6e12009-05-19 04:14:29 +000037#include "clang/Frontend/Utils.h"
Ted Kremenek88f5cde2008-03-27 06:17:42 +000038#include "clang/Analysis/PathDiagnostic.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000039#include "clang/CodeGen/ModuleBuilder.h"
Chris Lattnere91c1342008-02-06 00:23:21 +000040#include "clang/Sema/ParseAST.h"
Chris Lattner88eccaf2009-01-29 06:55:46 +000041#include "clang/Sema/SemaDiagnostic.h"
Chris Lattner556beb72007-09-15 22:56:56 +000042#include "clang/AST/ASTConsumer.h"
Chris Lattner1266eca2009-03-28 04:31:31 +000043#include "clang/AST/ASTContext.h"
44#include "clang/AST/Decl.h"
Chris Lattner682bf922009-03-29 16:50:03 +000045#include "clang/AST/DeclGroup.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000046#include "clang/Parse/Parser.h"
47#include "clang/Lex/HeaderSearch.h"
Chris Lattnerdb766842009-02-06 04:16:41 +000048#include "clang/Lex/LexDiagnostic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000049#include "clang/Basic/FileManager.h"
50#include "clang/Basic/SourceManager.h"
51#include "clang/Basic/TargetInfo.h"
Daniel Dunbaraa338bc2009-05-06 04:07:06 +000052#include "clang/Basic/Version.h"
Owen Anderson42253cc2009-07-01 17:00:06 +000053#include "llvm/LLVMContext.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000054#include "llvm/ADT/OwningPtr.h"
Chris Lattner8f3dab82007-12-15 23:20:07 +000055#include "llvm/ADT/SmallPtrSet.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000056#include "llvm/ADT/StringExtras.h"
Daniel Dunbar868bd0a2009-05-06 03:16:41 +000057#include "llvm/ADT/StringMap.h"
Chris Lattnerb8e240e2009-04-08 18:24:34 +000058#include "llvm/ADT/STLExtras.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000059#include "llvm/Config/config.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000060#include "llvm/Support/CommandLine.h"
Daniel Dunbar524b86f2008-10-28 00:38:08 +000061#include "llvm/Support/ManagedStatic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000062#include "llvm/Support/MemoryBuffer.h"
Zhongxing Xu20922362008-11-26 05:23:17 +000063#include "llvm/Support/PluginLoader.h"
Chris Lattner09e94a32009-03-04 21:41:39 +000064#include "llvm/Support/PrettyStackTrace.h"
Eli Friedman66d6f042009-05-18 22:20:00 +000065#include "llvm/Support/Streams.h"
Chris Lattner47099742009-02-18 01:51:21 +000066#include "llvm/Support/Timer.h"
Daniel Dunbare553a722008-10-02 01:21:33 +000067#include "llvm/System/Host.h"
Chris Lattnerdcaa0962008-03-03 03:16:03 +000068#include "llvm/System/Path.h"
Douglas Gregor44cf08e2009-05-03 03:52:38 +000069#include "llvm/System/Process.h"
Eli Friedman66d6f042009-05-18 22:20:00 +000070#include "llvm/System/Program.h"
Chris Lattnerba0f25f2008-09-30 20:16:56 +000071#include "llvm/System/Signals.h"
Chris Lattner2fe11942009-06-17 17:25:50 +000072#include "llvm/Target/TargetSelect.h"
Douglas Gregor26df2f02009-04-02 19:05:20 +000073#include <cstdlib>
Douglas Gregor44cf08e2009-05-03 03:52:38 +000074#if HAVE_SYS_TYPES_H
Douglas Gregor68a0d782009-05-02 00:03:46 +000075# include <sys/types.h>
76#endif
Douglas Gregor26df2f02009-04-02 19:05:20 +000077
Reid Spencer5f016e22007-07-11 17:01:13 +000078using namespace clang;
79
80//===----------------------------------------------------------------------===//
Douglas Gregor26df2f02009-04-02 19:05:20 +000081// Source Location Parser
82//===----------------------------------------------------------------------===//
83
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000084static bool ResolveParsedLocation(ParsedSourceLocation &ParsedLoc,
85 FileManager &FileMgr,
86 RequestedSourceLocation &Result) {
87 const FileEntry *File = FileMgr.getFile(ParsedLoc.FileName);
Douglas Gregor26df2f02009-04-02 19:05:20 +000088 if (!File)
89 return true;
90
91 Result.File = File;
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +000092 Result.Line = ParsedLoc.Line;
93 Result.Column = ParsedLoc.Column;
Douglas Gregor26df2f02009-04-02 19:05:20 +000094 return false;
95}
96
Douglas Gregor26df2f02009-04-02 19:05:20 +000097//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +000098// Global options.
99//===----------------------------------------------------------------------===//
100
Chris Lattner47099742009-02-18 01:51:21 +0000101/// ClangFrontendTimer - The front-end activities should charge time to it with
102/// TimeRegion. The -ftime-report option controls whether this will do
103/// anything.
104llvm::Timer *ClangFrontendTimer = 0;
105
Daniel Dunbard3db4012008-10-16 16:54:18 +0000106static bool HadErrors = false;
Daniel Dunbarb0adbba2008-10-04 23:42:49 +0000107
Reid Spencer5f016e22007-07-11 17:01:13 +0000108static llvm::cl::opt<bool>
109Verbose("v", llvm::cl::desc("Enable verbose output"));
110static llvm::cl::opt<bool>
Nate Begemanaabbb122007-12-30 01:38:50 +0000111Stats("print-stats",
112 llvm::cl::desc("Print performance metrics and statistics"));
Daniel Dunbard3db4012008-10-16 16:54:18 +0000113static llvm::cl::opt<bool>
114DisableFree("disable-free",
115 llvm::cl::desc("Disable freeing of memory on exit"),
116 llvm::cl::init(false));
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000117static llvm::cl::opt<bool>
118EmptyInputOnly("empty-input-only",
119 llvm::cl::desc("Force running on an empty input file"));
Reid Spencer5f016e22007-07-11 17:01:13 +0000120
121enum ProgActions {
Steve Naroffb29b4272008-04-14 22:03:09 +0000122 RewriteObjC, // ObjC->C Rewriter.
Steve Naroff13188952008-09-18 14:10:13 +0000123 RewriteBlocks, // ObjC->C Rewriter for Blocks.
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000124 RewriteMacros, // Expand macros but not #includes.
Chris Lattnerb13c5ee2008-10-12 05:29:20 +0000125 RewriteTest, // Rewriter playground
Douglas Gregor558cb562009-04-02 01:08:08 +0000126 FixIt, // Fix-It Rewriter
Ted Kremenek13e479b2008-03-19 07:53:42 +0000127 HTMLTest, // HTML displayer testing stuff.
Daniel Dunbard69bacc2008-10-21 23:49:24 +0000128 EmitAssembly, // Emit a .s file.
Reid Spencer5f016e22007-07-11 17:01:13 +0000129 EmitLLVM, // Emit a .ll file.
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000130 EmitBC, // Emit a .bc file.
Daniel Dunbare8e26002009-02-26 22:39:37 +0000131 EmitLLVMOnly, // Generate LLVM IR, but do not
Ted Kremenek6a340832008-03-18 21:19:49 +0000132 EmitHTML, // Translate input source into HTML.
Chris Lattner3b427b32007-10-11 00:18:28 +0000133 ASTPrint, // Parse ASTs and print them.
Douglas Gregoree75c052009-05-21 20:55:50 +0000134 ASTPrintXML, // Parse ASTs and print them in XML.
Chris Lattner3b427b32007-10-11 00:18:28 +0000135 ASTDump, // Parse ASTs and dump them.
136 ASTView, // Parse ASTs and view them in Graphviz.
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000137 PrintDeclContext, // Print DeclContext and their Decls.
Reid Spencer5f016e22007-07-11 17:01:13 +0000138 ParsePrintCallbacks, // Parse and print each callback.
139 ParseSyntaxOnly, // Parse and perform semantic analysis.
140 ParseNoop, // Parse with noop callbacks.
141 RunPreprocessorOnly, // Just lex, no output.
142 PrintPreprocessedInput, // -E mode.
Chris Lattnerc106c102008-10-12 05:03:36 +0000143 DumpTokens, // Dump out preprocessed tokens.
144 DumpRawTokens, // Dump out raw tokens.
Ted Kremenek85888962008-10-21 00:54:44 +0000145 RunAnalysis, // Run one or more source code analyses.
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +0000146 GeneratePTH, // Generate pre-tokenized header.
Douglas Gregor2cf26342009-04-09 22:27:44 +0000147 GeneratePCH, // Generate pre-compiled header.
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000148 InheritanceView // View C++ inheritance for a specified class.
Reid Spencer5f016e22007-07-11 17:01:13 +0000149};
150
151static llvm::cl::opt<ProgActions>
152ProgAction(llvm::cl::desc("Choose output type:"), llvm::cl::ZeroOrMore,
153 llvm::cl::init(ParseSyntaxOnly),
154 llvm::cl::values(
155 clEnumValN(RunPreprocessorOnly, "Eonly",
156 "Just run preprocessor, no output (for timings)"),
157 clEnumValN(PrintPreprocessedInput, "E",
158 "Run preprocessor, emit preprocessed file"),
Chris Lattnerc106c102008-10-12 05:03:36 +0000159 clEnumValN(DumpRawTokens, "dump-raw-tokens",
160 "Lex file in raw mode and dump raw tokens"),
Daniel Dunbard4270232009-01-20 23:17:32 +0000161 clEnumValN(RunAnalysis, "analyze",
162 "Run static analysis engine"),
Chris Lattnerc106c102008-10-12 05:03:36 +0000163 clEnumValN(DumpTokens, "dump-tokens",
Reid Spencer5f016e22007-07-11 17:01:13 +0000164 "Run preprocessor, dump internal rep of tokens"),
165 clEnumValN(ParseNoop, "parse-noop",
166 "Run parser with noop callbacks (for timings)"),
167 clEnumValN(ParseSyntaxOnly, "fsyntax-only",
168 "Run parser and perform semantic analysis"),
169 clEnumValN(ParsePrintCallbacks, "parse-print-callbacks",
170 "Run parser and print each callback invoked"),
Ted Kremenek6a340832008-03-18 21:19:49 +0000171 clEnumValN(EmitHTML, "emit-html",
172 "Output input source as HTML"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000173 clEnumValN(ASTPrint, "ast-print",
174 "Build ASTs and then pretty-print them"),
Douglas Gregoree75c052009-05-21 20:55:50 +0000175 clEnumValN(ASTPrintXML, "ast-print-xml",
176 "Build ASTs and then print them in XML format"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000177 clEnumValN(ASTDump, "ast-dump",
178 "Build ASTs and then debug dump them"),
Chris Lattnerea254db2007-10-11 00:37:43 +0000179 clEnumValN(ASTView, "ast-view",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000180 "Build ASTs and view them with GraphViz"),
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000181 clEnumValN(PrintDeclContext, "print-decl-contexts",
Ted Kremenek08478eb2009-04-01 00:23:28 +0000182 "Print DeclContexts and their Decls"),
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +0000183 clEnumValN(GeneratePTH, "emit-pth",
Ted Kremenek08478eb2009-04-01 00:23:28 +0000184 "Generate pre-tokenized header file"),
Douglas Gregor2cf26342009-04-09 22:27:44 +0000185 clEnumValN(GeneratePCH, "emit-pch",
186 "Generate pre-compiled header file"),
Daniel Dunbard69bacc2008-10-21 23:49:24 +0000187 clEnumValN(EmitAssembly, "S",
188 "Emit native assembly code"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000189 clEnumValN(EmitLLVM, "emit-llvm",
Ted Kremenek27b07c52007-09-06 21:26:58 +0000190 "Build ASTs then convert to LLVM, emit .ll file"),
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000191 clEnumValN(EmitBC, "emit-llvm-bc",
192 "Build ASTs then convert to LLVM, emit .bc file"),
Daniel Dunbare8e26002009-02-26 22:39:37 +0000193 clEnumValN(EmitLLVMOnly, "emit-llvm-only",
194 "Build ASTs and convert to LLVM, discarding output"),
Chris Lattnerb13c5ee2008-10-12 05:29:20 +0000195 clEnumValN(RewriteTest, "rewrite-test",
196 "Rewriter playground"),
Steve Naroffb29b4272008-04-14 22:03:09 +0000197 clEnumValN(RewriteObjC, "rewrite-objc",
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000198 "Rewrite ObjC into C (code rewriter example)"),
199 clEnumValN(RewriteMacros, "rewrite-macros",
200 "Expand macros without full preprocessing"),
Steve Naroff13188952008-09-18 14:10:13 +0000201 clEnumValN(RewriteBlocks, "rewrite-blocks",
202 "Rewrite Blocks to C"),
Douglas Gregor558cb562009-04-02 01:08:08 +0000203 clEnumValN(FixIt, "fixit",
204 "Apply fix-it advice to the input source"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000205 clEnumValEnd));
206
Ted Kremenekccc76472007-12-19 19:47:59 +0000207
208static llvm::cl::opt<std::string>
209OutputFile("o",
Ted Kremenek50b56412007-12-19 19:50:41 +0000210 llvm::cl::value_desc("path"),
Douglas Gregor370187c2009-04-22 21:45:53 +0000211 llvm::cl::desc("Specify output file"));
Ted Kremenek55af98c2008-04-14 18:40:58 +0000212
Ted Kremenekc2e72992008-12-02 19:57:31 +0000213
214//===----------------------------------------------------------------------===//
215// PTH.
216//===----------------------------------------------------------------------===//
217
218static llvm::cl::opt<std::string>
219TokenCache("token-cache", llvm::cl::value_desc("path"),
220 llvm::cl::desc("Use specified token cache file"));
221
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000222//===----------------------------------------------------------------------===//
Ted Kremenek55af98c2008-04-14 18:40:58 +0000223// Diagnostic Options
224//===----------------------------------------------------------------------===//
225
Ted Kremenek41193e42007-09-26 19:42:19 +0000226static llvm::cl::opt<bool>
227VerifyDiagnostics("verify",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000228 llvm::cl::desc("Verify emitted diagnostics and warnings"));
Ted Kremenek41193e42007-09-26 19:42:19 +0000229
Ted Kremenek88f5cde2008-03-27 06:17:42 +0000230static llvm::cl::opt<std::string>
231HTMLDiag("html-diags",
232 llvm::cl::desc("Generate HTML to report diagnostics"),
233 llvm::cl::value_desc("HTML directory"));
234
Nico Weberfd54ebc2008-08-05 23:33:20 +0000235static llvm::cl::opt<bool>
236NoShowColumn("fno-show-column",
237 llvm::cl::desc("Do not include column number on diagnostics"));
238
239static llvm::cl::opt<bool>
Chris Lattner65f5e642009-01-30 19:01:41 +0000240NoShowLocation("fno-show-source-location",
241 llvm::cl::desc("Do not include source location information with"
242 " diagnostics"));
243
244static llvm::cl::opt<bool>
Nico Weberfd54ebc2008-08-05 23:33:20 +0000245NoCaretDiagnostics("fno-caret-diagnostics",
246 llvm::cl::desc("Do not include source line and caret with"
247 " diagnostics"));
248
Chris Lattner1fbee5d2009-03-13 01:08:23 +0000249static llvm::cl::opt<bool>
Chris Lattneraa5bf2e2009-04-19 07:44:08 +0000250NoDiagnosticsFixIt("fno-diagnostics-fixit-info",
251 llvm::cl::desc("Do not include fixit information in"
252 " diagnostics"));
253
254static llvm::cl::opt<bool>
Chris Lattner182e0922009-04-21 05:34:31 +0000255PrintSourceRangeInfo("fdiagnostics-print-source-range-info",
256 llvm::cl::desc("Print source range spans in numeric form"));
257
Chris Lattnerd51d74a2009-04-16 05:44:38 +0000258static llvm::cl::opt<bool>
259PrintDiagnosticOption("fdiagnostics-show-option",
260 llvm::cl::desc("Print diagnostic name with mappable diagnostics"));
Nico Weberfd54ebc2008-08-05 23:33:20 +0000261
Douglas Gregorfffd93f2009-05-01 21:53:04 +0000262static llvm::cl::opt<unsigned>
263MessageLength("fmessage-length",
264 llvm::cl::desc("Format message diagnostics so that they fit "
265 "within N columns or fewer, when possible."),
266 llvm::cl::value_desc("N"));
267
Torok Edwin603fca72009-06-04 07:18:23 +0000268static llvm::cl::opt<bool>
Torok Edwina46c71a2009-06-04 07:27:53 +0000269NoColorDiagnostic("fno-color-diagnostics",
Torok Edwin603fca72009-06-04 07:18:23 +0000270 llvm::cl::desc("Don't use colors when showing diagnostics "
271 "(automatically turned off if output is not a "
272 "terminal)."));
Reid Spencer5f016e22007-07-11 17:01:13 +0000273//===----------------------------------------------------------------------===//
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000274// C++ Visualization.
275//===----------------------------------------------------------------------===//
276
277static llvm::cl::opt<std::string>
278InheritanceViewCls("cxx-inheritance-view",
279 llvm::cl::value_desc("class name"),
Daniel Dunbard77b2512009-01-14 18:56:36 +0000280 llvm::cl::desc("View C++ inheritance for a specified class"));
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000281
282//===----------------------------------------------------------------------===//
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000283// Builtin Options
284//===----------------------------------------------------------------------===//
Chris Lattnerb2509e12009-02-18 01:12:43 +0000285
286static llvm::cl::opt<bool>
287TimeReport("ftime-report",
288 llvm::cl::desc("Print the amount of time each "
289 "phase of compilation takes"));
290
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000291static llvm::cl::opt<bool>
292Freestanding("ffreestanding",
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000293 llvm::cl::desc("Assert that the compilation takes place in a "
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000294 "freestanding environment"));
295
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000296static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000297AllowBuiltins("fbuiltin", llvm::cl::init(true),
298 llvm::cl::desc("Disable implicit builtin knowledge of functions"));
Chris Lattner7644f072009-03-13 22:38:49 +0000299
300
301static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000302MathErrno("fmath-errno", llvm::cl::init(true),
303 llvm::cl::desc("Require math functions to respect errno"));
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000304
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000305//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000306// Language Options
307//===----------------------------------------------------------------------===//
308
309enum LangKind {
310 langkind_unspecified,
311 langkind_c,
312 langkind_c_cpp,
Chris Lattnera778d7d2008-10-22 17:29:21 +0000313 langkind_asm_cpp,
Reid Spencer5f016e22007-07-11 17:01:13 +0000314 langkind_cxx,
315 langkind_cxx_cpp,
316 langkind_objc,
317 langkind_objc_cpp,
318 langkind_objcxx,
Nate Begeman4e3629e2009-06-25 22:43:10 +0000319 langkind_objcxx_cpp,
320 langkind_ocl
Reid Spencer5f016e22007-07-11 17:01:13 +0000321};
322
Reid Spencer5f016e22007-07-11 17:01:13 +0000323static llvm::cl::opt<LangKind>
324BaseLang("x", llvm::cl::desc("Base language to compile"),
325 llvm::cl::init(langkind_unspecified),
326 llvm::cl::values(clEnumValN(langkind_c, "c", "C"),
Nate Begeman4e3629e2009-06-25 22:43:10 +0000327 clEnumValN(langkind_ocl, "cl", "OpenCL C"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000328 clEnumValN(langkind_cxx, "c++", "C++"),
329 clEnumValN(langkind_objc, "objective-c", "Objective C"),
330 clEnumValN(langkind_objcxx,"objective-c++","Objective C++"),
Daniel Dunbard2ea3862009-01-29 23:50:47 +0000331 clEnumValN(langkind_c_cpp, "cpp-output",
Reid Spencer5f016e22007-07-11 17:01:13 +0000332 "Preprocessed C"),
Chris Lattnera778d7d2008-10-22 17:29:21 +0000333 clEnumValN(langkind_asm_cpp, "assembler-with-cpp",
334 "Preprocessed asm"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000335 clEnumValN(langkind_cxx_cpp, "c++-cpp-output",
Chris Lattnerc76d8072009-02-06 06:19:20 +0000336 "Preprocessed C++"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000337 clEnumValN(langkind_objc_cpp, "objective-c-cpp-output",
338 "Preprocessed Objective C"),
Chris Lattnerc76d8072009-02-06 06:19:20 +0000339 clEnumValN(langkind_objcxx_cpp, "objective-c++-cpp-output",
Reid Spencer5f016e22007-07-11 17:01:13 +0000340 "Preprocessed Objective C++"),
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +0000341 clEnumValN(langkind_c, "c-header",
342 "C header"),
343 clEnumValN(langkind_objc, "objective-c-header",
344 "Objective-C header"),
345 clEnumValN(langkind_cxx, "c++-header",
346 "C++ header"),
347 clEnumValN(langkind_objcxx, "objective-c++-header",
348 "Objective-C++ header"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000349 clEnumValEnd));
350
351static llvm::cl::opt<bool>
352LangObjC("ObjC", llvm::cl::desc("Set base language to Objective-C"),
353 llvm::cl::Hidden);
354static llvm::cl::opt<bool>
355LangObjCXX("ObjC++", llvm::cl::desc("Set base language to Objective-C++"),
356 llvm::cl::Hidden);
357
Chris Lattner2c78b872009-04-14 23:22:57 +0000358static llvm::cl::opt<bool>
359ObjCExclusiveGC("fobjc-gc-only",
360 llvm::cl::desc("Use GC exclusively for Objective-C related "
361 "memory management"));
362
363static llvm::cl::opt<bool>
364ObjCEnableGC("fobjc-gc",
365 llvm::cl::desc("Enable Objective-C garbage collection"));
366
Fariborz Jahanian448f5e62009-04-17 03:04:15 +0000367static llvm::cl::opt<bool>
368ObjCEnableGCBitmapPrint("print-ivar-layout",
369 llvm::cl::desc("Enable Objective-C Ivar layout bitmap print trace"));
370
Chris Lattner2c78b872009-04-14 23:22:57 +0000371static llvm::cl::opt<LangOptions::VisibilityMode>
372SymbolVisibility("fvisibility",
373 llvm::cl::desc("Set the default symbol visibility:"),
374 llvm::cl::init(LangOptions::Default),
375 llvm::cl::values(clEnumValN(LangOptions::Default, "default",
376 "Use default symbol visibility"),
377 clEnumValN(LangOptions::Hidden, "hidden",
378 "Use hidden symbol visibility"),
379 clEnumValN(LangOptions::Protected,"protected",
380 "Use protected symbol visibility"),
381 clEnumValEnd));
382
383static llvm::cl::opt<bool>
384OverflowChecking("ftrapv",
385 llvm::cl::desc("Trap on integer overflow"),
386 llvm::cl::init(false));
387
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000388static llvm::cl::opt<bool>
389ObjCSenderDispatch("fobjc-sender-dependent-dispatch",
390 llvm::cl::desc("Enable sender-dependent dispatch for"
391 "Objective-C messages"), llvm::cl::init(false));
Chris Lattner2c78b872009-04-14 23:22:57 +0000392
Ted Kremenek8904f152007-12-05 23:49:08 +0000393/// InitializeBaseLanguage - Handle the -x foo options.
394static void InitializeBaseLanguage() {
395 if (LangObjC)
396 BaseLang = langkind_objc;
397 else if (LangObjCXX)
398 BaseLang = langkind_objcxx;
399}
400
401static LangKind GetLanguage(const std::string &Filename) {
402 if (BaseLang != langkind_unspecified)
403 return BaseLang;
404
405 std::string::size_type DotPos = Filename.rfind('.');
406
407 if (DotPos == std::string::npos) {
408 BaseLang = langkind_c; // Default to C if no extension.
Chris Lattner9b2f6c42008-01-04 19:12:28 +0000409 return langkind_c;
Reid Spencer5f016e22007-07-11 17:01:13 +0000410 }
411
Ted Kremenek8904f152007-12-05 23:49:08 +0000412 std::string Ext = std::string(Filename.begin()+DotPos+1, Filename.end());
413 // C header: .h
414 // C++ header: .hh or .H;
415 // assembler no preprocessing: .s
416 // assembler: .S
417 if (Ext == "c")
418 return langkind_c;
Chris Lattnerd9cd4c92009-03-23 16:24:37 +0000419 else if (Ext == "S" ||
420 // If the compiler is run on a .s file, preprocess it as .S
421 Ext == "s")
Chris Lattnera778d7d2008-10-22 17:29:21 +0000422 return langkind_asm_cpp;
Ted Kremenek8904f152007-12-05 23:49:08 +0000423 else if (Ext == "i")
424 return langkind_c_cpp;
425 else if (Ext == "ii")
426 return langkind_cxx_cpp;
427 else if (Ext == "m")
428 return langkind_objc;
429 else if (Ext == "mi")
430 return langkind_objc_cpp;
431 else if (Ext == "mm" || Ext == "M")
432 return langkind_objcxx;
433 else if (Ext == "mii")
434 return langkind_objcxx_cpp;
435 else if (Ext == "C" || Ext == "cc" || Ext == "cpp" || Ext == "CPP" ||
436 Ext == "c++" || Ext == "cp" || Ext == "cxx")
437 return langkind_cxx;
Nate Begeman4e3629e2009-06-25 22:43:10 +0000438 else if (Ext == "cl")
439 return langkind_ocl;
Ted Kremenek8904f152007-12-05 23:49:08 +0000440 else
441 return langkind_c;
442}
443
444
Ted Kremenek85888962008-10-21 00:54:44 +0000445static void InitializeCOptions(LangOptions &Options) {
446 // Do nothing.
447}
448
449static void InitializeObjCOptions(LangOptions &Options) {
450 Options.ObjC1 = Options.ObjC2 = 1;
451}
452
453
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +0000454static void InitializeLangOptions(LangOptions &Options, LangKind LK){
Reid Spencer5f016e22007-07-11 17:01:13 +0000455 // FIXME: implement -fpreprocessed mode.
456 bool NoPreprocess = false;
457
Ted Kremenek8904f152007-12-05 23:49:08 +0000458 switch (LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000459 default: assert(0 && "Unknown language kind!");
Chris Lattnera778d7d2008-10-22 17:29:21 +0000460 case langkind_asm_cpp:
Daniel Dunbarc1571452008-12-01 18:55:22 +0000461 Options.AsmPreprocessor = 1;
Chris Lattnera778d7d2008-10-22 17:29:21 +0000462 // FALLTHROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000463 case langkind_c_cpp:
464 NoPreprocess = true;
465 // FALLTHROUGH
466 case langkind_c:
Ted Kremenek85888962008-10-21 00:54:44 +0000467 InitializeCOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000468 break;
469 case langkind_cxx_cpp:
470 NoPreprocess = true;
471 // FALLTHROUGH
472 case langkind_cxx:
473 Options.CPlusPlus = 1;
474 break;
475 case langkind_objc_cpp:
476 NoPreprocess = true;
477 // FALLTHROUGH
478 case langkind_objc:
Ted Kremenek85888962008-10-21 00:54:44 +0000479 InitializeObjCOptions(Options);
Reid Spencer5f016e22007-07-11 17:01:13 +0000480 break;
481 case langkind_objcxx_cpp:
482 NoPreprocess = true;
483 // FALLTHROUGH
484 case langkind_objcxx:
485 Options.ObjC1 = Options.ObjC2 = 1;
486 Options.CPlusPlus = 1;
487 break;
Nate Begeman4e3629e2009-06-25 22:43:10 +0000488 case langkind_ocl:
489 Options.OpenCL = 1;
490 Options.AltiVec = 1;
491 Options.CXXOperatorNames = 1;
492 Options.LaxVectorConversions = 1;
493 break;
Reid Spencer5f016e22007-07-11 17:01:13 +0000494 }
Chris Lattner2c78b872009-04-14 23:22:57 +0000495
496 if (ObjCExclusiveGC)
497 Options.setGCMode(LangOptions::GCOnly);
498 else if (ObjCEnableGC)
499 Options.setGCMode(LangOptions::HybridGC);
500
Fariborz Jahanian448f5e62009-04-17 03:04:15 +0000501 if (ObjCEnableGCBitmapPrint)
502 Options.ObjCGCBitmapPrint = 1;
503
Chris Lattner2c78b872009-04-14 23:22:57 +0000504 Options.setVisibilityMode(SymbolVisibility);
505 Options.OverflowChecking = OverflowChecking;
Reid Spencer5f016e22007-07-11 17:01:13 +0000506}
507
508/// LangStds - Language standards we support.
509enum LangStds {
510 lang_unspecified,
511 lang_c89, lang_c94, lang_c99,
Ted Kremenekea644d82008-09-03 21:22:16 +0000512 lang_gnu_START,
513 lang_gnu89 = lang_gnu_START, lang_gnu99,
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000514 lang_cxx98, lang_gnucxx98,
515 lang_cxx0x, lang_gnucxx0x
Reid Spencer5f016e22007-07-11 17:01:13 +0000516};
517
518static llvm::cl::opt<LangStds>
519LangStd("std", llvm::cl::desc("Language standard to compile for"),
520 llvm::cl::init(lang_unspecified),
521 llvm::cl::values(clEnumValN(lang_c89, "c89", "ISO C 1990"),
522 clEnumValN(lang_c89, "c90", "ISO C 1990"),
523 clEnumValN(lang_c89, "iso9899:1990", "ISO C 1990"),
524 clEnumValN(lang_c94, "iso9899:199409",
525 "ISO C 1990 with amendment 1"),
526 clEnumValN(lang_c99, "c99", "ISO C 1999"),
Chris Lattner50748f42009-04-06 17:17:55 +0000527 clEnumValN(lang_c99, "c9x", "ISO C 1999"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000528 clEnumValN(lang_c99, "iso9899:1999", "ISO C 1999"),
Chris Lattner50748f42009-04-06 17:17:55 +0000529 clEnumValN(lang_c99, "iso9899:199x", "ISO C 1999"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000530 clEnumValN(lang_gnu89, "gnu89",
Gabor Greif10b26142009-02-28 09:22:15 +0000531 "ISO C 1990 with GNU extensions"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000532 clEnumValN(lang_gnu99, "gnu99",
Gabor Greif10b26142009-02-28 09:22:15 +0000533 "ISO C 1999 with GNU extensions (default for C)"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000534 clEnumValN(lang_gnu99, "gnu9x",
535 "ISO C 1999 with GNU extensions"),
536 clEnumValN(lang_cxx98, "c++98",
537 "ISO C++ 1998 with amendments"),
538 clEnumValN(lang_gnucxx98, "gnu++98",
539 "ISO C++ 1998 with amendments and GNU "
540 "extensions (default for C++)"),
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000541 clEnumValN(lang_cxx0x, "c++0x",
542 "Upcoming ISO C++ 200x with amendments"),
543 clEnumValN(lang_gnucxx0x, "gnu++0x",
544 "Upcoming ISO C++ 200x with amendments and GNU "
Gabor Greif5f8d1db2009-03-11 23:07:18 +0000545 "extensions"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000546 clEnumValEnd));
547
548static llvm::cl::opt<bool>
549NoOperatorNames("fno-operator-names",
550 llvm::cl::desc("Do not treat C++ operator name keywords as "
551 "synonyms for operators"));
552
Anders Carlssonee98ac52007-10-15 02:50:23 +0000553static llvm::cl::opt<bool>
554PascalStrings("fpascal-strings",
555 llvm::cl::desc("Recognize and construct Pascal-style "
556 "string literals"));
Steve Naroffd62701b2008-02-07 03:50:06 +0000557
558static llvm::cl::opt<bool>
559MSExtensions("fms-extensions",
560 llvm::cl::desc("Accept some non-standard constructs used in "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000561 "Microsoft header files "));
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000562
563static llvm::cl::opt<bool>
564WritableStrings("fwritable-strings",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000565 llvm::cl::desc("Store string literals as writable data"));
Anders Carlsson695dbb62007-11-30 04:21:22 +0000566
567static llvm::cl::opt<bool>
Anders Carlssonad53eff2009-01-30 23:26:40 +0000568NoLaxVectorConversions("fno-lax-vector-conversions",
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000569 llvm::cl::desc("Disallow implicit conversions between "
570 "vectors with a different number of "
571 "elements or different element types"));
Chris Lattnerae0ee032008-12-04 23:20:07 +0000572
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000573static llvm::cl::opt<bool>
Daniel Dunbar48d1ef72009-04-07 21:16:11 +0000574EnableBlocks("fblocks", llvm::cl::desc("enable the 'blocks' language feature"));
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000575
576static llvm::cl::opt<bool>
Chris Lattner810f6d52009-03-13 17:38:01 +0000577EnableHeinousExtensions("fheinous-gnu-extensions",
578 llvm::cl::desc("enable GNU extensions that you really really shouldn't use"),
579 llvm::cl::ValueDisallowed, llvm::cl::Hidden);
580
581static llvm::cl::opt<bool>
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000582ObjCNonFragileABI("fobjc-nonfragile-abi",
583 llvm::cl::desc("enable objective-c's nonfragile abi"));
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000584
Daniel Dunbard6884a02009-05-04 05:16:21 +0000585
586static llvm::cl::opt<bool>
Daniel Dunbard604c402009-02-04 21:19:06 +0000587EmitAllDecls("femit-all-decls",
588 llvm::cl::desc("Emit all declarations, even if unused"));
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000589
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000590static llvm::cl::opt<bool>
591Exceptions("fexceptions",
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000592 llvm::cl::desc("Enable support for exception handling"));
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000593
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000594static llvm::cl::opt<bool>
595GNURuntime("fgnu-runtime",
Ted Kremenek85888962008-10-21 00:54:44 +0000596 llvm::cl::desc("Generate output compatible with the standard GNU "
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000597 "Objective-C runtime"));
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000598
599static llvm::cl::opt<bool>
600NeXTRuntime("fnext-runtime",
Ted Kremenek85888962008-10-21 00:54:44 +0000601 llvm::cl::desc("Generate output compatible with the NeXT "
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000602 "runtime"));
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000603
Eli Friedmanc4757bd2009-06-05 07:12:17 +0000604static llvm::cl::opt<bool>
605CharIsSigned("fsigned-char",
606 llvm::cl::desc("Force char to be a signed/unsigned type"));
Ted Kremenekea644d82008-09-03 21:22:16 +0000607
608
609static llvm::cl::opt<bool>
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000610Trigraphs("trigraphs", llvm::cl::desc("Process trigraph sequences"));
Ted Kremenekea644d82008-09-03 21:22:16 +0000611
Douglas Gregor26dce442009-03-10 00:06:19 +0000612static llvm::cl::opt<unsigned>
613TemplateDepth("ftemplate-depth", llvm::cl::init(99),
614 llvm::cl::desc("Maximum depth of recursive template "
615 "instantiation"));
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000616static llvm::cl::opt<bool>
617DollarsInIdents("fdollars-in-identifiers",
618 llvm::cl::desc("Allow '$' in identifiers"));
Chris Lattner16167a62009-03-02 22:11:07 +0000619
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000620
621static llvm::cl::opt<bool>
622OptSize("Os", llvm::cl::desc("Optimize for size"));
623
624static llvm::cl::opt<bool>
Daniel Dunbar877db382009-06-02 22:07:45 +0000625DisableLLVMOptimizations("disable-llvm-optzns",
626 llvm::cl::desc("Don't run LLVM optimization passes"));
627
628static llvm::cl::opt<bool>
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000629NoCommon("fno-common",
630 llvm::cl::desc("Compile common globals like normal definitions"),
631 llvm::cl::ValueDisallowed);
632
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000633static llvm::cl::opt<std::string>
634MainFileName("main-file-name",
635 llvm::cl::desc("Main file name to use for debug info"));
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000636
Anders Carlssona33d9b42009-05-13 19:49:53 +0000637// FIXME: Also add an "-fno-access-control" option.
638static llvm::cl::opt<bool>
639AccessControl("faccess-control",
640 llvm::cl::desc("Enable C++ access control"));
641
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000642// It might be nice to add bounds to the CommandLine library directly.
643struct OptLevelParser : public llvm::cl::parser<unsigned> {
644 bool parse(llvm::cl::Option &O, const char *ArgName,
645 const std::string &Arg, unsigned &Val) {
646 if (llvm::cl::parser<unsigned>::parse(O, ArgName, Arg, Val))
647 return true;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000648 if (Val > 3)
649 return O.error(": '" + Arg + "' invalid optimization level!");
650 return false;
651 }
652};
653static llvm::cl::opt<unsigned, false, OptLevelParser>
654OptLevel("O", llvm::cl::Prefix,
655 llvm::cl::desc("Optimization level"),
656 llvm::cl::init(0));
657
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000658static llvm::cl::opt<unsigned>
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000659PICLevel("pic-level", llvm::cl::desc("Value for __PIC__"));
660
661static llvm::cl::opt<bool>
662StaticDefine("static-define", llvm::cl::desc("Should __STATIC__ be defined"));
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000663
Bill Wendling45483f72009-06-28 07:36:13 +0000664static llvm::cl::opt<int>
665StackProtector("stack-protector",
666 llvm::cl::desc("Enable stack protectors"),
667 llvm::cl::init(-1));
668
Daniel Dunbardcb4a1a2008-08-23 08:43:39 +0000669static void InitializeLanguageStandard(LangOptions &Options, LangKind LK,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +0000670 TargetInfo *Target,
671 const llvm::StringMap<bool> &Features) {
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000672 // Allow the target to set the default the langauge options as it sees fit.
673 Target->getDefaultLangOptions(Options);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +0000674
675 // Pass the map of target features to the target for validation and
676 // processing.
677 Target->HandleTargetFeatures(Features);
Chris Lattner16167a62009-03-02 22:11:07 +0000678
Reid Spencer5f016e22007-07-11 17:01:13 +0000679 if (LangStd == lang_unspecified) {
680 // Based on the base language, pick one.
Ted Kremenek8904f152007-12-05 23:49:08 +0000681 switch (LK) {
Ted Kremenekf2a17b12009-03-19 19:02:20 +0000682 case lang_unspecified: assert(0 && "Unknown base language");
Nate Begeman4e3629e2009-06-25 22:43:10 +0000683 case langkind_ocl:
684 LangStd = lang_c99;
685 break;
Reid Spencer5f016e22007-07-11 17:01:13 +0000686 case langkind_c:
Chris Lattnera778d7d2008-10-22 17:29:21 +0000687 case langkind_asm_cpp:
Reid Spencer5f016e22007-07-11 17:01:13 +0000688 case langkind_c_cpp:
689 case langkind_objc:
690 case langkind_objc_cpp:
691 LangStd = lang_gnu99;
692 break;
693 case langkind_cxx:
694 case langkind_cxx_cpp:
695 case langkind_objcxx:
696 case langkind_objcxx_cpp:
697 LangStd = lang_gnucxx98;
698 break;
699 }
700 }
701
702 switch (LangStd) {
703 default: assert(0 && "Unknown language standard!");
704
705 // Fall through from newer standards to older ones. This isn't really right.
706 // FIXME: Enable specifically the right features based on the language stds.
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000707 case lang_gnucxx0x:
708 case lang_cxx0x:
709 Options.CPlusPlus0x = 1;
710 // FALL THROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000711 case lang_gnucxx98:
712 case lang_cxx98:
713 Options.CPlusPlus = 1;
714 Options.CXXOperatorNames = !NoOperatorNames;
715 // FALL THROUGH.
716 case lang_gnu99:
717 case lang_c99:
Reid Spencer5f016e22007-07-11 17:01:13 +0000718 Options.C99 = 1;
719 Options.HexFloats = 1;
720 // FALL THROUGH.
721 case lang_gnu89:
722 Options.BCPLComment = 1; // Only for C99/C++.
723 // FALL THROUGH.
724 case lang_c94:
Chris Lattner3426b9b2008-02-25 04:01:39 +0000725 Options.Digraphs = 1; // C94, C99, C++.
726 // FALL THROUGH.
Reid Spencer5f016e22007-07-11 17:01:13 +0000727 case lang_c89:
728 break;
729 }
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000730
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000731 // GNUMode - Set if we're in gnu99, gnu89, gnucxx98, etc.
732 Options.GNUMode = LangStd >= lang_gnu_START;
733
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000734 if (Options.CPlusPlus) {
735 Options.C99 = 0;
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000736 Options.HexFloats = Options.GNUMode;
Argyrios Kyrtzidisd1465522008-09-11 04:21:06 +0000737 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000738
Chris Lattnerd658b562008-04-05 06:32:51 +0000739 if (LangStd == lang_c89 || LangStd == lang_c94 || LangStd == lang_gnu89)
740 Options.ImplicitInt = 1;
741 else
742 Options.ImplicitInt = 0;
Ted Kremenekea644d82008-09-03 21:22:16 +0000743
Daniel Dunbard573d262009-04-07 22:13:21 +0000744 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
745 // is specified, or -std is set to a conforming mode.
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000746 Options.Trigraphs = !Options.GNUMode;
Chris Lattner802db9b2008-12-05 00:10:44 +0000747 if (Trigraphs.getPosition())
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000748 Options.Trigraphs = Trigraphs; // Command line option wins if specified.
Ted Kremenekea644d82008-09-03 21:22:16 +0000749
Chris Lattner802db9b2008-12-05 00:10:44 +0000750 // If in a conformant language mode (e.g. -std=c99) Blocks defaults to off
751 // even if they are normally on for the target. In GNU modes (e.g.
752 // -std=gnu99) the default for blocks depends on the target settings.
Anders Carlssone56f6ff2009-01-21 18:47:36 +0000753 // However, blocks are not turned off when compiling Obj-C or Obj-C++ code.
Chris Lattner7e9c90b2009-03-20 15:44:26 +0000754 if (!Options.ObjC1 && !Options.GNUMode)
Chris Lattner802db9b2008-12-05 00:10:44 +0000755 Options.Blocks = 0;
756
Chris Lattner01638a62009-04-19 07:06:52 +0000757 // Default to not accepting '$' in identifiers when preprocessing assembler,
758 // but do accept when preprocessing C. FIXME: these defaults are right for
759 // darwin, are they right everywhere?
760 Options.DollarIdents = LK != langkind_asm_cpp;
761 if (DollarsInIdents.getPosition()) // Explicit setting overrides default.
Chris Lattnerf5db8f82009-04-19 07:00:02 +0000762 Options.DollarIdents = DollarsInIdents;
763
Chris Lattnerae0ee032008-12-04 23:20:07 +0000764 if (PascalStrings.getPosition())
765 Options.PascalStrings = PascalStrings;
Eli Friedmanabc4e322009-06-08 06:11:14 +0000766 if (MSExtensions.getPosition())
767 Options.Microsoft = MSExtensions;
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000768 Options.WritableStrings = WritableStrings;
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000769 if (NoLaxVectorConversions.getPosition())
770 Options.LaxVectorConversions = 0;
Daniel Dunbar6379a7a2008-08-11 17:36:14 +0000771 Options.Exceptions = Exceptions;
Mike Stumpa0f02aa2009-02-02 22:57:57 +0000772 if (EnableBlocks.getPosition())
Chris Lattnerae0ee032008-12-04 23:20:07 +0000773 Options.Blocks = EnableBlocks;
Eli Friedmanc4757bd2009-06-05 07:12:17 +0000774 if (CharIsSigned.getPosition())
775 Options.CharIsSigned = CharIsSigned;
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000776
Daniel Dunbar9f9768c2009-03-20 23:49:28 +0000777 if (!AllowBuiltins)
Chris Lattner7644f072009-03-13 22:38:49 +0000778 Options.NoBuiltin = 1;
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000779 if (Freestanding)
Chris Lattner7644f072009-03-13 22:38:49 +0000780 Options.Freestanding = Options.NoBuiltin = 1;
781
Chris Lattner810f6d52009-03-13 17:38:01 +0000782 if (EnableHeinousExtensions)
783 Options.HeinousExtensions = 1;
Douglas Gregor3573c0c2009-02-14 20:49:29 +0000784
Anders Carlssona33d9b42009-05-13 19:49:53 +0000785 if (AccessControl)
786 Options.AccessControl = 1;
787
Chris Lattnere4f21422009-06-30 01:26:17 +0000788 // OpenCL and C++ both have bool, true, false keywords.
789 Options.Bool = Options.OpenCL | Options.CPlusPlus;
790
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000791 Options.MathErrno = MathErrno;
792
Douglas Gregor26dce442009-03-10 00:06:19 +0000793 Options.InstantiationDepth = TemplateDepth;
794
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000795 // Override the default runtime if the user requested it.
796 if (NeXTRuntime)
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000797 Options.NeXTRuntime = 1;
Chris Lattner8fc4dfb2008-12-04 22:54:33 +0000798 else if (GNURuntime)
Daniel Dunbarf77ac862008-08-11 21:35:06 +0000799 Options.NeXTRuntime = 0;
Fariborz Jahanianee0af742009-01-21 22:04:16 +0000800
Fariborz Jahanian30bc5712009-01-22 23:02:58 +0000801 if (ObjCNonFragileABI)
802 Options.ObjCNonFragileABI = 1;
Fariborz Jahanian34e65772009-05-22 20:17:16 +0000803
804 Options.ObjCSenderDispatch = ObjCSenderDispatch;
Daniel Dunbard6884a02009-05-04 05:16:21 +0000805
Daniel Dunbard604c402009-02-04 21:19:06 +0000806 if (EmitAllDecls)
807 Options.EmitAllDecls = 1;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000808
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000809 // The __OPTIMIZE_SIZE__ define is tied to -Oz, which we don't
810 // support.
811 Options.OptimizeSize = 0;
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000812
813 // -Os implies -O2
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000814 if (OptSize || OptLevel)
Anders Carlsson4ca076f2009-04-06 17:37:10 +0000815 Options.Optimize = 1;
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +0000816
817 assert(PICLevel <= 2 && "Invalid value for -pic-level");
818 Options.PICLevel = PICLevel;
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000819
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000820 Options.GNUInline = !Options.C99;
Chris Lattner5aeb9e72009-05-06 04:38:30 +0000821 // FIXME: This is affected by other options (-fno-inline).
Daniel Dunbar3bbc7532009-04-08 18:03:55 +0000822 Options.NoInline = !OptSize && !OptLevel;
823
824 Options.Static = StaticDefine;
825
Bill Wendling4ebe3e42009-06-28 23:01:01 +0000826 switch (StackProtector) {
827 default:
828 assert(StackProtector <= 2 && "Invalid value for -stack-protector");
829 case -1: break;
830 case 0: Options.setStackProtectorMode(LangOptions::SSPOff); break;
831 case 1: Options.setStackProtectorMode(LangOptions::SSPOn); break;
832 case 2: Options.setStackProtectorMode(LangOptions::SSPReq); break;
833 }
Bill Wendling45483f72009-06-28 07:36:13 +0000834
Daniel Dunbarc9abc042009-04-08 05:11:16 +0000835 if (MainFileName.getPosition())
836 Options.setMainFileName(MainFileName.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +0000837}
838
839//===----------------------------------------------------------------------===//
Ted Kremenekae360762007-12-03 22:06:55 +0000840// Target Triple Processing.
841//===----------------------------------------------------------------------===//
842
843static llvm::cl::opt<std::string>
844TargetTriple("triple",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000845 llvm::cl::desc("Specify target triple (e.g. i686-apple-darwin9)"));
Ted Kremenekae360762007-12-03 22:06:55 +0000846
Chris Lattner42e67372008-03-05 01:18:20 +0000847static llvm::cl::opt<std::string>
Chris Lattner6a30c1f2008-09-30 01:13:12 +0000848MacOSVersionMin("mmacosx-version-min",
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000849 llvm::cl::desc("Specify target Mac OS X version (e.g. 10.5)"));
Chris Lattner6a30c1f2008-09-30 01:13:12 +0000850
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000851// If -mmacosx-version-min=10.3.9 is specified, change the triple from being
852// something like powerpc-apple-darwin9 to powerpc-apple-darwin7
Daniel Dunbar64ffc142009-03-31 20:10:05 +0000853
854// FIXME: We should have the driver do this instead.
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000855static void HandleMacOSVersionMin(std::string &Triple) {
856 std::string::size_type DarwinDashIdx = Triple.find("-darwin");
857 if (DarwinDashIdx == std::string::npos) {
858 fprintf(stderr,
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000859 "-mmacosx-version-min only valid for darwin (Mac OS X) targets\n");
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000860 exit(1);
861 }
862 unsigned DarwinNumIdx = DarwinDashIdx + strlen("-darwin");
863
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000864 // Remove the number.
865 Triple.resize(DarwinNumIdx);
866
867 // Validate that MacOSVersionMin is a 'version number', starting with 10.[3-9]
868 bool MacOSVersionMinIsInvalid = false;
869 int VersionNum = 0;
870 if (MacOSVersionMin.size() < 4 ||
871 MacOSVersionMin.substr(0, 3) != "10." ||
872 !isdigit(MacOSVersionMin[3])) {
873 MacOSVersionMinIsInvalid = true;
874 } else {
875 const char *Start = MacOSVersionMin.c_str()+3;
876 char *End = 0;
877 VersionNum = (int)strtol(Start, &End, 10);
878
Chris Lattner079f2c462008-09-30 20:30:12 +0000879 // The version number must be in the range 0-9.
880 MacOSVersionMinIsInvalid = (unsigned)VersionNum > 9;
881
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000882 // Turn MacOSVersionMin into a darwin number: e.g. 10.3.9 is 3 -> 7.
883 Triple += llvm::itostr(VersionNum+4);
884
Chris Lattner079f2c462008-09-30 20:30:12 +0000885 if (End[0] == '.' && isdigit(End[1]) && End[2] == '\0') { // 10.4.7 is ok.
886 // Add the period piece (.7) to the end of the triple. This gives us
887 // something like ...-darwin8.7
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000888 Triple += End;
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000889 } else if (End[0] != '\0') { // "10.4" is ok. 10.4x is not.
890 MacOSVersionMinIsInvalid = true;
891 }
892 }
893
894 if (MacOSVersionMinIsInvalid) {
895 fprintf(stderr,
Daniel Dunbaraf07f932009-03-31 17:35:15 +0000896 "-mmacosx-version-min=%s is invalid, expected something like '10.4'.\n",
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000897 MacOSVersionMin.c_str());
898 exit(1);
899 }
Fariborz Jahanian6a1284a2009-04-10 20:33:45 +0000900 else if (VersionNum <= 4 &&
901 !strncmp(Triple.c_str(), "x86_64", strlen("x86_64"))) {
902 fprintf(stderr,
903 "-mmacosx-version-min=%s is invalid with -arch x86_64.\n",
904 MacOSVersionMin.c_str());
905 exit(1);
906 }
907
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000908}
909
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000910static llvm::cl::opt<std::string>
911IPhoneOSVersionMin("miphoneos-version-min",
912 llvm::cl::desc("Specify target iPhone OS version (e.g. 2.0)"));
913
914// If -miphoneos-version-min=2.2 is specified, change the triple from being
915// something like armv6-apple-darwin10 to armv6-apple-darwin9.2.2. We use
916// 9 as the default major Darwin number, and encode the iPhone OS version
917// number in the minor version and revision.
918
919// FIXME: We should have the driver do this instead.
920static void HandleIPhoneOSVersionMin(std::string &Triple) {
921 std::string::size_type DarwinDashIdx = Triple.find("-darwin");
922 if (DarwinDashIdx == std::string::npos) {
923 fprintf(stderr,
924 "-miphoneos-version-min only valid for darwin (Mac OS X) targets\n");
925 exit(1);
926 }
927 unsigned DarwinNumIdx = DarwinDashIdx + strlen("-darwin");
928
929 // Remove the number.
930 Triple.resize(DarwinNumIdx);
931
932 // Validate that IPhoneOSVersionMin is a 'version number', starting with [2-9].[0-9]
933 bool IPhoneOSVersionMinIsInvalid = false;
934 int VersionNum = 0;
935 if (IPhoneOSVersionMin.size() < 3 ||
936 !isdigit(IPhoneOSVersionMin[0])) {
937 IPhoneOSVersionMinIsInvalid = true;
938 } else {
939 const char *Start = IPhoneOSVersionMin.c_str();
940 char *End = 0;
941 VersionNum = (int)strtol(Start, &End, 10);
942
943 // The version number must be in the range 0-9.
944 IPhoneOSVersionMinIsInvalid = (unsigned)VersionNum > 9;
945
946 // Turn IPhoneOSVersionMin into a darwin number: e.g. 2.0 is 2 -> 9.2.
947 Triple += "9." + llvm::itostr(VersionNum);
948
949 if (End[0] == '.' && isdigit(End[1]) && End[2] == '\0') { // 2.2 is ok.
950 // Add the period piece (.2) to the end of the triple. This gives us
951 // something like ...-darwin9.2.2
952 Triple += End;
953 } else if (End[0] != '\0') { // "2.2" is ok. 2x is not.
954 IPhoneOSVersionMinIsInvalid = true;
955 }
956 }
957
958 if (IPhoneOSVersionMinIsInvalid) {
959 fprintf(stderr,
960 "-miphoneos-version-min=%s is invalid, expected something like '2.0'.\n",
961 IPhoneOSVersionMin.c_str());
962 exit(1);
963 }
964}
965
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000966/// CreateTargetTriple - Process the various options that affect the target
967/// triple and build a final aggregate triple that we are compiling for.
Chris Lattner6fd9fa12008-03-09 01:35:13 +0000968static std::string CreateTargetTriple() {
Ted Kremenekae360762007-12-03 22:06:55 +0000969 // Initialize base triple. If a -triple option has been specified, use
970 // that triple. Otherwise, default to the host triple.
Chris Lattner6590d212007-12-12 05:01:48 +0000971 std::string Triple = TargetTriple;
Daniel Dunbaraf07f932009-03-31 17:35:15 +0000972 if (Triple.empty())
973 Triple = llvm::sys::getHostTriple();
Chris Lattner6a30c1f2008-09-30 01:13:12 +0000974
975 // If -mmacosx-version-min=10.3.9 is specified, change the triple from being
976 // something like powerpc-apple-darwin9 to powerpc-apple-darwin7
Chris Lattnerba0f25f2008-09-30 20:16:56 +0000977 if (!MacOSVersionMin.empty())
978 HandleMacOSVersionMin(Triple);
Daniel Dunbar8d33cd72009-04-10 19:52:24 +0000979 else if (!IPhoneOSVersionMin.empty())
980 HandleIPhoneOSVersionMin(Triple);;
Ted Kremenekae360762007-12-03 22:06:55 +0000981
Chris Lattner6a30c1f2008-09-30 01:13:12 +0000982 return Triple;
Ted Kremenekae360762007-12-03 22:06:55 +0000983}
984
985//===----------------------------------------------------------------------===//
Chris Lattnere116ccf2009-04-21 05:40:52 +0000986// SourceManager initialization.
Reid Spencer5f016e22007-07-11 17:01:13 +0000987//===----------------------------------------------------------------------===//
988
Douglas Gregore1d918e2009-04-10 23:10:45 +0000989static bool InitializeSourceManager(Preprocessor &PP,
990 const std::string &InFile) {
991 // Figure out where to get and map in the main file.
992 SourceManager &SourceMgr = PP.getSourceManager();
993 FileManager &FileMgr = PP.getFileManager();
Daniel Dunbar57cbfc02009-04-27 21:19:07 +0000994
995 if (EmptyInputOnly) {
996 const char *EmptyStr = "";
997 llvm::MemoryBuffer *SB =
998 llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<empty input>");
999 SourceMgr.createMainFileIDForMemBuffer(SB);
1000 } else if (InFile != "-") {
Douglas Gregore1d918e2009-04-10 23:10:45 +00001001 const FileEntry *File = FileMgr.getFile(InFile);
1002 if (File) SourceMgr.createMainFileID(File, SourceLocation());
1003 if (SourceMgr.getMainFileID().isInvalid()) {
1004 PP.getDiagnostics().Report(FullSourceLoc(), diag::err_fe_error_reading)
1005 << InFile.c_str();
1006 return true;
1007 }
1008 } else {
1009 llvm::MemoryBuffer *SB = llvm::MemoryBuffer::getSTDIN();
1010
1011 // If stdin was empty, SB is null. Cons up an empty memory
1012 // buffer now.
1013 if (!SB) {
1014 const char *EmptyStr = "";
1015 SB = llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<stdin>");
1016 }
1017
1018 SourceMgr.createMainFileIDForMemBuffer(SB);
1019 if (SourceMgr.getMainFileID().isInvalid()) {
1020 PP.getDiagnostics().Report(FullSourceLoc(),
1021 diag::err_fe_error_reading_stdin);
1022 return true;
1023 }
1024 }
1025
1026 return false;
1027}
1028
Chris Lattneraa391972008-04-19 23:09:31 +00001029
Chris Lattnere116ccf2009-04-21 05:40:52 +00001030//===----------------------------------------------------------------------===//
1031// Preprocessor Initialization
1032//===----------------------------------------------------------------------===//
Sam Bishop1102d6b2008-04-14 14:41:57 +00001033
Chris Lattnere116ccf2009-04-21 05:40:52 +00001034// FIXME: Preprocessor builtins to support.
1035// -A... - Play with #assertions
1036// -undef - Undefine all predefined macros
Chris Lattnerb31ac222009-04-08 20:15:42 +00001037
Chris Lattnere116ccf2009-04-21 05:40:52 +00001038static llvm::cl::list<std::string>
1039D_macros("D", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
1040 llvm::cl::desc("Predefine the specified macro"));
1041static llvm::cl::list<std::string>
1042U_macros("U", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
1043 llvm::cl::desc("Undefine the specified macro"));
Chris Lattnerb8e240e2009-04-08 18:24:34 +00001044
Chris Lattnere116ccf2009-04-21 05:40:52 +00001045static llvm::cl::list<std::string>
1046ImplicitIncludes("include", llvm::cl::value_desc("file"),
1047 llvm::cl::desc("Include file before parsing"));
1048static llvm::cl::list<std::string>
1049ImplicitMacroIncludes("imacros", llvm::cl::value_desc("file"),
1050 llvm::cl::desc("Include macros from file before parsing"));
Chris Lattnerb8e240e2009-04-08 18:24:34 +00001051
Chris Lattnere116ccf2009-04-21 05:40:52 +00001052static llvm::cl::opt<std::string>
1053ImplicitIncludePCH("include-pch", llvm::cl::value_desc("file"),
1054 llvm::cl::desc("Include precompiled header file"));
1055
1056static llvm::cl::opt<std::string>
1057ImplicitIncludePTH("include-pth", llvm::cl::value_desc("file"),
1058 llvm::cl::desc("Include file before parsing"));
1059
Reid Spencer5f016e22007-07-11 17:01:13 +00001060
1061//===----------------------------------------------------------------------===//
1062// Preprocessor include path information.
1063//===----------------------------------------------------------------------===//
1064
1065// This tool exports a large number of command line options to control how the
1066// preprocessor searches for header files. At root, however, the Preprocessor
1067// object takes a very simple interface: a list of directories to search for
1068//
Daniel Dunbarfb4ac7b2009-05-06 03:48:17 +00001069// FIXME: -nostdinc++
Chris Lattner0c946412007-08-26 17:47:35 +00001070// FIXME: -imultilib
Reid Spencer5f016e22007-07-11 17:01:13 +00001071//
Reid Spencer5f016e22007-07-11 17:01:13 +00001072
1073static llvm::cl::opt<bool>
1074nostdinc("nostdinc", llvm::cl::desc("Disable standard #include directories"));
1075
1076// Various command line options. These four add directories to each chain.
1077static llvm::cl::list<std::string>
1078F_dirs("F", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1079 llvm::cl::desc("Add directory to framework include search path"));
1080static llvm::cl::list<std::string>
1081I_dirs("I", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1082 llvm::cl::desc("Add directory to include search path"));
1083static llvm::cl::list<std::string>
1084idirafter_dirs("idirafter", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1085 llvm::cl::desc("Add directory to AFTER include search path"));
1086static llvm::cl::list<std::string>
1087iquote_dirs("iquote", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1088 llvm::cl::desc("Add directory to QUOTE include search path"));
1089static llvm::cl::list<std::string>
1090isystem_dirs("isystem", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1091 llvm::cl::desc("Add directory to SYSTEM include search path"));
1092
1093// These handle -iprefix/-iwithprefix/-iwithprefixbefore.
1094static llvm::cl::list<std::string>
1095iprefix_vals("iprefix", llvm::cl::value_desc("prefix"), llvm::cl::Prefix,
1096 llvm::cl::desc("Set the -iwithprefix/-iwithprefixbefore prefix"));
1097static llvm::cl::list<std::string>
1098iwithprefix_vals("iwithprefix", llvm::cl::value_desc("dir"), llvm::cl::Prefix,
1099 llvm::cl::desc("Set directory to SYSTEM include search path with prefix"));
1100static llvm::cl::list<std::string>
1101iwithprefixbefore_vals("iwithprefixbefore", llvm::cl::value_desc("dir"),
1102 llvm::cl::Prefix,
1103 llvm::cl::desc("Set directory to include search path with prefix"));
1104
Chris Lattner0c946412007-08-26 17:47:35 +00001105static llvm::cl::opt<std::string>
1106isysroot("isysroot", llvm::cl::value_desc("dir"), llvm::cl::init("/"),
1107 llvm::cl::desc("Set the system root directory (usually /)"));
1108
Reid Spencer5f016e22007-07-11 17:01:13 +00001109// Finally, implement the code that groks the options above.
Chris Lattner5f9eae52008-03-01 08:07:28 +00001110
Reid Spencer5f016e22007-07-11 17:01:13 +00001111/// InitializeIncludePaths - Process the -I options and set them in the
1112/// HeaderSearch object.
Nico Weber0fca0222008-08-22 09:25:22 +00001113void InitializeIncludePaths(const char *Argv0, HeaderSearch &Headers,
1114 FileManager &FM, const LangOptions &Lang) {
1115 InitHeaderSearch Init(Headers, Verbose, isysroot);
1116
Ted Kremenekf3721112008-05-31 00:27:00 +00001117 // Handle -I... and -F... options, walking the lists in parallel.
1118 unsigned Iidx = 0, Fidx = 0;
1119 while (Iidx < I_dirs.size() && Fidx < F_dirs.size()) {
1120 if (I_dirs.getPosition(Iidx) < F_dirs.getPosition(Fidx)) {
Nico Weber0fca0222008-08-22 09:25:22 +00001121 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekf3721112008-05-31 00:27:00 +00001122 ++Iidx;
1123 } else {
Nico Weber0fca0222008-08-22 09:25:22 +00001124 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Ted Kremenekf3721112008-05-31 00:27:00 +00001125 ++Fidx;
1126 }
1127 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001128
Ted Kremenekf3721112008-05-31 00:27:00 +00001129 // Consume what's left from whatever list was longer.
1130 for (; Iidx != I_dirs.size(); ++Iidx)
Nico Weber0fca0222008-08-22 09:25:22 +00001131 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekf3721112008-05-31 00:27:00 +00001132 for (; Fidx != F_dirs.size(); ++Fidx)
Nico Weber0fca0222008-08-22 09:25:22 +00001133 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Reid Spencer5f016e22007-07-11 17:01:13 +00001134
1135 // Handle -idirafter... options.
1136 for (unsigned i = 0, e = idirafter_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001137 Init.AddPath(idirafter_dirs[i], InitHeaderSearch::After,
1138 false, true, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001139
1140 // Handle -iquote... options.
1141 for (unsigned i = 0, e = iquote_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001142 Init.AddPath(iquote_dirs[i], InitHeaderSearch::Quoted, false, true, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001143
1144 // Handle -isystem... options.
1145 for (unsigned i = 0, e = isystem_dirs.size(); i != e; ++i)
Nico Weber0fca0222008-08-22 09:25:22 +00001146 Init.AddPath(isystem_dirs[i], InitHeaderSearch::System, false, true, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001147
1148 // Walk the -iprefix/-iwithprefix/-iwithprefixbefore argument lists in
1149 // parallel, processing the values in order of occurance to get the right
1150 // prefixes.
1151 {
1152 std::string Prefix = ""; // FIXME: this isn't the correct default prefix.
1153 unsigned iprefix_idx = 0;
1154 unsigned iwithprefix_idx = 0;
1155 unsigned iwithprefixbefore_idx = 0;
1156 bool iprefix_done = iprefix_vals.empty();
1157 bool iwithprefix_done = iwithprefix_vals.empty();
1158 bool iwithprefixbefore_done = iwithprefixbefore_vals.empty();
1159 while (!iprefix_done || !iwithprefix_done || !iwithprefixbefore_done) {
1160 if (!iprefix_done &&
1161 (iwithprefix_done ||
1162 iprefix_vals.getPosition(iprefix_idx) <
1163 iwithprefix_vals.getPosition(iwithprefix_idx)) &&
1164 (iwithprefixbefore_done ||
1165 iprefix_vals.getPosition(iprefix_idx) <
1166 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
1167 Prefix = iprefix_vals[iprefix_idx];
1168 ++iprefix_idx;
1169 iprefix_done = iprefix_idx == iprefix_vals.size();
1170 } else if (!iwithprefix_done &&
1171 (iwithprefixbefore_done ||
1172 iwithprefix_vals.getPosition(iwithprefix_idx) <
1173 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
Nico Weber0fca0222008-08-22 09:25:22 +00001174 Init.AddPath(Prefix+iwithprefix_vals[iwithprefix_idx],
1175 InitHeaderSearch::System, false, false, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001176 ++iwithprefix_idx;
1177 iwithprefix_done = iwithprefix_idx == iwithprefix_vals.size();
1178 } else {
Nico Weber0fca0222008-08-22 09:25:22 +00001179 Init.AddPath(Prefix+iwithprefixbefore_vals[iwithprefixbefore_idx],
1180 InitHeaderSearch::Angled, false, false, false);
Reid Spencer5f016e22007-07-11 17:01:13 +00001181 ++iwithprefixbefore_idx;
1182 iwithprefixbefore_done =
1183 iwithprefixbefore_idx == iwithprefixbefore_vals.size();
1184 }
1185 }
1186 }
Chris Lattner5f9eae52008-03-01 08:07:28 +00001187
Nico Weber0fca0222008-08-22 09:25:22 +00001188 Init.AddDefaultEnvVarPaths(Lang);
Chris Lattner5f9eae52008-03-01 08:07:28 +00001189
Daniel Dunbaradcf5b32009-02-21 20:52:41 +00001190 // Add the clang headers, which are relative to the clang binary.
Chris Lattnerdcaa0962008-03-03 03:16:03 +00001191 llvm::sys::Path MainExecutablePath =
Chris Lattner985e1822008-03-03 05:57:43 +00001192 llvm::sys::Path::GetMainExecutable(Argv0,
1193 (void*)(intptr_t)InitializeIncludePaths);
Chris Lattnerdcaa0962008-03-03 03:16:03 +00001194 if (!MainExecutablePath.isEmpty()) {
1195 MainExecutablePath.eraseComponent(); // Remove /clang from foo/bin/clang
1196 MainExecutablePath.eraseComponent(); // Remove /bin from foo/bin
Daniel Dunbaradcf5b32009-02-21 20:52:41 +00001197
Daniel Dunbarfb4ac7b2009-05-06 03:48:17 +00001198 // Get foo/lib/clang/<version>/include
Daniel Dunbaradcf5b32009-02-21 20:52:41 +00001199 MainExecutablePath.appendComponent("lib");
1200 MainExecutablePath.appendComponent("clang");
Daniel Dunbarfb4ac7b2009-05-06 03:48:17 +00001201 MainExecutablePath.appendComponent(CLANG_VERSION_STRING);
Daniel Dunbaradcf5b32009-02-21 20:52:41 +00001202 MainExecutablePath.appendComponent("include");
Chris Lattner6858dd32009-02-19 06:48:28 +00001203
1204 // We pass true to ignore sysroot so that we *always* look for clang headers
1205 // relative to our executable, never relative to -isysroot.
1206 Init.AddPath(MainExecutablePath.c_str(), InitHeaderSearch::System,
1207 false, false, false, true /*ignore sysroot*/);
Chris Lattnerdcaa0962008-03-03 03:16:03 +00001208 }
1209
Nico Weber0fca0222008-08-22 09:25:22 +00001210 if (!nostdinc)
1211 Init.AddDefaultSystemIncludePaths(Lang);
Reid Spencer5f016e22007-07-11 17:01:13 +00001212
1213 // Now that we have collected all of the include paths, merge them all
1214 // together and tell the preprocessor about them.
1215
Nico Weber0fca0222008-08-22 09:25:22 +00001216 Init.Realize();
Reid Spencer5f016e22007-07-11 17:01:13 +00001217}
1218
Chris Lattnere116ccf2009-04-21 05:40:52 +00001219void InitializePreprocessorInitOptions(PreprocessorInitOptions &InitOpts)
1220{
1221 // Add macros from the command line.
1222 unsigned d = 0, D = D_macros.size();
1223 unsigned u = 0, U = U_macros.size();
1224 while (d < D || u < U) {
1225 if (u == U || (d < D && D_macros.getPosition(d) < U_macros.getPosition(u)))
1226 InitOpts.addMacroDef(D_macros[d++]);
1227 else
1228 InitOpts.addMacroUndef(U_macros[u++]);
1229 }
1230
1231 // If -imacros are specified, include them now. These are processed before
1232 // any -include directives.
1233 for (unsigned i = 0, e = ImplicitMacroIncludes.size(); i != e; ++i)
1234 InitOpts.addMacroInclude(ImplicitMacroIncludes[i]);
1235
Douglas Gregorb64c1932009-05-12 01:31:05 +00001236 if (!ImplicitIncludePTH.empty() || !ImplicitIncludes.empty() ||
1237 (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001238 // We want to add these paths to the predefines buffer in order, make a
1239 // temporary vector to sort by their occurrence.
1240 llvm::SmallVector<std::pair<unsigned, std::string*>, 8> OrderedPaths;
1241
1242 if (!ImplicitIncludePTH.empty())
1243 OrderedPaths.push_back(std::make_pair(ImplicitIncludePTH.getPosition(),
1244 &ImplicitIncludePTH));
Douglas Gregorb64c1932009-05-12 01:31:05 +00001245 if (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)
1246 OrderedPaths.push_back(std::make_pair(ImplicitIncludePCH.getPosition(),
1247 &ImplicitIncludePCH));
Chris Lattnere116ccf2009-04-21 05:40:52 +00001248 for (unsigned i = 0, e = ImplicitIncludes.size(); i != e; ++i)
1249 OrderedPaths.push_back(std::make_pair(ImplicitIncludes.getPosition(i),
1250 &ImplicitIncludes[i]));
1251 llvm::array_pod_sort(OrderedPaths.begin(), OrderedPaths.end());
1252
1253
1254 // Now that they are ordered by position, add to the predefines buffer.
1255 for (unsigned i = 0, e = OrderedPaths.size(); i != e; ++i) {
1256 std::string *Ptr = OrderedPaths[i].second;
1257 if (!ImplicitIncludes.empty() &&
1258 Ptr >= &ImplicitIncludes[0] &&
1259 Ptr <= &ImplicitIncludes[ImplicitIncludes.size()-1]) {
1260 InitOpts.addInclude(*Ptr, false);
Douglas Gregorb64c1932009-05-12 01:31:05 +00001261 } else if (Ptr == &ImplicitIncludePTH) {
Chris Lattnere116ccf2009-04-21 05:40:52 +00001262 InitOpts.addInclude(*Ptr, true);
Douglas Gregorb64c1932009-05-12 01:31:05 +00001263 } else {
1264 // We end up here when we're producing preprocessed output and
1265 // we loaded a PCH file. In this case, just include the header
1266 // file that was used to build the precompiled header.
1267 assert(Ptr == &ImplicitIncludePCH);
1268 std::string OriginalFile = PCHReader::getOriginalSourceFile(*Ptr);
1269 if (!OriginalFile.empty()) {
1270 InitOpts.addInclude(OriginalFile, false);
1271 ImplicitIncludePCH.clear();
1272 }
Chris Lattnere116ccf2009-04-21 05:40:52 +00001273 }
1274 }
1275 }
1276}
1277
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001278//===----------------------------------------------------------------------===//
1279// Driver PreprocessorFactory - For lazily generating preprocessors ...
1280//===----------------------------------------------------------------------===//
1281
1282namespace {
1283class VISIBILITY_HIDDEN DriverPreprocessorFactory : public PreprocessorFactory {
1284 Diagnostic &Diags;
1285 const LangOptions &LangInfo;
1286 TargetInfo &Target;
1287 SourceManager &SourceMgr;
1288 HeaderSearch &HeaderInfo;
Ted Kremenek339b9c22008-04-17 22:31:54 +00001289
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001290public:
Eli Friedmanf086e3b2009-05-18 07:39:39 +00001291 DriverPreprocessorFactory(Diagnostic &diags, const LangOptions &opts,
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001292 TargetInfo &target, SourceManager &SM,
1293 HeaderSearch &Headers)
Eli Friedmanf086e3b2009-05-18 07:39:39 +00001294 : Diags(diags), LangInfo(opts), Target(target),
Douglas Gregore1d918e2009-04-10 23:10:45 +00001295 SourceMgr(SM), HeaderInfo(Headers) {}
Ted Kremenek339b9c22008-04-17 22:31:54 +00001296
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001297
1298 virtual ~DriverPreprocessorFactory() {}
1299
1300 virtual Preprocessor* CreatePreprocessor() {
Ted Kremenek72b1b152009-01-15 18:47:46 +00001301 llvm::OwningPtr<PTHManager> PTHMgr;
1302
Ted Kremenek748d5d62009-03-20 00:26:38 +00001303 if (!TokenCache.empty() && !ImplicitIncludePTH.empty()) {
1304 fprintf(stderr, "error: cannot use both -token-cache and -include-pth "
1305 "options\n");
Ted Kremenek22f0d092009-03-22 06:42:39 +00001306 exit(1);
Ted Kremenek748d5d62009-03-20 00:26:38 +00001307 }
1308
Ted Kremenek72b1b152009-01-15 18:47:46 +00001309 // Use PTH?
Ted Kremenek748d5d62009-03-20 00:26:38 +00001310 if (!TokenCache.empty() || !ImplicitIncludePTH.empty()) {
1311 const std::string& x = TokenCache.empty() ? ImplicitIncludePTH:TokenCache;
Ted Kremenek22f0d092009-03-22 06:42:39 +00001312 PTHMgr.reset(PTHManager::Create(x, &Diags,
1313 TokenCache.empty() ? Diagnostic::Error
1314 : Diagnostic::Warning));
Ted Kremenek748d5d62009-03-20 00:26:38 +00001315 }
Ted Kremenek72b1b152009-01-15 18:47:46 +00001316
Ted Kremenek22f0d092009-03-22 06:42:39 +00001317 if (Diags.hasErrorOccurred())
1318 exit(1);
1319
Ted Kremenek72b1b152009-01-15 18:47:46 +00001320 // Create the Preprocessor.
1321 llvm::OwningPtr<Preprocessor> PP(new Preprocessor(Diags, LangInfo, Target,
1322 SourceMgr, HeaderInfo,
1323 PTHMgr.get()));
1324
1325 // Note that this is different then passing PTHMgr to Preprocessor's ctor.
1326 // That argument is used as the IdentifierInfoLookup argument to
1327 // IdentifierTable's ctor.
1328 if (PTHMgr) {
1329 PTHMgr->setPreprocessor(PP.get());
1330 PP->setPTHManager(PTHMgr.take());
1331 }
Douglas Gregor14f79002009-04-10 03:52:48 +00001332
Chris Lattnere116ccf2009-04-21 05:40:52 +00001333 PreprocessorInitOptions InitOpts;
1334 InitializePreprocessorInitOptions(InitOpts);
Eli Friedmanf086e3b2009-05-18 07:39:39 +00001335 if (InitializePreprocessor(*PP, InitOpts))
Douglas Gregore1d918e2009-04-10 23:10:45 +00001336 return 0;
Chris Lattnere116ccf2009-04-21 05:40:52 +00001337
Douglas Gregore1d918e2009-04-10 23:10:45 +00001338 return PP.take();
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001339 }
1340};
1341}
Reid Spencer5f016e22007-07-11 17:01:13 +00001342
Reid Spencer5f016e22007-07-11 17:01:13 +00001343//===----------------------------------------------------------------------===//
1344// Basic Parser driver
1345//===----------------------------------------------------------------------===//
1346
Chris Lattner51574ea2008-04-19 23:25:44 +00001347static void ParseFile(Preprocessor &PP, MinimalAction *PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001348 Parser P(PP, *PA);
Ted Kremenek95041a22007-12-19 22:51:13 +00001349 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001350
1351 // Parsing the specified input file.
1352 P.ParseTranslationUnit();
1353 delete PA;
1354}
1355
1356//===----------------------------------------------------------------------===//
Daniel Dunbar70f92432008-10-23 05:50:47 +00001357// Code generation options
1358//===----------------------------------------------------------------------===//
1359
1360static llvm::cl::opt<bool>
Chris Lattner15104882009-03-09 22:05:03 +00001361GenerateDebugInfo("g",
1362 llvm::cl::desc("Generate source level debug information"));
1363
Daniel Dunbara034ba82009-02-17 19:47:34 +00001364static llvm::cl::opt<std::string>
1365TargetCPU("mcpu",
1366 llvm::cl::desc("Target a specific cpu type (-mcpu=help for details)"));
1367
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001368static llvm::cl::list<std::string>
1369TargetFeatures("target-feature", llvm::cl::desc("Target specific attributes"));
1370
Devang Patel24095da2009-06-04 23:32:02 +00001371
1372static llvm::cl::opt<bool>
1373DisableRedZone("disable-red-zone",
1374 llvm::cl::desc("Do not emit code that uses the red zone."),
1375 llvm::cl::init(false));
1376
Devang Patelacebb392009-06-05 22:05:48 +00001377static llvm::cl::opt<bool>
1378NoImplicitFloat("no-implicit-float",
1379 llvm::cl::desc("Don't generate implicit floating point instructions (x86-only)"),
1380 llvm::cl::init(false));
1381
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001382/// ComputeTargetFeatures - Recompute the target feature list to only
1383/// be the list of things that are enabled, based on the target cpu
1384/// and feature list.
1385static void ComputeFeatureMap(TargetInfo *Target,
1386 llvm::StringMap<bool> &Features) {
1387 assert(Features.empty() && "invalid map");
1388
1389 // Initialize the feature map based on the target.
1390 Target->getDefaultFeatures(TargetCPU, Features);
1391
1392 // Apply the user specified deltas.
1393 for (llvm::cl::list<std::string>::iterator it = TargetFeatures.begin(),
1394 ie = TargetFeatures.end(); it != ie; ++it) {
1395 const char *Name = it->c_str();
1396
1397 // FIXME: Don't handle errors like this.
1398 if (Name[0] != '-' && Name[0] != '+') {
1399 fprintf(stderr, "error: clang-cc: invalid target feature string: %s\n",
1400 Name);
1401 exit(1);
1402 }
Daniel Dunbar17ca3632009-05-06 21:07:50 +00001403 if (!Target->setFeatureEnabled(Features, Name + 1, (Name[0] == '+'))) {
1404 fprintf(stderr, "error: clang-cc: invalid target feature name: %s\n",
1405 Name + 1);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001406 exit(1);
1407 }
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001408 }
1409}
1410
Chris Lattner7afae712009-03-16 18:41:18 +00001411static void InitializeCompileOptions(CompileOptions &Opts,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001412 const LangOptions &LangOpts,
1413 const llvm::StringMap<bool> &Features) {
Daniel Dunbar70f92432008-10-23 05:50:47 +00001414 Opts.OptimizeSize = OptSize;
Chris Lattner20126042009-03-09 22:00:34 +00001415 Opts.DebugInfo = GenerateDebugInfo;
Daniel Dunbar877db382009-06-02 22:07:45 +00001416
1417 if (DisableLLVMOptimizations) {
1418 Opts.OptimizationLevel = 0;
1419 Opts.Inlining = CompileOptions::NoInlining;
Daniel Dunbarac7ffe02008-10-29 07:56:11 +00001420 } else {
Daniel Dunbar877db382009-06-02 22:07:45 +00001421 if (OptSize) {
1422 // -Os implies -O2
1423 Opts.OptimizationLevel = 2;
1424 } else {
1425 Opts.OptimizationLevel = OptLevel;
1426 }
1427
1428 // We must always run at least the always inlining pass.
1429 if (Opts.OptimizationLevel > 1)
1430 Opts.Inlining = CompileOptions::NormalInlining;
1431 else
1432 Opts.Inlining = CompileOptions::OnlyAlwaysInlining;
Daniel Dunbarac7ffe02008-10-29 07:56:11 +00001433 }
Daniel Dunbar8e8f3b72008-10-29 03:42:18 +00001434
1435 // FIXME: There are llvm-gcc options to control these selectively.
Daniel Dunbar8e8f3b72008-10-29 03:42:18 +00001436 Opts.UnrollLoops = (Opts.OptimizationLevel > 1 && !OptSize);
Chris Lattner7afae712009-03-16 18:41:18 +00001437 Opts.SimplifyLibCalls = !LangOpts.NoBuiltin;
Daniel Dunbardd913e52008-10-31 09:34:21 +00001438
1439#ifdef NDEBUG
1440 Opts.VerifyModule = 0;
1441#endif
Daniel Dunbara034ba82009-02-17 19:47:34 +00001442
1443 Opts.CPU = TargetCPU;
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001444 Opts.Features.clear();
1445 for (llvm::StringMap<bool>::const_iterator it = Features.begin(),
1446 ie = Features.end(); it != ie; ++it) {
1447 // FIXME: If we are completely confident that we have the right
1448 // set, we only need to pass the minuses.
1449 std::string Name(it->second ? "+" : "-");
1450 Name += it->first();
1451 Opts.Features.push_back(Name);
1452 }
Chris Lattner44502662009-02-18 01:23:44 +00001453
Chris Lattnerbd360642009-03-26 05:00:52 +00001454 Opts.NoCommon = NoCommon | LangOpts.CPlusPlus;
1455
Chris Lattner44502662009-02-18 01:23:44 +00001456 // Handle -ftime-report.
1457 Opts.TimePasses = TimeReport;
Devang Patel24095da2009-06-04 23:32:02 +00001458
1459 Opts.DisableRedZone = DisableRedZone;
Devang Patelacebb392009-06-05 22:05:48 +00001460 Opts.NoImplicitFloat = NoImplicitFloat;
Daniel Dunbar70f92432008-10-23 05:50:47 +00001461}
1462
1463//===----------------------------------------------------------------------===//
Douglas Gregor26df2f02009-04-02 19:05:20 +00001464// Fix-It Options
1465//===----------------------------------------------------------------------===//
1466static llvm::cl::list<ParsedSourceLocation>
1467FixItAtLocations("fixit-at", llvm::cl::value_desc("source-location"),
1468 llvm::cl::desc("Perform Fix-It modifications at the given source location"));
1469
1470//===----------------------------------------------------------------------===//
Eli Friedmanc6d656e2009-05-18 22:39:16 +00001471// ObjC Rewriter Options
1472//===----------------------------------------------------------------------===//
1473static llvm::cl::opt<bool>
1474SilenceRewriteMacroWarning("Wno-rewrite-macros", llvm::cl::init(false),
1475 llvm::cl::desc("Silence ObjC rewriting warnings"));
1476
1477//===----------------------------------------------------------------------===//
Eli Friedman0eeb86e2009-05-19 01:17:04 +00001478// Warning Options
1479//===----------------------------------------------------------------------===//
1480
1481// This gets all -W options, including -Werror, -W[no-]system-headers, etc. The
1482// driver has stripped off -Wa,foo etc. The driver has also translated -W to
1483// -Wextra, so we don't need to worry about it.
1484static llvm::cl::list<std::string>
1485OptWarnings("W", llvm::cl::Prefix, llvm::cl::ValueOptional);
1486
1487static llvm::cl::opt<bool> OptPedantic("pedantic");
1488static llvm::cl::opt<bool> OptPedanticErrors("pedantic-errors");
1489static llvm::cl::opt<bool> OptNoWarnings("w");
1490
1491//===----------------------------------------------------------------------===//
Eli Friedman12d3b1d2009-05-19 03:06:47 +00001492// Preprocessing (-E mode) Options
1493//===----------------------------------------------------------------------===//
1494static llvm::cl::opt<bool>
1495DisableLineMarkers("P", llvm::cl::desc("Disable linemarker output in -E mode"));
1496static llvm::cl::opt<bool>
1497EnableCommentOutput("C", llvm::cl::desc("Enable comment output in -E mode"));
1498static llvm::cl::opt<bool>
1499EnableMacroCommentOutput("CC",
1500 llvm::cl::desc("Enable comment output in -E mode, "
1501 "even from macro expansions"));
1502static llvm::cl::opt<bool>
1503DumpMacros("dM", llvm::cl::desc("Print macro definitions in -E mode instead of"
1504 " normal output"));
1505static llvm::cl::opt<bool>
1506DumpDefines("dD", llvm::cl::desc("Print macro definitions in -E mode in "
1507 "addition to normal output"));
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00001508
1509//===----------------------------------------------------------------------===//
1510// Dependency file options
1511//===----------------------------------------------------------------------===//
1512static llvm::cl::opt<std::string>
1513DependencyFile("dependency-file",
1514 llvm::cl::desc("Filename (or -) to write dependency output to"));
1515
1516static llvm::cl::opt<bool>
1517DependenciesIncludeSystemHeaders("sys-header-deps",
1518 llvm::cl::desc("Include system headers in dependency output"));
1519
1520static llvm::cl::list<std::string>
1521DependencyTargets("MT",
1522 llvm::cl::desc("Specify target for dependency"));
1523
1524// FIXME: Implement feature
1525static llvm::cl::opt<bool>
1526PhonyDependencyTarget("MP",
1527 llvm::cl::desc("Create phony target for each dependency "
1528 "(other than main file)"));
1529
Eli Friedman12d3b1d2009-05-19 03:06:47 +00001530//===----------------------------------------------------------------------===//
Eli Friedmane71b85f2009-05-19 10:18:02 +00001531// Analysis options
1532//===----------------------------------------------------------------------===//
1533
1534static llvm::cl::list<Analyses>
1535AnalysisList(llvm::cl::desc("Source Code Analysis - Checks and Analyses"),
1536llvm::cl::values(
1537#define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)\
1538clEnumValN(NAME, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001539#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001540clEnumValEnd));
1541
1542static llvm::cl::opt<AnalysisStores>
1543AnalysisStoreOpt("analyzer-store",
1544 llvm::cl::desc("Source Code Analysis - Abstract Memory Store Models"),
1545 llvm::cl::init(BasicStoreModel),
1546 llvm::cl::values(
1547#define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN)\
1548clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001549#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001550clEnumValEnd));
1551
1552static llvm::cl::opt<AnalysisConstraints>
1553AnalysisConstraintsOpt("analyzer-constraints",
1554 llvm::cl::desc("Source Code Analysis - Symbolic Constraint Engines"),
1555 llvm::cl::init(RangeConstraintsModel),
1556 llvm::cl::values(
1557#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)\
1558clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001559#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001560clEnumValEnd));
1561
1562static llvm::cl::opt<AnalysisDiagClients>
1563AnalysisDiagOpt("analyzer-output",
1564 llvm::cl::desc("Source Code Analysis - Output Options"),
1565 llvm::cl::init(PD_HTML),
1566 llvm::cl::values(
1567#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN, AUTOCREATE)\
1568clEnumValN(PD_##NAME, CMDFLAG, DESC),
Eli Friedman0ec78fa2009-05-19 21:10:40 +00001569#include "clang/Frontend/Analyses.def"
Eli Friedmane71b85f2009-05-19 10:18:02 +00001570clEnumValEnd));
1571
1572static llvm::cl::opt<bool>
1573VisualizeEGDot("analyzer-viz-egraph-graphviz",
1574 llvm::cl::desc("Display exploded graph using GraphViz"));
1575
1576static llvm::cl::opt<bool>
1577VisualizeEGUbi("analyzer-viz-egraph-ubigraph",
1578 llvm::cl::desc("Display exploded graph using Ubigraph"));
1579
1580static llvm::cl::opt<bool>
1581AnalyzeAll("analyzer-opt-analyze-headers",
1582 llvm::cl::desc("Force the static analyzer to analyze "
1583 "functions defined in header files"));
1584
1585static llvm::cl::opt<bool>
1586AnalyzerDisplayProgress("analyzer-display-progress",
1587 llvm::cl::desc("Emit verbose output about the analyzer's progress."));
1588
1589static llvm::cl::opt<bool>
1590PurgeDead("analyzer-purge-dead",
1591 llvm::cl::init(true),
1592 llvm::cl::desc("Remove dead symbols, bindings, and constraints before"
1593 " processing a statement."));
1594
1595static llvm::cl::opt<bool>
1596EagerlyAssume("analyzer-eagerly-assume",
1597 llvm::cl::init(false),
1598 llvm::cl::desc("Eagerly assume the truth/falseness of some "
1599 "symbolic constraints."));
1600
1601static llvm::cl::opt<std::string>
1602AnalyzeSpecificFunction("analyze-function",
1603 llvm::cl::desc("Run analysis on specific function"));
1604
1605static llvm::cl::opt<bool>
1606TrimGraph("trim-egraph",
1607 llvm::cl::desc("Only show error-related paths in the analysis graph"));
1608
1609static AnalyzerOptions ReadAnalyzerOptions() {
1610 AnalyzerOptions Opts;
1611 Opts.AnalysisList = AnalysisList;
1612 Opts.AnalysisStoreOpt = AnalysisStoreOpt;
1613 Opts.AnalysisConstraintsOpt = AnalysisConstraintsOpt;
1614 Opts.AnalysisDiagOpt = AnalysisDiagOpt;
1615 Opts.VisualizeEGDot = VisualizeEGDot;
1616 Opts.VisualizeEGUbi = VisualizeEGUbi;
1617 Opts.AnalyzeAll = AnalyzeAll;
1618 Opts.AnalyzerDisplayProgress = AnalyzerDisplayProgress;
1619 Opts.PurgeDead = PurgeDead;
1620 Opts.EagerlyAssume = EagerlyAssume;
1621 Opts.AnalyzeSpecificFunction = AnalyzeSpecificFunction;
1622 Opts.TrimGraph = TrimGraph;
1623 return Opts;
1624}
1625
1626//===----------------------------------------------------------------------===//
Chris Lattner75a97cb2009-04-17 21:05:01 +00001627// -dump-build-information Stuff
1628//===----------------------------------------------------------------------===//
1629
1630static llvm::cl::opt<std::string>
1631DumpBuildInformation("dump-build-information",
1632 llvm::cl::value_desc("filename"),
1633 llvm::cl::desc("output a dump of some build information to a file"));
1634
1635static llvm::raw_ostream *BuildLogFile = 0;
1636
1637/// LoggingDiagnosticClient - This is a simple diagnostic client that forwards
1638/// all diagnostics to both BuildLogFile and a chained DiagnosticClient.
1639namespace {
1640class LoggingDiagnosticClient : public DiagnosticClient {
1641 llvm::OwningPtr<DiagnosticClient> Chain1;
1642 llvm::OwningPtr<DiagnosticClient> Chain2;
1643public:
1644
1645 LoggingDiagnosticClient(DiagnosticClient *Normal) {
1646 // Output diags both where requested...
1647 Chain1.reset(Normal);
1648 // .. and to our log file.
1649 Chain2.reset(new TextDiagnosticPrinter(*BuildLogFile,
1650 !NoShowColumn,
1651 !NoCaretDiagnostics,
1652 !NoShowLocation,
1653 PrintSourceRangeInfo,
Chris Lattneraa5bf2e2009-04-19 07:44:08 +00001654 PrintDiagnosticOption,
Douglas Gregorfffd93f2009-05-01 21:53:04 +00001655 !NoDiagnosticsFixIt,
Nate Begeman4e3629e2009-06-25 22:43:10 +00001656 MessageLength));
Chris Lattner75a97cb2009-04-17 21:05:01 +00001657 }
1658
1659 virtual void setLangOptions(const LangOptions *LO) {
1660 Chain1->setLangOptions(LO);
1661 Chain2->setLangOptions(LO);
1662 }
1663
1664 virtual bool IncludeInDiagnosticCounts() const {
1665 return Chain1->IncludeInDiagnosticCounts();
1666 }
1667
1668 virtual void HandleDiagnostic(Diagnostic::Level DiagLevel,
1669 const DiagnosticInfo &Info) {
1670 Chain1->HandleDiagnostic(DiagLevel, Info);
1671 Chain2->HandleDiagnostic(DiagLevel, Info);
1672 }
1673};
1674} // end anonymous namespace.
1675
1676static void SetUpBuildDumpLog(unsigned argc, char **argv,
1677 llvm::OwningPtr<DiagnosticClient> &DiagClient) {
1678
1679 std::string ErrorInfo;
1680 BuildLogFile = new llvm::raw_fd_ostream(DumpBuildInformation.c_str(), false,
1681 ErrorInfo);
1682
1683 if (!ErrorInfo.empty()) {
1684 llvm::errs() << "error opening -dump-build-information file '"
1685 << DumpBuildInformation << "', option ignored!\n";
1686 delete BuildLogFile;
1687 BuildLogFile = 0;
1688 DumpBuildInformation = "";
1689 return;
1690 }
1691
1692 (*BuildLogFile) << "clang-cc command line arguments: ";
1693 for (unsigned i = 0; i != argc; ++i)
1694 (*BuildLogFile) << argv[i] << ' ';
1695 (*BuildLogFile) << '\n';
1696
1697 // LoggingDiagnosticClient - Insert a new logging diagnostic client in between
1698 // the diagnostic producers and the normal receiver.
1699 DiagClient.reset(new LoggingDiagnosticClient(DiagClient.take()));
1700}
1701
1702
1703
1704//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +00001705// Main driver
1706//===----------------------------------------------------------------------===//
1707
Eli Friedman66d6f042009-05-18 22:20:00 +00001708static llvm::raw_ostream* ComputeOutFile(const std::string& InFile,
1709 const char* Extension,
1710 bool Binary,
1711 llvm::sys::Path& OutPath) {
1712 llvm::raw_ostream* Ret;
1713 bool UseStdout = false;
1714 std::string OutFile;
1715 if (OutputFile == "-" || (OutputFile.empty() && InFile == "-")) {
1716 UseStdout = true;
1717 } else if (!OutputFile.empty()) {
1718 OutFile = OutputFile;
1719 } else if (Extension) {
1720 llvm::sys::Path Path(InFile);
1721 Path.eraseSuffix();
1722 Path.appendSuffix(Extension);
1723 OutFile = Path.toString();
1724 } else {
1725 UseStdout = true;
Chris Lattner8a5c8092009-02-18 01:20:05 +00001726 }
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +00001727
Eli Friedman66d6f042009-05-18 22:20:00 +00001728 if (UseStdout) {
1729 Ret = new llvm::raw_stdout_ostream();
1730 if (Binary)
1731 llvm::sys::Program::ChangeStdoutToBinary();
1732 } else {
1733 std::string Error;
1734 Ret = new llvm::raw_fd_ostream(OutFile.c_str(), Binary, Error);
1735 if (!Error.empty()) {
1736 // FIXME: Don't fail this way.
1737 llvm::cerr << "ERROR: " << Error << "\n";
1738 ::exit(1);
1739 }
1740 OutPath = OutFile;
Ted Kremenekdb094a22007-12-05 18:27:04 +00001741 }
Eli Friedman66d6f042009-05-18 22:20:00 +00001742
1743 return Ret;
Ted Kremenekdb094a22007-12-05 18:27:04 +00001744}
1745
Reid Spencer5f016e22007-07-11 17:01:13 +00001746/// ProcessInputFile - Process a single input file with the specified state.
1747///
Ted Kremenek339b9c22008-04-17 22:31:54 +00001748static void ProcessInputFile(Preprocessor &PP, PreprocessorFactory &PPF,
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00001749 const std::string &InFile, ProgActions PA,
Owen Anderson42253cc2009-07-01 17:00:06 +00001750 const llvm::StringMap<bool> &Features,
1751 llvm::LLVMContext* Context) {
Eli Friedman66d6f042009-05-18 22:20:00 +00001752 llvm::OwningPtr<llvm::raw_ostream> OS;
Ted Kremenek7e7e6252008-08-08 02:46:37 +00001753 llvm::OwningPtr<ASTConsumer> Consumer;
Chris Lattnerbd247762007-07-22 06:05:44 +00001754 bool ClearSourceMgr = false;
Douglas Gregor558cb562009-04-02 01:08:08 +00001755 FixItRewriter *FixItRewrite = 0;
Douglas Gregorf807fe02009-04-14 16:27:31 +00001756 bool CompleteTranslationUnit = true;
Eli Friedman66d6f042009-05-18 22:20:00 +00001757 llvm::sys::Path OutPath;
Douglas Gregor558cb562009-04-02 01:08:08 +00001758
Ted Kremenek85888962008-10-21 00:54:44 +00001759 switch (PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001760 default:
Eli Friedman66d6f042009-05-18 22:20:00 +00001761 fprintf(stderr, "Unexpected program action!\n");
1762 HadErrors = true;
1763 return;
1764
1765 case ASTPrint:
1766 OS.reset(ComputeOutFile(InFile, 0, false, OutPath));
1767 Consumer.reset(CreateASTPrinter(OS.get()));
1768 break;
Ted Kremenekdb094a22007-12-05 18:27:04 +00001769
Douglas Gregoree75c052009-05-21 20:55:50 +00001770 case ASTPrintXML:
1771 OS.reset(ComputeOutFile(InFile, "xml", false, OutPath));
1772 Consumer.reset(CreateASTPrinterXML(OS.get()));
1773 break;
1774
Eli Friedman66d6f042009-05-18 22:20:00 +00001775 case ASTDump:
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +00001776 Consumer.reset(CreateASTDumper());
Eli Friedman66d6f042009-05-18 22:20:00 +00001777 break;
1778
Eli Friedman66d6f042009-05-18 22:20:00 +00001779 case ASTView:
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +00001780 Consumer.reset(CreateASTViewer());
Eli Friedman66d6f042009-05-18 22:20:00 +00001781 break;
1782
1783 case PrintDeclContext:
1784 Consumer.reset(CreateDeclContextPrinter());
1785 break;
1786
1787 case EmitHTML:
1788 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1789 Consumer.reset(CreateHTMLPrinter(OS.get(), PP.getDiagnostics(), &PP, &PPF));
1790 break;
1791
1792 case InheritanceView:
1793 Consumer.reset(CreateInheritanceViewer(InheritanceViewCls));
1794 break;
1795
1796 case EmitAssembly:
1797 case EmitLLVM:
1798 case EmitBC:
1799 case EmitLLVMOnly: {
1800 BackendAction Act;
1801 if (ProgAction == EmitAssembly) {
1802 Act = Backend_EmitAssembly;
1803 OS.reset(ComputeOutFile(InFile, "s", true, OutPath));
1804 } else if (ProgAction == EmitLLVM) {
1805 Act = Backend_EmitLL;
1806 OS.reset(ComputeOutFile(InFile, "ll", true, OutPath));
1807 } else if (ProgAction == EmitLLVMOnly) {
1808 Act = Backend_EmitNothing;
1809 } else {
1810 Act = Backend_EmitBC;
1811 OS.reset(ComputeOutFile(InFile, "bc", true, OutPath));
Ted Kremenekdb094a22007-12-05 18:27:04 +00001812 }
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001813
Eli Friedman66d6f042009-05-18 22:20:00 +00001814 CompileOptions Opts;
1815 InitializeCompileOptions(Opts, PP.getLangOptions(), Features);
1816 Consumer.reset(CreateBackendConsumer(Act, PP.getDiagnostics(),
1817 PP.getLangOptions(), Opts, InFile,
Owen Anderson42253cc2009-07-01 17:00:06 +00001818 OS.get(), Context));
Ted Kremenekdb094a22007-12-05 18:27:04 +00001819 break;
Eli Friedman66d6f042009-05-18 22:20:00 +00001820 }
1821
1822 case GeneratePCH:
1823 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1824 Consumer.reset(CreatePCHGenerator(PP, OS.get()));
1825 CompleteTranslationUnit = false;
1826 break;
1827
1828 case RewriteObjC:
1829 OS.reset(ComputeOutFile(InFile, "cpp", true, OutPath));
Eli Friedmanbce831b2009-05-18 22:29:17 +00001830 Consumer.reset(CreateObjCRewriter(InFile, OS.get(), PP.getDiagnostics(),
Eli Friedmanc6d656e2009-05-18 22:39:16 +00001831 PP.getLangOptions(),
1832 SilenceRewriteMacroWarning));
Eli Friedman66d6f042009-05-18 22:20:00 +00001833 break;
1834
1835 case RewriteBlocks:
1836 Consumer.reset(CreateBlockRewriter(InFile, PP.getDiagnostics(),
1837 PP.getLangOptions()));
1838 break;
1839
Eli Friedmane71b85f2009-05-19 10:18:02 +00001840 case RunAnalysis: {
Eli Friedman66d6f042009-05-18 22:20:00 +00001841 Consumer.reset(CreateAnalysisConsumer(PP.getDiagnostics(), &PP, &PPF,
Eli Friedmane71b85f2009-05-19 10:18:02 +00001842 PP.getLangOptions(), OutputFile,
1843 ReadAnalyzerOptions()));
Eli Friedman66d6f042009-05-18 22:20:00 +00001844 break;
Eli Friedmane71b85f2009-05-19 10:18:02 +00001845 }
Eli Friedman66d6f042009-05-18 22:20:00 +00001846
Chris Lattnerc106c102008-10-12 05:03:36 +00001847 case DumpRawTokens: {
Chris Lattner47099742009-02-18 01:51:21 +00001848 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattnerc106c102008-10-12 05:03:36 +00001849 SourceManager &SM = PP.getSourceManager();
Chris Lattnerc106c102008-10-12 05:03:36 +00001850 // Start lexing the specified input file.
Chris Lattner025c3a62009-01-17 07:35:14 +00001851 Lexer RawLex(SM.getMainFileID(), SM, PP.getLangOptions());
Chris Lattnerc106c102008-10-12 05:03:36 +00001852 RawLex.SetKeepWhitespaceMode(true);
1853
1854 Token RawTok;
Chris Lattnerc106c102008-10-12 05:03:36 +00001855 RawLex.LexFromRawLexer(RawTok);
1856 while (RawTok.isNot(tok::eof)) {
1857 PP.DumpToken(RawTok, true);
1858 fprintf(stderr, "\n");
1859 RawLex.LexFromRawLexer(RawTok);
1860 }
1861 ClearSourceMgr = true;
1862 break;
1863 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001864 case DumpTokens: { // Token dump mode.
Chris Lattner47099742009-02-18 01:51:21 +00001865 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattnerd2177732007-07-20 16:59:19 +00001866 Token Tok;
Chris Lattnerc106c102008-10-12 05:03:36 +00001867 // Start preprocessing the specified input file.
Ted Kremenek95041a22007-12-19 22:51:13 +00001868 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001869 do {
1870 PP.Lex(Tok);
1871 PP.DumpToken(Tok, true);
1872 fprintf(stderr, "\n");
Chris Lattner057aaf62007-10-09 18:03:42 +00001873 } while (Tok.isNot(tok::eof));
Chris Lattnerbd247762007-07-22 06:05:44 +00001874 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001875 break;
1876 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001877 case RunPreprocessorOnly:
Reid Spencer5f016e22007-07-11 17:01:13 +00001878 break;
Ted Kremenek85888962008-10-21 00:54:44 +00001879
Douglas Gregorbf1bd6e2009-04-02 23:43:50 +00001880 case GeneratePTH: {
Chris Lattner47099742009-02-18 01:51:21 +00001881 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmanf54fce82009-05-19 01:02:07 +00001882 if (OutputFile.empty() || OutputFile == "-") {
1883 // FIXME: Don't fail this way.
1884 // FIXME: Verify that we can actually seek in the given file.
1885 llvm::cerr << "ERROR: PTH requires an seekable file for output!\n";
1886 ::exit(1);
1887 }
1888 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1889 CacheTokens(PP, static_cast<llvm::raw_fd_ostream*>(OS.get()));
Ted Kremenek85888962008-10-21 00:54:44 +00001890 ClearSourceMgr = true;
1891 break;
1892 }
Douglas Gregor6ab35242009-04-09 21:40:53 +00001893
Chris Lattnercc7dea82009-04-27 22:02:30 +00001894 case PrintPreprocessedInput:
Eli Friedmanf54fce82009-05-19 01:02:07 +00001895 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Reid Spencer5f016e22007-07-11 17:01:13 +00001896 break;
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001897
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001898 case ParseNoop:
Reid Spencer5f016e22007-07-11 17:01:13 +00001899 break;
1900
Chris Lattner47099742009-02-18 01:51:21 +00001901 case ParsePrintCallbacks: {
1902 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmanf54fce82009-05-19 01:02:07 +00001903 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1904 ParseFile(PP, CreatePrintParserActionsAction(PP, OS.get()));
Chris Lattnerbd247762007-07-22 06:05:44 +00001905 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001906 break;
Chris Lattner47099742009-02-18 01:51:21 +00001907 }
1908
1909 case ParseSyntaxOnly: { // -fsyntax-only
1910 llvm::TimeRegion Timer(ClangFrontendTimer);
Ted Kremenek7e7e6252008-08-08 02:46:37 +00001911 Consumer.reset(new ASTConsumer());
Ted Kremenek2bf55142007-09-17 20:49:30 +00001912 break;
Chris Lattner47099742009-02-18 01:51:21 +00001913 }
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001914
1915 case RewriteMacros:
Eli Friedmanf54fce82009-05-19 01:02:07 +00001916 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1917 RewriteMacrosInInput(PP, OS.get());
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001918 ClearSourceMgr = true;
1919 break;
Chris Lattnerb13c5ee2008-10-12 05:29:20 +00001920
Eli Friedmanf54fce82009-05-19 01:02:07 +00001921 case RewriteTest:
1922 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1923 DoRewriteTest(PP, OS.get());
Chris Lattnerb13c5ee2008-10-12 05:29:20 +00001924 ClearSourceMgr = true;
1925 break;
Douglas Gregor558cb562009-04-02 01:08:08 +00001926
1927 case FixIt:
1928 llvm::TimeRegion Timer(ClangFrontendTimer);
1929 Consumer.reset(new ASTConsumer());
Douglas Gregorde4bf6a2009-04-02 17:13:00 +00001930 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
Chris Lattner2c78b872009-04-14 23:22:57 +00001931 PP.getSourceManager(),
1932 PP.getLangOptions());
Douglas Gregor558cb562009-04-02 01:08:08 +00001933 break;
Chris Lattner47099742009-02-18 01:51:21 +00001934 }
Ted Kremenek46157b52009-01-28 04:29:29 +00001935
Chris Lattner1aee61a2009-04-27 21:25:27 +00001936 if (FixItAtLocations.size() > 0) {
1937 // Even without the "-fixit" flag, with may have some specific
1938 // locations where the user has requested fixes. Process those
1939 // locations now.
1940 if (!FixItRewrite)
1941 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
1942 PP.getSourceManager(),
1943 PP.getLangOptions());
Chris Lattner9ecd26a2009-03-28 01:37:17 +00001944
Chris Lattner1aee61a2009-04-27 21:25:27 +00001945 bool AddedFixitLocation = false;
1946 for (unsigned Idx = 0, Last = FixItAtLocations.size();
1947 Idx != Last; ++Idx) {
1948 RequestedSourceLocation Requested;
Argyrios Kyrtzidis34d25d82009-06-23 22:01:39 +00001949 if (ResolveParsedLocation(FixItAtLocations[Idx],
1950 PP.getFileManager(), Requested)) {
Chris Lattner1aee61a2009-04-27 21:25:27 +00001951 fprintf(stderr, "FIX-IT could not find file \"%s\"\n",
1952 FixItAtLocations[Idx].FileName.c_str());
1953 } else {
1954 FixItRewrite->addFixItLocation(Requested);
1955 AddedFixitLocation = true;
Douglas Gregor26df2f02009-04-02 19:05:20 +00001956 }
1957 }
1958
Chris Lattner1aee61a2009-04-27 21:25:27 +00001959 if (!AddedFixitLocation) {
1960 // All of the fix-it locations were bad. Don't fix anything.
1961 delete FixItRewrite;
1962 FixItRewrite = 0;
1963 }
1964 }
1965
1966 llvm::OwningPtr<ASTContext> ContextOwner;
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001967 if (Consumer)
Chris Lattner9ecd26a2009-03-28 01:37:17 +00001968 ContextOwner.reset(new ASTContext(PP.getLangOptions(),
1969 PP.getSourceManager(),
1970 PP.getTargetInfo(),
1971 PP.getIdentifierTable(),
1972 PP.getSelectorTable(),
Chris Lattner1b63e4f2009-06-14 01:54:56 +00001973 PP.getBuiltinInfo(),
Douglas Gregor2deaea32009-04-22 18:49:13 +00001974 /* FreeMemory = */ !DisableFree,
Chris Lattner1b63e4f2009-06-14 01:54:56 +00001975 /* size_reserve = */0));
1976
Chris Lattnercc7dea82009-04-27 22:02:30 +00001977 llvm::OwningPtr<PCHReader> Reader;
1978 llvm::OwningPtr<ExternalASTSource> Source;
1979
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001980 if (!ImplicitIncludePCH.empty()) {
Chris Lattnercc7dea82009-04-27 22:02:30 +00001981 Reader.reset(new PCHReader(PP, ContextOwner.get()));
1982
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001983 // The user has asked us to include a precompiled header. Load
1984 // the precompiled header into the AST context.
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001985 switch (Reader->ReadPCH(ImplicitIncludePCH)) {
1986 case PCHReader::Success: {
Douglas Gregore721f952009-04-28 18:58:38 +00001987 // Set the predefines buffer as suggested by the PCH
1988 // reader. Typically, the predefines buffer will be empty.
1989 PP.setPredefines(Reader->getSuggestedPredefines());
1990
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001991 // Attach the PCH reader to the AST context as an external AST
1992 // source, so that declarations will be deserialized from the
1993 // PCH file as needed.
Chris Lattnercc7dea82009-04-27 22:02:30 +00001994 if (ContextOwner) {
1995 Source.reset(Reader.take());
Douglas Gregore1d918e2009-04-10 23:10:45 +00001996 ContextOwner->setExternalSource(Source);
Chris Lattnercc7dea82009-04-27 22:02:30 +00001997 }
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001998 break;
Douglas Gregor2cf26342009-04-09 22:27:44 +00001999 }
2000
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002001 case PCHReader::Failure:
2002 // Unrecoverable failure: don't even try to process the input
2003 // file.
2004 return;
2005
2006 case PCHReader::IgnorePCH:
Douglas Gregor1ab86ac2009-04-28 22:01:16 +00002007 // No suitable PCH file could be found. Return an error.
2008 return;
2009
2010#if 0
2011 // FIXME: We can recover from failed attempts to load PCH
2012 // files. This code will do so, if we ever want to enable it.
2013
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002014 // We delayed the initialization of builtins in the hope of
2015 // loading the PCH file. Since the PCH file could not be
2016 // loaded, initialize builtins now.
2017 if (ContextOwner)
2018 ContextOwner->InitializeBuiltins(PP.getIdentifierTable());
Douglas Gregor1ab86ac2009-04-28 22:01:16 +00002019#endif
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002020 }
2021
2022 // Finish preprocessor initialization. We do this now (rather
2023 // than earlier) because this initialization creates new source
2024 // location entries in the source manager, which must come after
2025 // the source location entries for the PCH file.
2026 if (InitializeSourceManager(PP, InFile))
2027 return;
Ted Kremenek46157b52009-01-28 04:29:29 +00002028 }
Daniel Dunbar879c3ea2008-10-27 22:03:52 +00002029
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002030
2031 // If we have an ASTConsumer, run the parser with it.
2032 if (Consumer)
2033 ParseAST(PP, Consumer.get(), *ContextOwner.get(), Stats,
2034 CompleteTranslationUnit);
2035
2036 if (PA == RunPreprocessorOnly) { // Just lex as fast as we can, no output.
2037 llvm::TimeRegion Timer(ClangFrontendTimer);
2038 Token Tok;
2039 // Start parsing the specified input file.
2040 PP.EnterMainSourceFile();
2041 do {
2042 PP.Lex(Tok);
2043 } while (Tok.isNot(tok::eof));
2044 ClearSourceMgr = true;
2045 } else if (PA == ParseNoop) { // -parse-noop
2046 llvm::TimeRegion Timer(ClangFrontendTimer);
2047 ParseFile(PP, new MinimalAction(PP));
2048 ClearSourceMgr = true;
Chris Lattnercc7dea82009-04-27 22:02:30 +00002049 } else if (PA == PrintPreprocessedInput){ // -E mode.
2050 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedman12d3b1d2009-05-19 03:06:47 +00002051 if (DumpMacros)
2052 DoPrintMacros(PP, OS.get());
2053 else
2054 DoPrintPreprocessedInput(PP, OS.get(), EnableCommentOutput,
2055 EnableMacroCommentOutput,
2056 DisableLineMarkers, DumpDefines);
Chris Lattnercc7dea82009-04-27 22:02:30 +00002057 ClearSourceMgr = true;
Chris Lattnerd1d64a02009-04-27 21:45:14 +00002058 }
2059
Chris Lattner1aee61a2009-04-27 21:25:27 +00002060 if (FixItRewrite)
2061 FixItRewrite->WriteFixedFile(InFile, OutputFile);
2062
2063 // If in -disable-free mode, don't deallocate ASTContext.
2064 if (DisableFree)
2065 ContextOwner.take();
2066 else
2067 ContextOwner.reset(); // Delete ASTContext
Eli Friedman66d6f042009-05-18 22:20:00 +00002068
Daniel Dunbar879c3ea2008-10-27 22:03:52 +00002069 if (VerifyDiagnostics)
Daniel Dunbar276373d2008-10-27 22:10:13 +00002070 if (CheckDiagnostics(PP))
2071 exit(1);
Chris Lattnere66b65c2008-02-06 01:42:25 +00002072
Reid Spencer5f016e22007-07-11 17:01:13 +00002073 if (Stats) {
Ted Kremenekfdfc1982007-12-19 22:24:34 +00002074 fprintf(stderr, "\nSTATISTICS FOR '%s':\n", InFile.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +00002075 PP.PrintStats();
2076 PP.getIdentifierTable().PrintStats();
Chris Lattnerdee73592007-12-15 20:48:40 +00002077 PP.getHeaderSearchInfo().PrintStats();
Ted Kremenek1b95a652009-01-09 18:20:21 +00002078 PP.getSourceManager().PrintStats();
Reid Spencer5f016e22007-07-11 17:01:13 +00002079 fprintf(stderr, "\n");
2080 }
Chris Lattnerbd247762007-07-22 06:05:44 +00002081
2082 // For a multi-file compilation, some things are ok with nuking the source
2083 // manager tables, other require stable fileid/macroid's across multiple
2084 // files.
Chris Lattnerdee73592007-12-15 20:48:40 +00002085 if (ClearSourceMgr)
2086 PP.getSourceManager().clearIDTables();
Daniel Dunbard68ba0e2008-11-11 06:35:39 +00002087
2088 if (DisableFree)
2089 Consumer.take();
Eli Friedman66d6f042009-05-18 22:20:00 +00002090 else
2091 Consumer.reset();
2092
2093 // Always delete the output stream because we don't want to leak file
2094 // handles. Also, we don't want to try to erase an open file.
2095 OS.reset();
2096
2097 if ((HadErrors || (PP.getDiagnostics().getNumErrors() != 0)) &&
2098 !OutPath.isEmpty()) {
2099 // If we had errors, try to erase the output file.
2100 OutPath.eraseFromDisk();
2101 }
Reid Spencer5f016e22007-07-11 17:01:13 +00002102}
2103
2104static llvm::cl::list<std::string>
2105InputFilenames(llvm::cl::Positional, llvm::cl::desc("<input files>"));
2106
Reid Spencer5f016e22007-07-11 17:01:13 +00002107int main(int argc, char **argv) {
Reid Spencer5f016e22007-07-11 17:01:13 +00002108 llvm::sys::PrintStackTraceOnErrorSignal();
Chris Lattner09e94a32009-03-04 21:41:39 +00002109 llvm::PrettyStackTraceProgram X(argc, argv);
Owen Anderson42253cc2009-07-01 17:00:06 +00002110 llvm::LLVMContext Context;
Chris Lattnerdc763102009-03-06 05:38:04 +00002111 llvm::cl::ParseCommandLineOptions(argc, argv,
Chris Lattner110e4782009-03-06 05:38:25 +00002112 "LLVM 'Clang' Compiler: http://clang.llvm.org\n");
Owen Anderson42253cc2009-07-01 17:00:06 +00002113
Chris Lattner2fe11942009-06-17 17:25:50 +00002114 llvm::InitializeAllTargets();
2115 llvm::InitializeAllAsmPrinters();
2116
Chris Lattner47099742009-02-18 01:51:21 +00002117 if (TimeReport)
2118 ClangFrontendTimer = new llvm::Timer("Clang front-end time");
2119
Daniel Dunbar08e6dc62009-05-28 16:37:33 +00002120 if (Verbose)
2121 fprintf(stderr, "clang-cc version 1.0 based upon " PACKAGE_STRING
2122 " hosted on " LLVM_HOSTTRIPLE "\n");
2123
Reid Spencer5f016e22007-07-11 17:01:13 +00002124 // If no input was specified, read from stdin.
2125 if (InputFilenames.empty())
2126 InputFilenames.push_back("-");
Douglas Gregor68a0d782009-05-02 00:03:46 +00002127
Ted Kremenek31e703b2007-12-11 23:28:38 +00002128 // Create the diagnostic client for reporting errors or for
2129 // implementing -verify.
Chris Lattner409d4e72009-04-17 20:40:01 +00002130 llvm::OwningPtr<DiagnosticClient> DiagClient;
2131 if (VerifyDiagnostics) {
2132 // When checking diagnostics, just buffer them up.
2133 DiagClient.reset(new TextDiagnosticBuffer());
2134 if (InputFilenames.size() != 1) {
2135 fprintf(stderr, "-verify only works on single input files for now.\n");
2136 return 1;
2137 }
2138 if (!HTMLDiag.empty()) {
2139 fprintf(stderr, "-verify and -html-diags don't work together\n");
2140 return 1;
2141 }
2142 } else if (HTMLDiag.empty()) {
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002143 // Print diagnostics to stderr by default.
Douglas Gregor68a0d782009-05-02 00:03:46 +00002144
2145 // If -fmessage-length=N was not specified, determine whether this
2146 // is a terminal and, if so, implicitly define -fmessage-length
2147 // appropriately.
2148 if (MessageLength.getNumOccurrences() == 0)
Douglas Gregor67187ce2009-05-11 18:06:49 +00002149 MessageLength.setValue(llvm::sys::Process::StandardErrColumns());
Douglas Gregor68a0d782009-05-02 00:03:46 +00002150
Torok Edwin603fca72009-06-04 07:18:23 +00002151 if (!NoColorDiagnostic) {
2152 NoColorDiagnostic.setValue(!llvm::sys::Process::StandardErrHasColors());
2153 }
2154
Chris Lattner409d4e72009-04-17 20:40:01 +00002155 DiagClient.reset(new TextDiagnosticPrinter(llvm::errs(),
Chris Lattnera03a5b52008-11-19 06:56:25 +00002156 !NoShowColumn,
Chris Lattner65f5e642009-01-30 19:01:41 +00002157 !NoCaretDiagnostics,
Chris Lattner1fbee5d2009-03-13 01:08:23 +00002158 !NoShowLocation,
Chris Lattnerd51d74a2009-04-16 05:44:38 +00002159 PrintSourceRangeInfo,
Chris Lattneraa5bf2e2009-04-19 07:44:08 +00002160 PrintDiagnosticOption,
Douglas Gregorfffd93f2009-05-01 21:53:04 +00002161 !NoDiagnosticsFixIt,
Torok Edwin603fca72009-06-04 07:18:23 +00002162 MessageLength,
2163 !NoColorDiagnostic));
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002164 } else {
Chris Lattner409d4e72009-04-17 20:40:01 +00002165 DiagClient.reset(CreateHTMLDiagnosticClient(HTMLDiag));
Reid Spencer5f016e22007-07-11 17:01:13 +00002166 }
Chris Lattner75a97cb2009-04-17 21:05:01 +00002167
2168 if (!DumpBuildInformation.empty()) {
2169 if (!HTMLDiag.empty()) {
2170 fprintf(stderr,
2171 "-dump-build-information and -html-diags don't work together\n");
2172 return 1;
2173 }
2174
2175 SetUpBuildDumpLog(argc, argv, DiagClient);
2176 }
2177
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002178
Reid Spencer5f016e22007-07-11 17:01:13 +00002179 // Configure our handling of diagnostics.
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002180 Diagnostic Diags(DiagClient.get());
Eli Friedman0eeb86e2009-05-19 01:17:04 +00002181 if (ProcessWarningOptions(Diags, OptWarnings, OptPedantic, OptPedanticErrors,
2182 OptNoWarnings))
Sebastian Redl63a9e0f2009-03-06 17:41:35 +00002183 return 1;
Ted Kremenek31e703b2007-12-11 23:28:38 +00002184
Chris Lattner4f037832007-12-05 23:24:17 +00002185 // -I- is a deprecated GCC feature, scan for it and reject it.
2186 for (unsigned i = 0, e = I_dirs.size(); i != e; ++i) {
2187 if (I_dirs[i] == "-") {
Chris Lattner5917fe12008-11-18 05:05:28 +00002188 Diags.Report(FullSourceLoc(), diag::err_pp_I_dash_not_supported);
Chris Lattner4f037832007-12-05 23:24:17 +00002189 I_dirs.erase(I_dirs.begin()+i);
2190 --i;
2191 }
2192 }
Chris Lattner11215192008-03-14 06:12:05 +00002193
2194 // Get information about the target being compiled for.
2195 std::string Triple = CreateTargetTriple();
Ted Kremenek7a08e282008-08-07 18:13:12 +00002196 llvm::OwningPtr<TargetInfo> Target(TargetInfo::CreateTargetInfo(Triple));
2197
Chris Lattner11215192008-03-14 06:12:05 +00002198 if (Target == 0) {
Daniel Dunbar50f4f462009-03-12 10:14:16 +00002199 Diags.Report(FullSourceLoc(), diag::err_fe_unknown_triple)
2200 << Triple.c_str();
Sebastian Redlc5613db2009-03-07 12:09:25 +00002201 return 1;
Chris Lattner11215192008-03-14 06:12:05 +00002202 }
Chris Lattner4f037832007-12-05 23:24:17 +00002203
Daniel Dunbard4270232009-01-20 23:17:32 +00002204 if (!InheritanceViewCls.empty()) // C++ visualization?
Ted Kremenek7cae2f62008-10-23 23:36:29 +00002205 ProgAction = InheritanceView;
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002206
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00002207 llvm::OwningPtr<SourceManager> SourceMgr;
2208
Chris Lattner2c78b872009-04-14 23:22:57 +00002209 // Create a file manager object to provide access to and cache the filesystem.
2210 FileManager FileMgr;
Douglas Gregor4fed3f42009-04-27 18:38:38 +00002211
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00002212 // Compute the feature set, unfortunately this effects the language!
2213 llvm::StringMap<bool> Features;
2214 ComputeFeatureMap(Target.get(), Features);
2215
Reid Spencer5f016e22007-07-11 17:01:13 +00002216 for (unsigned i = 0, e = InputFilenames.size(); i != e; ++i) {
Ted Kremenek31e703b2007-12-11 23:28:38 +00002217 const std::string &InFile = InputFilenames[i];
Ted Kremenek31e703b2007-12-11 23:28:38 +00002218
Chris Lattnerf63aea32009-03-04 21:40:56 +00002219 /// Create a SourceManager object. This tracks and owns all the file
2220 /// buffers allocated to a translation unit.
2221 if (!SourceMgr)
2222 SourceMgr.reset(new SourceManager());
2223 else
2224 SourceMgr->clearIDTables();
2225
2226 // Initialize language options, inferring file types from input filenames.
2227 LangOptions LangInfo;
Chris Lattner409d4e72009-04-17 20:40:01 +00002228 DiagClient->setLangOptions(&LangInfo);
Chris Lattner2c78b872009-04-14 23:22:57 +00002229
Chris Lattnerf63aea32009-03-04 21:40:56 +00002230 InitializeBaseLanguage();
2231 LangKind LK = GetLanguage(InFile);
Daniel Dunbar0b5b0da2009-04-01 05:09:09 +00002232 InitializeLangOptions(LangInfo, LK);
Daniel Dunbar868bd0a2009-05-06 03:16:41 +00002233 InitializeLanguageStandard(LangInfo, LK, Target.get(), Features);
Chris Lattnerf63aea32009-03-04 21:40:56 +00002234
2235 // Process the -I options and set them in the HeaderInfo.
2236 HeaderSearch HeaderInfo(FileMgr);
2237
Chris Lattner2c78b872009-04-14 23:22:57 +00002238
Chris Lattnerf63aea32009-03-04 21:40:56 +00002239 InitializeIncludePaths(argv[0], HeaderInfo, FileMgr, LangInfo);
2240
2241 // Set up the preprocessor with these options.
Eli Friedmanf086e3b2009-05-18 07:39:39 +00002242 DriverPreprocessorFactory PPFactory(Diags, LangInfo, *Target,
Chris Lattnerf63aea32009-03-04 21:40:56 +00002243 *SourceMgr.get(), HeaderInfo);
2244
2245 llvm::OwningPtr<Preprocessor> PP(PPFactory.CreatePreprocessor());
2246
2247 if (!PP)
2248 continue;
Ted Kremenekb4398aa2008-08-07 17:49:57 +00002249
Eli Friedmanb5c8f8b2009-05-19 03:35:57 +00002250 // Handle generating dependencies, if requested
2251 if (!DependencyFile.empty()) {
2252 llvm::raw_ostream *DependencyOS;
2253 if (DependencyTargets.empty()) {
2254 // FIXME: Use a proper diagnostic
2255 llvm::cerr << "-dependency-file requires at least one -MT option\n";
2256 HadErrors = true;
2257 continue;
2258 }
2259 std::string ErrStr;
2260 DependencyOS =
2261 new llvm::raw_fd_ostream(DependencyFile.c_str(), false, ErrStr);
2262 if (!ErrStr.empty()) {
2263 // FIXME: Use a proper diagnostic
2264 llvm::cerr << "unable to open dependency file: " + ErrStr;
2265 HadErrors = true;
2266 continue;
2267 }
2268
2269 AttachDependencyFileGen(PP.get(), DependencyOS, DependencyTargets,
2270 DependenciesIncludeSystemHeaders,
2271 PhonyDependencyTarget);
2272 }
2273
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002274 if (ImplicitIncludePCH.empty()) {
2275 if (InitializeSourceManager(*PP.get(), InFile))
2276 continue;
2277
2278 // Initialize builtin info.
2279 PP->getBuiltinInfo().InitializeBuiltins(PP->getIdentifierTable(),
Chris Lattner1b63e4f2009-06-14 01:54:56 +00002280 PP->getLangOptions().NoBuiltin);
2281 }
Douglas Gregor14f79002009-04-10 03:52:48 +00002282
Chris Lattner409d4e72009-04-17 20:40:01 +00002283 if (!HTMLDiag.empty())
2284 ((PathDiagnosticClient*)DiagClient.get())->SetPreprocessor(PP.get());
Chris Lattnerf63aea32009-03-04 21:40:56 +00002285
2286 // Process the source file.
Owen Anderson42253cc2009-07-01 17:00:06 +00002287 ProcessInputFile(*PP, PPFactory, InFile, ProgAction, Features, &Context);
Chris Lattnerf63aea32009-03-04 21:40:56 +00002288
Chris Lattner40469652009-04-17 20:16:08 +00002289 HeaderInfo.ClearFileInfo();
Chris Lattner409d4e72009-04-17 20:40:01 +00002290 DiagClient->setLangOptions(0);
Reid Spencer5f016e22007-07-11 17:01:13 +00002291 }
Chris Lattner11215192008-03-14 06:12:05 +00002292
Mike Stumpfc0fed32009-04-28 01:19:10 +00002293 if (!NoCaretDiagnostics)
2294 if (unsigned NumDiagnostics = Diags.getNumDiagnostics())
2295 fprintf(stderr, "%d diagnostic%s generated.\n", NumDiagnostics,
2296 (NumDiagnostics == 1 ? "" : "s"));
Reid Spencer5f016e22007-07-11 17:01:13 +00002297
2298 if (Stats) {
Reid Spencer5f016e22007-07-11 17:01:13 +00002299 FileMgr.PrintStats();
2300 fprintf(stderr, "\n");
2301 }
Chris Lattner75a97cb2009-04-17 21:05:01 +00002302
2303 delete ClangFrontendTimer;
2304 delete BuildLogFile;
Reid Spencer5f016e22007-07-11 17:01:13 +00002305
Daniel Dunbar276373d2008-10-27 22:10:13 +00002306 // If verifying diagnostics and we reached here, all is well.
2307 if (VerifyDiagnostics)
2308 return 0;
Chris Lattner47099742009-02-18 01:51:21 +00002309
Daniel Dunbar524b86f2008-10-28 00:38:08 +00002310 // Managed static deconstruction. Useful for making things like
2311 // -time-passes usable.
2312 llvm::llvm_shutdown();
2313
Daniel Dunbarb0adbba2008-10-04 23:42:49 +00002314 return HadErrors || (Diags.getNumErrors() != 0);
Reid Spencer5f016e22007-07-11 17:01:13 +00002315}