blob: f38b7ff00fe43dd62df451f89946731ccc3cd87d [file] [log] [blame]
Chris Lattner4b009652007-07-25 00:24:17 +00001//===--- clang.cpp - C-Language Front-end ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +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 Lattner39fb14e2009-02-18 01:17:01 +000020// -Wfatal-errors
Chris Lattner4b009652007-07-25 00:24:17 +000021// -ftabstop=width
22//
23//===----------------------------------------------------------------------===//
24
Eli Friedman7efefa52009-05-19 21:10:40 +000025#include "clang/Frontend/AnalysisConsumer.h"
Eli Friedmanbc821a42009-05-18 23:02:01 +000026#include "clang/Frontend/ASTConsumers.h"
Daniel Dunbar68952de2009-03-02 06:16:29 +000027#include "clang/Frontend/CompileOptions.h"
Douglas Gregor133d2552009-04-02 01:08:08 +000028#include "clang/Frontend/FixItRewriter.h"
Daniel Dunbarf45afe62009-03-12 10:14:16 +000029#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbar68952de2009-03-02 06:16:29 +000030#include "clang/Frontend/InitHeaderSearch.h"
Chris Lattner94269d72009-04-21 05:40:52 +000031#include "clang/Frontend/InitPreprocessor.h"
Daniel Dunbarf45afe62009-03-12 10:14:16 +000032#include "clang/Frontend/PathDiagnosticClients.h"
Douglas Gregorc34897d2009-04-09 22:27:44 +000033#include "clang/Frontend/PCHReader.h"
Daniel Dunbar68952de2009-03-02 06:16:29 +000034#include "clang/Frontend/TextDiagnosticBuffer.h"
35#include "clang/Frontend/TextDiagnosticPrinter.h"
Argiris Kirtzidiseab61812009-06-23 22:01:39 +000036#include "clang/Frontend/CommandLineSourceLoc.h"
Eli Friedman7e1d6372009-05-19 04:14:29 +000037#include "clang/Frontend/Utils.h"
Ted Kremenekfd75e312008-03-27 06:17:42 +000038#include "clang/Analysis/PathDiagnostic.h"
Chris Lattnerf5e9db02008-02-06 02:01:47 +000039#include "clang/CodeGen/ModuleBuilder.h"
Chris Lattner0bed6ec2008-02-06 00:23:21 +000040#include "clang/Sema/ParseAST.h"
Chris Lattner86a24842009-01-29 06:55:46 +000041#include "clang/Sema/SemaDiagnostic.h"
Chris Lattner1cc01712007-09-15 22:56:56 +000042#include "clang/AST/ASTConsumer.h"
Chris Lattnerfc318192009-03-28 04:31:31 +000043#include "clang/AST/ASTContext.h"
44#include "clang/AST/Decl.h"
Chris Lattnera17991f2009-03-29 16:50:03 +000045#include "clang/AST/DeclGroup.h"
Chris Lattner4b009652007-07-25 00:24:17 +000046#include "clang/Parse/Parser.h"
47#include "clang/Lex/HeaderSearch.h"
Chris Lattner71af6d62009-02-06 04:16:41 +000048#include "clang/Lex/LexDiagnostic.h"
Chris Lattner4b009652007-07-25 00:24:17 +000049#include "clang/Basic/FileManager.h"
50#include "clang/Basic/SourceManager.h"
51#include "clang/Basic/TargetInfo.h"
Daniel Dunbarae81a792009-05-06 04:07:06 +000052#include "clang/Basic/Version.h"
Chris Lattner01de9c82008-09-30 20:16:56 +000053#include "llvm/ADT/OwningPtr.h"
Chris Lattnerac139d22007-12-15 23:20:07 +000054#include "llvm/ADT/SmallPtrSet.h"
Chris Lattner01de9c82008-09-30 20:16:56 +000055#include "llvm/ADT/StringExtras.h"
Daniel Dunbar07181d72009-05-06 03:16:41 +000056#include "llvm/ADT/StringMap.h"
Chris Lattner0e004a12009-04-08 18:24:34 +000057#include "llvm/ADT/STLExtras.h"
Chris Lattner01de9c82008-09-30 20:16:56 +000058#include "llvm/Config/config.h"
Chris Lattner4b009652007-07-25 00:24:17 +000059#include "llvm/Support/CommandLine.h"
Daniel Dunbarbb298c02008-10-28 00:38:08 +000060#include "llvm/Support/ManagedStatic.h"
Chris Lattner4b009652007-07-25 00:24:17 +000061#include "llvm/Support/MemoryBuffer.h"
Zhongxing Xuf4ec4d92008-11-26 05:23:17 +000062#include "llvm/Support/PluginLoader.h"
Chris Lattner2b2d0c42009-03-04 21:41:39 +000063#include "llvm/Support/PrettyStackTrace.h"
Eli Friedmana9c310842009-05-18 22:20:00 +000064#include "llvm/Support/Streams.h"
Chris Lattnerefe33382009-02-18 01:51:21 +000065#include "llvm/Support/Timer.h"
Daniel Dunbarabe2e542008-10-02 01:21:33 +000066#include "llvm/System/Host.h"
Chris Lattner3ee4a2f2008-03-03 03:16:03 +000067#include "llvm/System/Path.h"
Douglas Gregor3dd11e82009-05-03 03:52:38 +000068#include "llvm/System/Process.h"
Eli Friedmana9c310842009-05-18 22:20:00 +000069#include "llvm/System/Program.h"
Chris Lattner01de9c82008-09-30 20:16:56 +000070#include "llvm/System/Signals.h"
Chris Lattner4d495682009-06-17 17:25:50 +000071#include "llvm/Target/TargetSelect.h"
Douglas Gregor24b48b02009-04-02 19:05:20 +000072#include <cstdlib>
Douglas Gregor3dd11e82009-05-03 03:52:38 +000073#if HAVE_SYS_TYPES_H
Douglas Gregor965a13c2009-05-02 00:03:46 +000074# include <sys/types.h>
75#endif
Douglas Gregor24b48b02009-04-02 19:05:20 +000076
Chris Lattner4b009652007-07-25 00:24:17 +000077using namespace clang;
78
79//===----------------------------------------------------------------------===//
Douglas Gregor24b48b02009-04-02 19:05:20 +000080// Source Location Parser
81//===----------------------------------------------------------------------===//
82
Argiris Kirtzidiseab61812009-06-23 22:01:39 +000083static bool ResolveParsedLocation(ParsedSourceLocation &ParsedLoc,
84 FileManager &FileMgr,
85 RequestedSourceLocation &Result) {
86 const FileEntry *File = FileMgr.getFile(ParsedLoc.FileName);
Douglas Gregor24b48b02009-04-02 19:05:20 +000087 if (!File)
88 return true;
89
90 Result.File = File;
Argiris Kirtzidiseab61812009-06-23 22:01:39 +000091 Result.Line = ParsedLoc.Line;
92 Result.Column = ParsedLoc.Column;
Douglas Gregor24b48b02009-04-02 19:05:20 +000093 return false;
94}
95
Douglas Gregor24b48b02009-04-02 19:05:20 +000096//===----------------------------------------------------------------------===//
Chris Lattner4b009652007-07-25 00:24:17 +000097// Global options.
98//===----------------------------------------------------------------------===//
99
Chris Lattnerefe33382009-02-18 01:51:21 +0000100/// ClangFrontendTimer - The front-end activities should charge time to it with
101/// TimeRegion. The -ftime-report option controls whether this will do
102/// anything.
103llvm::Timer *ClangFrontendTimer = 0;
104
Daniel Dunbar4efedde2008-10-16 16:54:18 +0000105static bool HadErrors = false;
Daniel Dunbar70a66b12008-10-04 23:42:49 +0000106
Chris Lattner4b009652007-07-25 00:24:17 +0000107static llvm::cl::opt<bool>
108Verbose("v", llvm::cl::desc("Enable verbose output"));
109static llvm::cl::opt<bool>
Nate Begeman6acbedd2007-12-30 01:38:50 +0000110Stats("print-stats",
111 llvm::cl::desc("Print performance metrics and statistics"));
Daniel Dunbar4efedde2008-10-16 16:54:18 +0000112static llvm::cl::opt<bool>
113DisableFree("disable-free",
114 llvm::cl::desc("Disable freeing of memory on exit"),
115 llvm::cl::init(false));
Daniel Dunbarbb56def2009-04-27 21:19:07 +0000116static llvm::cl::opt<bool>
117EmptyInputOnly("empty-input-only",
118 llvm::cl::desc("Force running on an empty input file"));
Chris Lattner4b009652007-07-25 00:24:17 +0000119
120enum ProgActions {
Steve Naroff44e81222008-04-14 22:03:09 +0000121 RewriteObjC, // ObjC->C Rewriter.
Steve Naroff93c18352008-09-18 14:10:13 +0000122 RewriteBlocks, // ObjC->C Rewriter for Blocks.
Chris Lattner1665a9f2008-05-08 06:52:13 +0000123 RewriteMacros, // Expand macros but not #includes.
Chris Lattnerc3fbf392008-10-12 05:29:20 +0000124 RewriteTest, // Rewriter playground
Douglas Gregor133d2552009-04-02 01:08:08 +0000125 FixIt, // Fix-It Rewriter
Ted Kremeneke1a79d82008-03-19 07:53:42 +0000126 HTMLTest, // HTML displayer testing stuff.
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000127 EmitAssembly, // Emit a .s file.
Chris Lattner4b009652007-07-25 00:24:17 +0000128 EmitLLVM, // Emit a .ll file.
Seo Sanghyeon550a1eb2007-12-24 01:52:34 +0000129 EmitBC, // Emit a .bc file.
Daniel Dunbard999a8e2009-02-26 22:39:37 +0000130 EmitLLVMOnly, // Generate LLVM IR, but do not
Ted Kremenek24612ae2008-03-18 21:19:49 +0000131 EmitHTML, // Translate input source into HTML.
Chris Lattner4045a8a2007-10-11 00:18:28 +0000132 ASTPrint, // Parse ASTs and print them.
Douglas Gregor8987c032009-05-21 20:55:50 +0000133 ASTPrintXML, // Parse ASTs and print them in XML.
Chris Lattner4045a8a2007-10-11 00:18:28 +0000134 ASTDump, // Parse ASTs and dump them.
135 ASTView, // Parse ASTs and view them in Graphviz.
Zhongxing Xu6036bbe2009-01-13 01:29:24 +0000136 PrintDeclContext, // Print DeclContext and their Decls.
Chris Lattner4b009652007-07-25 00:24:17 +0000137 ParsePrintCallbacks, // Parse and print each callback.
138 ParseSyntaxOnly, // Parse and perform semantic analysis.
139 ParseNoop, // Parse with noop callbacks.
140 RunPreprocessorOnly, // Just lex, no output.
141 PrintPreprocessedInput, // -E mode.
Chris Lattneraf669fb2008-10-12 05:03:36 +0000142 DumpTokens, // Dump out preprocessed tokens.
143 DumpRawTokens, // Dump out raw tokens.
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000144 RunAnalysis, // Run one or more source code analyses.
Douglas Gregor2a0e8742009-04-02 23:43:50 +0000145 GeneratePTH, // Generate pre-tokenized header.
Douglas Gregorc34897d2009-04-09 22:27:44 +0000146 GeneratePCH, // Generate pre-compiled header.
Ted Kremenekd9ceb3d2008-10-23 23:36:29 +0000147 InheritanceView // View C++ inheritance for a specified class.
Chris Lattner4b009652007-07-25 00:24:17 +0000148};
149
150static llvm::cl::opt<ProgActions>
151ProgAction(llvm::cl::desc("Choose output type:"), llvm::cl::ZeroOrMore,
152 llvm::cl::init(ParseSyntaxOnly),
153 llvm::cl::values(
154 clEnumValN(RunPreprocessorOnly, "Eonly",
155 "Just run preprocessor, no output (for timings)"),
156 clEnumValN(PrintPreprocessedInput, "E",
157 "Run preprocessor, emit preprocessed file"),
Chris Lattneraf669fb2008-10-12 05:03:36 +0000158 clEnumValN(DumpRawTokens, "dump-raw-tokens",
159 "Lex file in raw mode and dump raw tokens"),
Daniel Dunbar9c321102009-01-20 23:17:32 +0000160 clEnumValN(RunAnalysis, "analyze",
161 "Run static analysis engine"),
Chris Lattneraf669fb2008-10-12 05:03:36 +0000162 clEnumValN(DumpTokens, "dump-tokens",
Chris Lattner4b009652007-07-25 00:24:17 +0000163 "Run preprocessor, dump internal rep of tokens"),
164 clEnumValN(ParseNoop, "parse-noop",
165 "Run parser with noop callbacks (for timings)"),
166 clEnumValN(ParseSyntaxOnly, "fsyntax-only",
167 "Run parser and perform semantic analysis"),
168 clEnumValN(ParsePrintCallbacks, "parse-print-callbacks",
169 "Run parser and print each callback invoked"),
Ted Kremenek24612ae2008-03-18 21:19:49 +0000170 clEnumValN(EmitHTML, "emit-html",
171 "Output input source as HTML"),
Chris Lattner4045a8a2007-10-11 00:18:28 +0000172 clEnumValN(ASTPrint, "ast-print",
173 "Build ASTs and then pretty-print them"),
Douglas Gregor8987c032009-05-21 20:55:50 +0000174 clEnumValN(ASTPrintXML, "ast-print-xml",
175 "Build ASTs and then print them in XML format"),
Chris Lattner4045a8a2007-10-11 00:18:28 +0000176 clEnumValN(ASTDump, "ast-dump",
177 "Build ASTs and then debug dump them"),
Chris Lattner664dd082007-10-11 00:37:43 +0000178 clEnumValN(ASTView, "ast-view",
Sanjiv Gupta69683532008-05-08 08:28:14 +0000179 "Build ASTs and view them with GraphViz"),
Zhongxing Xu6036bbe2009-01-13 01:29:24 +0000180 clEnumValN(PrintDeclContext, "print-decl-contexts",
Ted Kremenek4787dcf2009-04-01 00:23:28 +0000181 "Print DeclContexts and their Decls"),
Douglas Gregor2a0e8742009-04-02 23:43:50 +0000182 clEnumValN(GeneratePTH, "emit-pth",
Ted Kremenek4787dcf2009-04-01 00:23:28 +0000183 "Generate pre-tokenized header file"),
Douglas Gregorc34897d2009-04-09 22:27:44 +0000184 clEnumValN(GeneratePCH, "emit-pch",
185 "Generate pre-compiled header file"),
Daniel Dunbar85e44e22008-10-21 23:49:24 +0000186 clEnumValN(EmitAssembly, "S",
187 "Emit native assembly code"),
Chris Lattner4b009652007-07-25 00:24:17 +0000188 clEnumValN(EmitLLVM, "emit-llvm",
Ted Kremenek05334682007-09-06 21:26:58 +0000189 "Build ASTs then convert to LLVM, emit .ll file"),
Seo Sanghyeon550a1eb2007-12-24 01:52:34 +0000190 clEnumValN(EmitBC, "emit-llvm-bc",
191 "Build ASTs then convert to LLVM, emit .bc file"),
Daniel Dunbard999a8e2009-02-26 22:39:37 +0000192 clEnumValN(EmitLLVMOnly, "emit-llvm-only",
193 "Build ASTs and convert to LLVM, discarding output"),
Chris Lattnerc3fbf392008-10-12 05:29:20 +0000194 clEnumValN(RewriteTest, "rewrite-test",
195 "Rewriter playground"),
Steve Naroff44e81222008-04-14 22:03:09 +0000196 clEnumValN(RewriteObjC, "rewrite-objc",
Chris Lattner1665a9f2008-05-08 06:52:13 +0000197 "Rewrite ObjC into C (code rewriter example)"),
198 clEnumValN(RewriteMacros, "rewrite-macros",
199 "Expand macros without full preprocessing"),
Steve Naroff93c18352008-09-18 14:10:13 +0000200 clEnumValN(RewriteBlocks, "rewrite-blocks",
201 "Rewrite Blocks to C"),
Douglas Gregor133d2552009-04-02 01:08:08 +0000202 clEnumValN(FixIt, "fixit",
203 "Apply fix-it advice to the input source"),
Chris Lattner4b009652007-07-25 00:24:17 +0000204 clEnumValEnd));
205
Ted Kremenekd01eae62007-12-19 19:47:59 +0000206
207static llvm::cl::opt<std::string>
208OutputFile("o",
Ted Kremenek09b3f0d2007-12-19 19:50:41 +0000209 llvm::cl::value_desc("path"),
Douglas Gregor608ff622009-04-22 21:45:53 +0000210 llvm::cl::desc("Specify output file"));
Ted Kremenek517cb512008-04-14 18:40:58 +0000211
Ted Kremenek57f25b22008-12-02 19:57:31 +0000212
213//===----------------------------------------------------------------------===//
214// PTH.
215//===----------------------------------------------------------------------===//
216
217static llvm::cl::opt<std::string>
218TokenCache("token-cache", llvm::cl::value_desc("path"),
219 llvm::cl::desc("Use specified token cache file"));
220
Sanjiv Gupta40e56a12008-05-08 08:54:20 +0000221//===----------------------------------------------------------------------===//
Ted Kremenek517cb512008-04-14 18:40:58 +0000222// Diagnostic Options
223//===----------------------------------------------------------------------===//
224
Ted Kremenek10389cf2007-09-26 19:42:19 +0000225static llvm::cl::opt<bool>
226VerifyDiagnostics("verify",
Sanjiv Gupta69683532008-05-08 08:28:14 +0000227 llvm::cl::desc("Verify emitted diagnostics and warnings"));
Ted Kremenek10389cf2007-09-26 19:42:19 +0000228
Ted Kremenekfd75e312008-03-27 06:17:42 +0000229static llvm::cl::opt<std::string>
230HTMLDiag("html-diags",
231 llvm::cl::desc("Generate HTML to report diagnostics"),
232 llvm::cl::value_desc("HTML directory"));
233
Nico Weber0e13eaa2008-08-05 23:33:20 +0000234static llvm::cl::opt<bool>
235NoShowColumn("fno-show-column",
236 llvm::cl::desc("Do not include column number on diagnostics"));
237
238static llvm::cl::opt<bool>
Chris Lattnerb96a04f2009-01-30 19:01:41 +0000239NoShowLocation("fno-show-source-location",
240 llvm::cl::desc("Do not include source location information with"
241 " diagnostics"));
242
243static llvm::cl::opt<bool>
Nico Weber0e13eaa2008-08-05 23:33:20 +0000244NoCaretDiagnostics("fno-caret-diagnostics",
245 llvm::cl::desc("Do not include source line and caret with"
246 " diagnostics"));
247
Chris Lattner695a4f52009-03-13 01:08:23 +0000248static llvm::cl::opt<bool>
Chris Lattner041bd732009-04-19 07:44:08 +0000249NoDiagnosticsFixIt("fno-diagnostics-fixit-info",
250 llvm::cl::desc("Do not include fixit information in"
251 " diagnostics"));
252
253static llvm::cl::opt<bool>
Chris Lattner13bac9e2009-04-21 05:34:31 +0000254PrintSourceRangeInfo("fdiagnostics-print-source-range-info",
255 llvm::cl::desc("Print source range spans in numeric form"));
256
Chris Lattnera96ec3b2009-04-16 05:44:38 +0000257static llvm::cl::opt<bool>
258PrintDiagnosticOption("fdiagnostics-show-option",
259 llvm::cl::desc("Print diagnostic name with mappable diagnostics"));
Nico Weber0e13eaa2008-08-05 23:33:20 +0000260
Douglas Gregora4eb3e72009-05-01 21:53:04 +0000261static llvm::cl::opt<unsigned>
262MessageLength("fmessage-length",
263 llvm::cl::desc("Format message diagnostics so that they fit "
264 "within N columns or fewer, when possible."),
265 llvm::cl::value_desc("N"));
266
Edwin Törökeff37122009-06-04 07:18:23 +0000267static llvm::cl::opt<bool>
Edwin Törökcca1e502009-06-04 07:27:53 +0000268NoColorDiagnostic("fno-color-diagnostics",
Edwin Törökeff37122009-06-04 07:18:23 +0000269 llvm::cl::desc("Don't use colors when showing diagnostics "
270 "(automatically turned off if output is not a "
271 "terminal)."));
Chris Lattner4b009652007-07-25 00:24:17 +0000272//===----------------------------------------------------------------------===//
Ted Kremenekd9ceb3d2008-10-23 23:36:29 +0000273// C++ Visualization.
274//===----------------------------------------------------------------------===//
275
276static llvm::cl::opt<std::string>
277InheritanceViewCls("cxx-inheritance-view",
278 llvm::cl::value_desc("class name"),
Daniel Dunbar47f0b0f2009-01-14 18:56:36 +0000279 llvm::cl::desc("View C++ inheritance for a specified class"));
Ted Kremenekd9ceb3d2008-10-23 23:36:29 +0000280
281//===----------------------------------------------------------------------===//
Douglas Gregor23d23262009-02-14 20:49:29 +0000282// Builtin Options
283//===----------------------------------------------------------------------===//
Chris Lattner93d4d982009-02-18 01:12:43 +0000284
285static llvm::cl::opt<bool>
286TimeReport("ftime-report",
287 llvm::cl::desc("Print the amount of time each "
288 "phase of compilation takes"));
289
Douglas Gregor23d23262009-02-14 20:49:29 +0000290static llvm::cl::opt<bool>
291Freestanding("ffreestanding",
Daniel Dunbarfd46ea22009-02-16 22:43:43 +0000292 llvm::cl::desc("Assert that the compilation takes place in a "
Douglas Gregor23d23262009-02-14 20:49:29 +0000293 "freestanding environment"));
294
Daniel Dunbarfd46ea22009-02-16 22:43:43 +0000295static llvm::cl::opt<bool>
Daniel Dunbar9d805ce2009-04-07 21:16:11 +0000296AllowBuiltins("fbuiltin", llvm::cl::init(true),
297 llvm::cl::desc("Disable implicit builtin knowledge of functions"));
Chris Lattner911b8672009-03-13 22:38:49 +0000298
299
300static llvm::cl::opt<bool>
Daniel Dunbar9d805ce2009-04-07 21:16:11 +0000301MathErrno("fmath-errno", llvm::cl::init(true),
302 llvm::cl::desc("Require math functions to respect errno"));
Daniel Dunbarfd46ea22009-02-16 22:43:43 +0000303
Douglas Gregor23d23262009-02-14 20:49:29 +0000304//===----------------------------------------------------------------------===//
Chris Lattner4b009652007-07-25 00:24:17 +0000305// Language Options
306//===----------------------------------------------------------------------===//
307
308enum LangKind {
309 langkind_unspecified,
310 langkind_c,
311 langkind_c_cpp,
Chris Lattnera19689a2008-10-22 17:29:21 +0000312 langkind_asm_cpp,
Chris Lattner4b009652007-07-25 00:24:17 +0000313 langkind_cxx,
314 langkind_cxx_cpp,
315 langkind_objc,
316 langkind_objc_cpp,
317 langkind_objcxx,
Daniel Dunbardb6126e2009-04-01 05:09:09 +0000318 langkind_objcxx_cpp
Chris Lattner4b009652007-07-25 00:24:17 +0000319};
320
Chris Lattner4b009652007-07-25 00:24:17 +0000321static llvm::cl::opt<LangKind>
322BaseLang("x", llvm::cl::desc("Base language to compile"),
323 llvm::cl::init(langkind_unspecified),
324 llvm::cl::values(clEnumValN(langkind_c, "c", "C"),
325 clEnumValN(langkind_cxx, "c++", "C++"),
326 clEnumValN(langkind_objc, "objective-c", "Objective C"),
327 clEnumValN(langkind_objcxx,"objective-c++","Objective C++"),
Daniel Dunbarb1488592009-01-29 23:50:47 +0000328 clEnumValN(langkind_c_cpp, "cpp-output",
Chris Lattner4b009652007-07-25 00:24:17 +0000329 "Preprocessed C"),
Chris Lattnera19689a2008-10-22 17:29:21 +0000330 clEnumValN(langkind_asm_cpp, "assembler-with-cpp",
331 "Preprocessed asm"),
Chris Lattner4b009652007-07-25 00:24:17 +0000332 clEnumValN(langkind_cxx_cpp, "c++-cpp-output",
Chris Lattnerb5555ea2009-02-06 06:19:20 +0000333 "Preprocessed C++"),
Chris Lattner4b009652007-07-25 00:24:17 +0000334 clEnumValN(langkind_objc_cpp, "objective-c-cpp-output",
335 "Preprocessed Objective C"),
Chris Lattnerb5555ea2009-02-06 06:19:20 +0000336 clEnumValN(langkind_objcxx_cpp, "objective-c++-cpp-output",
Chris Lattner4b009652007-07-25 00:24:17 +0000337 "Preprocessed Objective C++"),
Daniel Dunbardb6126e2009-04-01 05:09:09 +0000338 clEnumValN(langkind_c, "c-header",
339 "C header"),
340 clEnumValN(langkind_objc, "objective-c-header",
341 "Objective-C header"),
342 clEnumValN(langkind_cxx, "c++-header",
343 "C++ header"),
344 clEnumValN(langkind_objcxx, "objective-c++-header",
345 "Objective-C++ header"),
Chris Lattner4b009652007-07-25 00:24:17 +0000346 clEnumValEnd));
347
348static llvm::cl::opt<bool>
349LangObjC("ObjC", llvm::cl::desc("Set base language to Objective-C"),
350 llvm::cl::Hidden);
351static llvm::cl::opt<bool>
352LangObjCXX("ObjC++", llvm::cl::desc("Set base language to Objective-C++"),
353 llvm::cl::Hidden);
354
Chris Lattnere1be6022009-04-14 23:22:57 +0000355static llvm::cl::opt<bool>
356ObjCExclusiveGC("fobjc-gc-only",
357 llvm::cl::desc("Use GC exclusively for Objective-C related "
358 "memory management"));
359
360static llvm::cl::opt<bool>
361ObjCEnableGC("fobjc-gc",
362 llvm::cl::desc("Enable Objective-C garbage collection"));
363
Fariborz Jahanian2ccf6172009-04-17 03:04:15 +0000364static llvm::cl::opt<bool>
365ObjCEnableGCBitmapPrint("print-ivar-layout",
366 llvm::cl::desc("Enable Objective-C Ivar layout bitmap print trace"));
367
Chris Lattnere1be6022009-04-14 23:22:57 +0000368static llvm::cl::opt<LangOptions::VisibilityMode>
369SymbolVisibility("fvisibility",
370 llvm::cl::desc("Set the default symbol visibility:"),
371 llvm::cl::init(LangOptions::Default),
372 llvm::cl::values(clEnumValN(LangOptions::Default, "default",
373 "Use default symbol visibility"),
374 clEnumValN(LangOptions::Hidden, "hidden",
375 "Use hidden symbol visibility"),
376 clEnumValN(LangOptions::Protected,"protected",
377 "Use protected symbol visibility"),
378 clEnumValEnd));
379
380static llvm::cl::opt<bool>
381OverflowChecking("ftrapv",
382 llvm::cl::desc("Trap on integer overflow"),
383 llvm::cl::init(false));
384
Fariborz Jahanianfefd5e82009-05-22 20:17:16 +0000385static llvm::cl::opt<bool>
386ObjCSenderDispatch("fobjc-sender-dependent-dispatch",
387 llvm::cl::desc("Enable sender-dependent dispatch for"
388 "Objective-C messages"), llvm::cl::init(false));
Chris Lattnere1be6022009-04-14 23:22:57 +0000389
Ted Kremenek11ad8952007-12-05 23:49:08 +0000390/// InitializeBaseLanguage - Handle the -x foo options.
391static void InitializeBaseLanguage() {
392 if (LangObjC)
393 BaseLang = langkind_objc;
394 else if (LangObjCXX)
395 BaseLang = langkind_objcxx;
396}
397
398static LangKind GetLanguage(const std::string &Filename) {
399 if (BaseLang != langkind_unspecified)
400 return BaseLang;
401
402 std::string::size_type DotPos = Filename.rfind('.');
403
404 if (DotPos == std::string::npos) {
405 BaseLang = langkind_c; // Default to C if no extension.
Chris Lattner4eac0502008-01-04 19:12:28 +0000406 return langkind_c;
Chris Lattner4b009652007-07-25 00:24:17 +0000407 }
408
Ted Kremenek11ad8952007-12-05 23:49:08 +0000409 std::string Ext = std::string(Filename.begin()+DotPos+1, Filename.end());
410 // C header: .h
411 // C++ header: .hh or .H;
412 // assembler no preprocessing: .s
413 // assembler: .S
414 if (Ext == "c")
415 return langkind_c;
Chris Lattner5dc0c1b2009-03-23 16:24:37 +0000416 else if (Ext == "S" ||
417 // If the compiler is run on a .s file, preprocess it as .S
418 Ext == "s")
Chris Lattnera19689a2008-10-22 17:29:21 +0000419 return langkind_asm_cpp;
Ted Kremenek11ad8952007-12-05 23:49:08 +0000420 else if (Ext == "i")
421 return langkind_c_cpp;
422 else if (Ext == "ii")
423 return langkind_cxx_cpp;
424 else if (Ext == "m")
425 return langkind_objc;
426 else if (Ext == "mi")
427 return langkind_objc_cpp;
428 else if (Ext == "mm" || Ext == "M")
429 return langkind_objcxx;
430 else if (Ext == "mii")
431 return langkind_objcxx_cpp;
432 else if (Ext == "C" || Ext == "cc" || Ext == "cpp" || Ext == "CPP" ||
433 Ext == "c++" || Ext == "cp" || Ext == "cxx")
434 return langkind_cxx;
435 else
436 return langkind_c;
437}
438
439
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000440static void InitializeCOptions(LangOptions &Options) {
441 // Do nothing.
442}
443
444static void InitializeObjCOptions(LangOptions &Options) {
445 Options.ObjC1 = Options.ObjC2 = 1;
446}
447
448
Daniel Dunbardb6126e2009-04-01 05:09:09 +0000449static void InitializeLangOptions(LangOptions &Options, LangKind LK){
Chris Lattner4b009652007-07-25 00:24:17 +0000450 // FIXME: implement -fpreprocessed mode.
451 bool NoPreprocess = false;
452
Ted Kremenek11ad8952007-12-05 23:49:08 +0000453 switch (LK) {
Chris Lattner4b009652007-07-25 00:24:17 +0000454 default: assert(0 && "Unknown language kind!");
Chris Lattnera19689a2008-10-22 17:29:21 +0000455 case langkind_asm_cpp:
Daniel Dunbar20b88022008-12-01 18:55:22 +0000456 Options.AsmPreprocessor = 1;
Chris Lattnera19689a2008-10-22 17:29:21 +0000457 // FALLTHROUGH
Chris Lattner4b009652007-07-25 00:24:17 +0000458 case langkind_c_cpp:
459 NoPreprocess = true;
460 // FALLTHROUGH
461 case langkind_c:
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000462 InitializeCOptions(Options);
Chris Lattner4b009652007-07-25 00:24:17 +0000463 break;
464 case langkind_cxx_cpp:
465 NoPreprocess = true;
466 // FALLTHROUGH
467 case langkind_cxx:
468 Options.CPlusPlus = 1;
469 break;
470 case langkind_objc_cpp:
471 NoPreprocess = true;
472 // FALLTHROUGH
473 case langkind_objc:
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000474 InitializeObjCOptions(Options);
Chris Lattner4b009652007-07-25 00:24:17 +0000475 break;
476 case langkind_objcxx_cpp:
477 NoPreprocess = true;
478 // FALLTHROUGH
479 case langkind_objcxx:
480 Options.ObjC1 = Options.ObjC2 = 1;
481 Options.CPlusPlus = 1;
482 break;
483 }
Chris Lattnere1be6022009-04-14 23:22:57 +0000484
485 if (ObjCExclusiveGC)
486 Options.setGCMode(LangOptions::GCOnly);
487 else if (ObjCEnableGC)
488 Options.setGCMode(LangOptions::HybridGC);
489
Fariborz Jahanian2ccf6172009-04-17 03:04:15 +0000490 if (ObjCEnableGCBitmapPrint)
491 Options.ObjCGCBitmapPrint = 1;
492
Chris Lattnere1be6022009-04-14 23:22:57 +0000493 Options.setVisibilityMode(SymbolVisibility);
494 Options.OverflowChecking = OverflowChecking;
Chris Lattner4b009652007-07-25 00:24:17 +0000495}
496
497/// LangStds - Language standards we support.
498enum LangStds {
499 lang_unspecified,
500 lang_c89, lang_c94, lang_c99,
Ted Kremenek88bec0f2008-09-03 21:22:16 +0000501 lang_gnu_START,
502 lang_gnu89 = lang_gnu_START, lang_gnu99,
Chris Lattner4b009652007-07-25 00:24:17 +0000503 lang_cxx98, lang_gnucxx98,
504 lang_cxx0x, lang_gnucxx0x
505};
506
507static llvm::cl::opt<LangStds>
508LangStd("std", llvm::cl::desc("Language standard to compile for"),
509 llvm::cl::init(lang_unspecified),
510 llvm::cl::values(clEnumValN(lang_c89, "c89", "ISO C 1990"),
511 clEnumValN(lang_c89, "c90", "ISO C 1990"),
512 clEnumValN(lang_c89, "iso9899:1990", "ISO C 1990"),
513 clEnumValN(lang_c94, "iso9899:199409",
514 "ISO C 1990 with amendment 1"),
515 clEnumValN(lang_c99, "c99", "ISO C 1999"),
Chris Lattnerddeb7402009-04-06 17:17:55 +0000516 clEnumValN(lang_c99, "c9x", "ISO C 1999"),
Chris Lattner4b009652007-07-25 00:24:17 +0000517 clEnumValN(lang_c99, "iso9899:1999", "ISO C 1999"),
Chris Lattnerddeb7402009-04-06 17:17:55 +0000518 clEnumValN(lang_c99, "iso9899:199x", "ISO C 1999"),
Chris Lattner4b009652007-07-25 00:24:17 +0000519 clEnumValN(lang_gnu89, "gnu89",
Gabor Greifbe1618a2009-02-28 09:22:15 +0000520 "ISO C 1990 with GNU extensions"),
Chris Lattner4b009652007-07-25 00:24:17 +0000521 clEnumValN(lang_gnu99, "gnu99",
Gabor Greifbe1618a2009-02-28 09:22:15 +0000522 "ISO C 1999 with GNU extensions (default for C)"),
Chris Lattner4b009652007-07-25 00:24:17 +0000523 clEnumValN(lang_gnu99, "gnu9x",
524 "ISO C 1999 with GNU extensions"),
525 clEnumValN(lang_cxx98, "c++98",
526 "ISO C++ 1998 with amendments"),
527 clEnumValN(lang_gnucxx98, "gnu++98",
528 "ISO C++ 1998 with amendments and GNU "
529 "extensions (default for C++)"),
530 clEnumValN(lang_cxx0x, "c++0x",
531 "Upcoming ISO C++ 200x with amendments"),
532 clEnumValN(lang_gnucxx0x, "gnu++0x",
533 "Upcoming ISO C++ 200x with amendments and GNU "
Gabor Greif46612282009-03-11 23:07:18 +0000534 "extensions"),
Chris Lattner4b009652007-07-25 00:24:17 +0000535 clEnumValEnd));
536
537static llvm::cl::opt<bool>
538NoOperatorNames("fno-operator-names",
539 llvm::cl::desc("Do not treat C++ operator name keywords as "
540 "synonyms for operators"));
541
Anders Carlsson55bfe0d2007-10-15 02:50:23 +0000542static llvm::cl::opt<bool>
543PascalStrings("fpascal-strings",
544 llvm::cl::desc("Recognize and construct Pascal-style "
545 "string literals"));
Steve Naroff73a07032008-02-07 03:50:06 +0000546
547static llvm::cl::opt<bool>
548MSExtensions("fms-extensions",
549 llvm::cl::desc("Accept some non-standard constructs used in "
Sanjiv Gupta69683532008-05-08 08:28:14 +0000550 "Microsoft header files "));
Chris Lattnerdb6be562007-11-28 05:34:05 +0000551
552static llvm::cl::opt<bool>
553WritableStrings("fwritable-strings",
Sanjiv Gupta69683532008-05-08 08:28:14 +0000554 llvm::cl::desc("Store string literals as writable data"));
Anders Carlssone87cd982007-11-30 04:21:22 +0000555
556static llvm::cl::opt<bool>
Anders Carlsson6cf61c92009-01-30 23:26:40 +0000557NoLaxVectorConversions("fno-lax-vector-conversions",
Anders Carlsson355ed052009-01-30 23:17:46 +0000558 llvm::cl::desc("Disallow implicit conversions between "
559 "vectors with a different number of "
560 "elements or different element types"));
Chris Lattnerd7bc88b2008-12-04 23:20:07 +0000561
Fariborz Jahanian48543f52009-01-21 22:04:16 +0000562static llvm::cl::opt<bool>
Daniel Dunbar9d805ce2009-04-07 21:16:11 +0000563EnableBlocks("fblocks", llvm::cl::desc("enable the 'blocks' language feature"));
Mike Stump9093c742009-02-02 22:57:57 +0000564
565static llvm::cl::opt<bool>
Chris Lattner1e3eedb2009-03-13 17:38:01 +0000566EnableHeinousExtensions("fheinous-gnu-extensions",
567 llvm::cl::desc("enable GNU extensions that you really really shouldn't use"),
568 llvm::cl::ValueDisallowed, llvm::cl::Hidden);
569
570static llvm::cl::opt<bool>
Mike Stump9093c742009-02-02 22:57:57 +0000571ObjCNonFragileABI("fobjc-nonfragile-abi",
572 llvm::cl::desc("enable objective-c's nonfragile abi"));
Fariborz Jahanian48543f52009-01-21 22:04:16 +0000573
Daniel Dunbar5523e862009-05-04 05:16:21 +0000574
575static llvm::cl::opt<bool>
Daniel Dunbar9bae8652009-02-04 21:19:06 +0000576EmitAllDecls("femit-all-decls",
577 llvm::cl::desc("Emit all declarations, even if unused"));
Ted Kremenek2658c4a2008-04-29 04:37:03 +0000578
Daniel Dunbar91692d92008-08-11 17:36:14 +0000579static llvm::cl::opt<bool>
580Exceptions("fexceptions",
Chris Lattner77c04832009-04-19 07:00:02 +0000581 llvm::cl::desc("Enable support for exception handling"));
Daniel Dunbar91692d92008-08-11 17:36:14 +0000582
Daniel Dunbar1be1df32008-08-11 21:35:06 +0000583static llvm::cl::opt<bool>
584GNURuntime("fgnu-runtime",
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000585 llvm::cl::desc("Generate output compatible with the standard GNU "
Chris Lattner77c04832009-04-19 07:00:02 +0000586 "Objective-C runtime"));
Daniel Dunbar1be1df32008-08-11 21:35:06 +0000587
588static llvm::cl::opt<bool>
589NeXTRuntime("fnext-runtime",
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000590 llvm::cl::desc("Generate output compatible with the NeXT "
Chris Lattner77c04832009-04-19 07:00:02 +0000591 "runtime"));
Daniel Dunbar1be1df32008-08-11 21:35:06 +0000592
Eli Friedman449eb692009-06-05 07:12:17 +0000593static llvm::cl::opt<bool>
594CharIsSigned("fsigned-char",
595 llvm::cl::desc("Force char to be a signed/unsigned type"));
Ted Kremenek88bec0f2008-09-03 21:22:16 +0000596
597
598static llvm::cl::opt<bool>
Chris Lattner77c04832009-04-19 07:00:02 +0000599Trigraphs("trigraphs", llvm::cl::desc("Process trigraph sequences"));
Ted Kremenek88bec0f2008-09-03 21:22:16 +0000600
Douglas Gregor375733c2009-03-10 00:06:19 +0000601static llvm::cl::opt<unsigned>
602TemplateDepth("ftemplate-depth", llvm::cl::init(99),
603 llvm::cl::desc("Maximum depth of recursive template "
604 "instantiation"));
Chris Lattner77c04832009-04-19 07:00:02 +0000605static llvm::cl::opt<bool>
606DollarsInIdents("fdollars-in-identifiers",
607 llvm::cl::desc("Allow '$' in identifiers"));
Chris Lattner738d3f62009-03-02 22:11:07 +0000608
Anders Carlssondfd77642009-04-06 17:37:10 +0000609
610static llvm::cl::opt<bool>
611OptSize("Os", llvm::cl::desc("Optimize for size"));
612
613static llvm::cl::opt<bool>
Daniel Dunbard27b66b2009-06-02 22:07:45 +0000614DisableLLVMOptimizations("disable-llvm-optzns",
615 llvm::cl::desc("Don't run LLVM optimization passes"));
616
617static llvm::cl::opt<bool>
Anders Carlssondfd77642009-04-06 17:37:10 +0000618NoCommon("fno-common",
619 llvm::cl::desc("Compile common globals like normal definitions"),
620 llvm::cl::ValueDisallowed);
621
Daniel Dunbardedc94c2009-04-08 05:11:16 +0000622static llvm::cl::opt<std::string>
623MainFileName("main-file-name",
624 llvm::cl::desc("Main file name to use for debug info"));
Anders Carlssondfd77642009-04-06 17:37:10 +0000625
Anders Carlssonf2310142009-05-13 19:49:53 +0000626// FIXME: Also add an "-fno-access-control" option.
627static llvm::cl::opt<bool>
628AccessControl("faccess-control",
629 llvm::cl::desc("Enable C++ access control"));
630
Anders Carlssondfd77642009-04-06 17:37:10 +0000631// It might be nice to add bounds to the CommandLine library directly.
632struct OptLevelParser : public llvm::cl::parser<unsigned> {
633 bool parse(llvm::cl::Option &O, const char *ArgName,
634 const std::string &Arg, unsigned &Val) {
635 if (llvm::cl::parser<unsigned>::parse(O, ArgName, Arg, Val))
636 return true;
Anders Carlssondfd77642009-04-06 17:37:10 +0000637 if (Val > 3)
638 return O.error(": '" + Arg + "' invalid optimization level!");
639 return false;
640 }
641};
642static llvm::cl::opt<unsigned, false, OptLevelParser>
643OptLevel("O", llvm::cl::Prefix,
644 llvm::cl::desc("Optimization level"),
645 llvm::cl::init(0));
646
Daniel Dunbare079c712009-04-08 03:03:23 +0000647static llvm::cl::opt<unsigned>
Daniel Dunbarcdd3c762009-04-08 18:03:55 +0000648PICLevel("pic-level", llvm::cl::desc("Value for __PIC__"));
649
650static llvm::cl::opt<bool>
651StaticDefine("static-define", llvm::cl::desc("Should __STATIC__ be defined"));
Daniel Dunbare079c712009-04-08 03:03:23 +0000652
Daniel Dunbar34542952008-08-23 08:43:39 +0000653static void InitializeLanguageStandard(LangOptions &Options, LangKind LK,
Daniel Dunbar07181d72009-05-06 03:16:41 +0000654 TargetInfo *Target,
655 const llvm::StringMap<bool> &Features) {
Chris Lattnerddae7102008-12-04 22:54:33 +0000656 // Allow the target to set the default the langauge options as it sees fit.
657 Target->getDefaultLangOptions(Options);
Daniel Dunbar07181d72009-05-06 03:16:41 +0000658
659 // Pass the map of target features to the target for validation and
660 // processing.
661 Target->HandleTargetFeatures(Features);
Chris Lattner738d3f62009-03-02 22:11:07 +0000662
Chris Lattner4b009652007-07-25 00:24:17 +0000663 if (LangStd == lang_unspecified) {
664 // Based on the base language, pick one.
Ted Kremenek11ad8952007-12-05 23:49:08 +0000665 switch (LK) {
Ted Kremenek9bd34312009-03-19 19:02:20 +0000666 case lang_unspecified: assert(0 && "Unknown base language");
Chris Lattner4b009652007-07-25 00:24:17 +0000667 case langkind_c:
Chris Lattnera19689a2008-10-22 17:29:21 +0000668 case langkind_asm_cpp:
Chris Lattner4b009652007-07-25 00:24:17 +0000669 case langkind_c_cpp:
670 case langkind_objc:
671 case langkind_objc_cpp:
672 LangStd = lang_gnu99;
673 break;
674 case langkind_cxx:
675 case langkind_cxx_cpp:
676 case langkind_objcxx:
677 case langkind_objcxx_cpp:
678 LangStd = lang_gnucxx98;
679 break;
680 }
681 }
682
683 switch (LangStd) {
684 default: assert(0 && "Unknown language standard!");
685
686 // Fall through from newer standards to older ones. This isn't really right.
687 // FIXME: Enable specifically the right features based on the language stds.
688 case lang_gnucxx0x:
689 case lang_cxx0x:
690 Options.CPlusPlus0x = 1;
691 // FALL THROUGH
692 case lang_gnucxx98:
693 case lang_cxx98:
694 Options.CPlusPlus = 1;
695 Options.CXXOperatorNames = !NoOperatorNames;
696 // FALL THROUGH.
697 case lang_gnu99:
698 case lang_c99:
Chris Lattner4b009652007-07-25 00:24:17 +0000699 Options.C99 = 1;
700 Options.HexFloats = 1;
701 // FALL THROUGH.
702 case lang_gnu89:
703 Options.BCPLComment = 1; // Only for C99/C++.
704 // FALL THROUGH.
705 case lang_c94:
Chris Lattner0297c762008-02-25 04:01:39 +0000706 Options.Digraphs = 1; // C94, C99, C++.
707 // FALL THROUGH.
Chris Lattner4b009652007-07-25 00:24:17 +0000708 case lang_c89:
709 break;
710 }
Argiris Kirtzidisb1519552008-09-11 04:21:06 +0000711
Chris Lattner31e7f6f2009-03-20 15:44:26 +0000712 // GNUMode - Set if we're in gnu99, gnu89, gnucxx98, etc.
713 Options.GNUMode = LangStd >= lang_gnu_START;
714
Argiris Kirtzidisb1519552008-09-11 04:21:06 +0000715 if (Options.CPlusPlus) {
716 Options.C99 = 0;
Chris Lattner31e7f6f2009-03-20 15:44:26 +0000717 Options.HexFloats = Options.GNUMode;
Argiris Kirtzidisb1519552008-09-11 04:21:06 +0000718 }
Chris Lattner4b009652007-07-25 00:24:17 +0000719
Chris Lattner6ab935b2008-04-05 06:32:51 +0000720 if (LangStd == lang_c89 || LangStd == lang_c94 || LangStd == lang_gnu89)
721 Options.ImplicitInt = 1;
722 else
723 Options.ImplicitInt = 0;
Ted Kremenek88bec0f2008-09-03 21:22:16 +0000724
Daniel Dunbarfacf3512009-04-07 22:13:21 +0000725 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
726 // is specified, or -std is set to a conforming mode.
Chris Lattner31e7f6f2009-03-20 15:44:26 +0000727 Options.Trigraphs = !Options.GNUMode;
Chris Lattner58d5ba52008-12-05 00:10:44 +0000728 if (Trigraphs.getPosition())
Chris Lattner31e7f6f2009-03-20 15:44:26 +0000729 Options.Trigraphs = Trigraphs; // Command line option wins if specified.
Ted Kremenek88bec0f2008-09-03 21:22:16 +0000730
Chris Lattner58d5ba52008-12-05 00:10:44 +0000731 // If in a conformant language mode (e.g. -std=c99) Blocks defaults to off
732 // even if they are normally on for the target. In GNU modes (e.g.
733 // -std=gnu99) the default for blocks depends on the target settings.
Anders Carlsson8ffcf732009-01-21 18:47:36 +0000734 // However, blocks are not turned off when compiling Obj-C or Obj-C++ code.
Chris Lattner31e7f6f2009-03-20 15:44:26 +0000735 if (!Options.ObjC1 && !Options.GNUMode)
Chris Lattner58d5ba52008-12-05 00:10:44 +0000736 Options.Blocks = 0;
737
Chris Lattner284784c2009-04-19 07:06:52 +0000738 // Default to not accepting '$' in identifiers when preprocessing assembler,
739 // but do accept when preprocessing C. FIXME: these defaults are right for
740 // darwin, are they right everywhere?
741 Options.DollarIdents = LK != langkind_asm_cpp;
742 if (DollarsInIdents.getPosition()) // Explicit setting overrides default.
Chris Lattner77c04832009-04-19 07:00:02 +0000743 Options.DollarIdents = DollarsInIdents;
744
Chris Lattnerd7bc88b2008-12-04 23:20:07 +0000745 if (PascalStrings.getPosition())
746 Options.PascalStrings = PascalStrings;
Eli Friedman6b6ca942009-06-08 06:11:14 +0000747 if (MSExtensions.getPosition())
748 Options.Microsoft = MSExtensions;
Chris Lattnerdb6be562007-11-28 05:34:05 +0000749 Options.WritableStrings = WritableStrings;
Anders Carlsson355ed052009-01-30 23:17:46 +0000750 if (NoLaxVectorConversions.getPosition())
751 Options.LaxVectorConversions = 0;
Daniel Dunbar91692d92008-08-11 17:36:14 +0000752 Options.Exceptions = Exceptions;
Mike Stump9093c742009-02-02 22:57:57 +0000753 if (EnableBlocks.getPosition())
Chris Lattnerd7bc88b2008-12-04 23:20:07 +0000754 Options.Blocks = EnableBlocks;
Eli Friedman449eb692009-06-05 07:12:17 +0000755 if (CharIsSigned.getPosition())
756 Options.CharIsSigned = CharIsSigned;
Daniel Dunbar1be1df32008-08-11 21:35:06 +0000757
Daniel Dunbar73e8e032009-03-20 23:49:28 +0000758 if (!AllowBuiltins)
Chris Lattner911b8672009-03-13 22:38:49 +0000759 Options.NoBuiltin = 1;
Douglas Gregor23d23262009-02-14 20:49:29 +0000760 if (Freestanding)
Chris Lattner911b8672009-03-13 22:38:49 +0000761 Options.Freestanding = Options.NoBuiltin = 1;
762
Chris Lattner1e3eedb2009-03-13 17:38:01 +0000763 if (EnableHeinousExtensions)
764 Options.HeinousExtensions = 1;
Douglas Gregor23d23262009-02-14 20:49:29 +0000765
Anders Carlssonf2310142009-05-13 19:49:53 +0000766 if (AccessControl)
767 Options.AccessControl = 1;
768
Daniel Dunbarfd46ea22009-02-16 22:43:43 +0000769 Options.MathErrno = MathErrno;
770
Douglas Gregor375733c2009-03-10 00:06:19 +0000771 Options.InstantiationDepth = TemplateDepth;
772
Chris Lattnerddae7102008-12-04 22:54:33 +0000773 // Override the default runtime if the user requested it.
774 if (NeXTRuntime)
Daniel Dunbar1be1df32008-08-11 21:35:06 +0000775 Options.NeXTRuntime = 1;
Chris Lattnerddae7102008-12-04 22:54:33 +0000776 else if (GNURuntime)
Daniel Dunbar1be1df32008-08-11 21:35:06 +0000777 Options.NeXTRuntime = 0;
Fariborz Jahanian48543f52009-01-21 22:04:16 +0000778
Fariborz Jahaniand0374812009-01-22 23:02:58 +0000779 if (ObjCNonFragileABI)
780 Options.ObjCNonFragileABI = 1;
Fariborz Jahanianfefd5e82009-05-22 20:17:16 +0000781
782 Options.ObjCSenderDispatch = ObjCSenderDispatch;
Daniel Dunbar5523e862009-05-04 05:16:21 +0000783
Daniel Dunbar9bae8652009-02-04 21:19:06 +0000784 if (EmitAllDecls)
785 Options.EmitAllDecls = 1;
Anders Carlssondfd77642009-04-06 17:37:10 +0000786
Daniel Dunbarcdd3c762009-04-08 18:03:55 +0000787 // The __OPTIMIZE_SIZE__ define is tied to -Oz, which we don't
788 // support.
789 Options.OptimizeSize = 0;
Anders Carlssondfd77642009-04-06 17:37:10 +0000790
791 // -Os implies -O2
Daniel Dunbarcdd3c762009-04-08 18:03:55 +0000792 if (OptSize || OptLevel)
Anders Carlssondfd77642009-04-06 17:37:10 +0000793 Options.Optimize = 1;
Daniel Dunbare079c712009-04-08 03:03:23 +0000794
795 assert(PICLevel <= 2 && "Invalid value for -pic-level");
796 Options.PICLevel = PICLevel;
Daniel Dunbardedc94c2009-04-08 05:11:16 +0000797
Daniel Dunbarcdd3c762009-04-08 18:03:55 +0000798 Options.GNUInline = !Options.C99;
Chris Lattnerd7f00522009-05-06 04:38:30 +0000799 // FIXME: This is affected by other options (-fno-inline).
Daniel Dunbarcdd3c762009-04-08 18:03:55 +0000800 Options.NoInline = !OptSize && !OptLevel;
801
802 Options.Static = StaticDefine;
803
Daniel Dunbardedc94c2009-04-08 05:11:16 +0000804 if (MainFileName.getPosition())
805 Options.setMainFileName(MainFileName.c_str());
Chris Lattner4b009652007-07-25 00:24:17 +0000806}
807
808//===----------------------------------------------------------------------===//
Ted Kremenek40499482007-12-03 22:06:55 +0000809// Target Triple Processing.
810//===----------------------------------------------------------------------===//
811
812static llvm::cl::opt<std::string>
813TargetTriple("triple",
Sanjiv Gupta69683532008-05-08 08:28:14 +0000814 llvm::cl::desc("Specify target triple (e.g. i686-apple-darwin9)"));
Ted Kremenek40499482007-12-03 22:06:55 +0000815
Chris Lattnerfc457002008-03-05 01:18:20 +0000816static llvm::cl::opt<std::string>
Chris Lattner2b168e02008-09-30 01:13:12 +0000817MacOSVersionMin("mmacosx-version-min",
Daniel Dunbar93f64532009-04-10 19:52:24 +0000818 llvm::cl::desc("Specify target Mac OS X version (e.g. 10.5)"));
Chris Lattner2b168e02008-09-30 01:13:12 +0000819
Chris Lattner01de9c82008-09-30 20:16:56 +0000820// If -mmacosx-version-min=10.3.9 is specified, change the triple from being
821// something like powerpc-apple-darwin9 to powerpc-apple-darwin7
Daniel Dunbar4d36d982009-03-31 20:10:05 +0000822
823// FIXME: We should have the driver do this instead.
Chris Lattner01de9c82008-09-30 20:16:56 +0000824static void HandleMacOSVersionMin(std::string &Triple) {
825 std::string::size_type DarwinDashIdx = Triple.find("-darwin");
826 if (DarwinDashIdx == std::string::npos) {
827 fprintf(stderr,
Daniel Dunbar93f64532009-04-10 19:52:24 +0000828 "-mmacosx-version-min only valid for darwin (Mac OS X) targets\n");
Chris Lattner01de9c82008-09-30 20:16:56 +0000829 exit(1);
830 }
831 unsigned DarwinNumIdx = DarwinDashIdx + strlen("-darwin");
832
Chris Lattner01de9c82008-09-30 20:16:56 +0000833 // Remove the number.
834 Triple.resize(DarwinNumIdx);
835
836 // Validate that MacOSVersionMin is a 'version number', starting with 10.[3-9]
837 bool MacOSVersionMinIsInvalid = false;
838 int VersionNum = 0;
839 if (MacOSVersionMin.size() < 4 ||
840 MacOSVersionMin.substr(0, 3) != "10." ||
841 !isdigit(MacOSVersionMin[3])) {
842 MacOSVersionMinIsInvalid = true;
843 } else {
844 const char *Start = MacOSVersionMin.c_str()+3;
845 char *End = 0;
846 VersionNum = (int)strtol(Start, &End, 10);
847
Chris Lattnerd376f6d2008-09-30 20:30:12 +0000848 // The version number must be in the range 0-9.
849 MacOSVersionMinIsInvalid = (unsigned)VersionNum > 9;
850
Chris Lattner01de9c82008-09-30 20:16:56 +0000851 // Turn MacOSVersionMin into a darwin number: e.g. 10.3.9 is 3 -> 7.
852 Triple += llvm::itostr(VersionNum+4);
853
Chris Lattnerd376f6d2008-09-30 20:30:12 +0000854 if (End[0] == '.' && isdigit(End[1]) && End[2] == '\0') { // 10.4.7 is ok.
855 // Add the period piece (.7) to the end of the triple. This gives us
856 // something like ...-darwin8.7
Chris Lattner01de9c82008-09-30 20:16:56 +0000857 Triple += End;
Chris Lattner01de9c82008-09-30 20:16:56 +0000858 } else if (End[0] != '\0') { // "10.4" is ok. 10.4x is not.
859 MacOSVersionMinIsInvalid = true;
860 }
861 }
862
863 if (MacOSVersionMinIsInvalid) {
864 fprintf(stderr,
Daniel Dunbar7fe2af62009-03-31 17:35:15 +0000865 "-mmacosx-version-min=%s is invalid, expected something like '10.4'.\n",
Chris Lattner01de9c82008-09-30 20:16:56 +0000866 MacOSVersionMin.c_str());
867 exit(1);
868 }
Fariborz Jahanian27c08a52009-04-10 20:33:45 +0000869 else if (VersionNum <= 4 &&
870 !strncmp(Triple.c_str(), "x86_64", strlen("x86_64"))) {
871 fprintf(stderr,
872 "-mmacosx-version-min=%s is invalid with -arch x86_64.\n",
873 MacOSVersionMin.c_str());
874 exit(1);
875 }
876
Chris Lattner01de9c82008-09-30 20:16:56 +0000877}
878
Daniel Dunbar93f64532009-04-10 19:52:24 +0000879static llvm::cl::opt<std::string>
880IPhoneOSVersionMin("miphoneos-version-min",
881 llvm::cl::desc("Specify target iPhone OS version (e.g. 2.0)"));
882
883// If -miphoneos-version-min=2.2 is specified, change the triple from being
884// something like armv6-apple-darwin10 to armv6-apple-darwin9.2.2. We use
885// 9 as the default major Darwin number, and encode the iPhone OS version
886// number in the minor version and revision.
887
888// FIXME: We should have the driver do this instead.
889static void HandleIPhoneOSVersionMin(std::string &Triple) {
890 std::string::size_type DarwinDashIdx = Triple.find("-darwin");
891 if (DarwinDashIdx == std::string::npos) {
892 fprintf(stderr,
893 "-miphoneos-version-min only valid for darwin (Mac OS X) targets\n");
894 exit(1);
895 }
896 unsigned DarwinNumIdx = DarwinDashIdx + strlen("-darwin");
897
898 // Remove the number.
899 Triple.resize(DarwinNumIdx);
900
901 // Validate that IPhoneOSVersionMin is a 'version number', starting with [2-9].[0-9]
902 bool IPhoneOSVersionMinIsInvalid = false;
903 int VersionNum = 0;
904 if (IPhoneOSVersionMin.size() < 3 ||
905 !isdigit(IPhoneOSVersionMin[0])) {
906 IPhoneOSVersionMinIsInvalid = true;
907 } else {
908 const char *Start = IPhoneOSVersionMin.c_str();
909 char *End = 0;
910 VersionNum = (int)strtol(Start, &End, 10);
911
912 // The version number must be in the range 0-9.
913 IPhoneOSVersionMinIsInvalid = (unsigned)VersionNum > 9;
914
915 // Turn IPhoneOSVersionMin into a darwin number: e.g. 2.0 is 2 -> 9.2.
916 Triple += "9." + llvm::itostr(VersionNum);
917
918 if (End[0] == '.' && isdigit(End[1]) && End[2] == '\0') { // 2.2 is ok.
919 // Add the period piece (.2) to the end of the triple. This gives us
920 // something like ...-darwin9.2.2
921 Triple += End;
922 } else if (End[0] != '\0') { // "2.2" is ok. 2x is not.
923 IPhoneOSVersionMinIsInvalid = true;
924 }
925 }
926
927 if (IPhoneOSVersionMinIsInvalid) {
928 fprintf(stderr,
929 "-miphoneos-version-min=%s is invalid, expected something like '2.0'.\n",
930 IPhoneOSVersionMin.c_str());
931 exit(1);
932 }
933}
934
Chris Lattner01de9c82008-09-30 20:16:56 +0000935/// CreateTargetTriple - Process the various options that affect the target
936/// triple and build a final aggregate triple that we are compiling for.
Chris Lattnerf3d79c32008-03-09 01:35:13 +0000937static std::string CreateTargetTriple() {
Ted Kremenek40499482007-12-03 22:06:55 +0000938 // Initialize base triple. If a -triple option has been specified, use
939 // that triple. Otherwise, default to the host triple.
Chris Lattner210c0cc2007-12-12 05:01:48 +0000940 std::string Triple = TargetTriple;
Daniel Dunbar7fe2af62009-03-31 17:35:15 +0000941 if (Triple.empty())
942 Triple = llvm::sys::getHostTriple();
Chris Lattner2b168e02008-09-30 01:13:12 +0000943
944 // If -mmacosx-version-min=10.3.9 is specified, change the triple from being
945 // something like powerpc-apple-darwin9 to powerpc-apple-darwin7
Chris Lattner01de9c82008-09-30 20:16:56 +0000946 if (!MacOSVersionMin.empty())
947 HandleMacOSVersionMin(Triple);
Daniel Dunbar93f64532009-04-10 19:52:24 +0000948 else if (!IPhoneOSVersionMin.empty())
949 HandleIPhoneOSVersionMin(Triple);;
Ted Kremenek40499482007-12-03 22:06:55 +0000950
Chris Lattner2b168e02008-09-30 01:13:12 +0000951 return Triple;
Ted Kremenek40499482007-12-03 22:06:55 +0000952}
953
954//===----------------------------------------------------------------------===//
Chris Lattner94269d72009-04-21 05:40:52 +0000955// SourceManager initialization.
Chris Lattner4b009652007-07-25 00:24:17 +0000956//===----------------------------------------------------------------------===//
957
Douglas Gregorb3a04c82009-04-10 23:10:45 +0000958static bool InitializeSourceManager(Preprocessor &PP,
959 const std::string &InFile) {
960 // Figure out where to get and map in the main file.
961 SourceManager &SourceMgr = PP.getSourceManager();
962 FileManager &FileMgr = PP.getFileManager();
Daniel Dunbarbb56def2009-04-27 21:19:07 +0000963
964 if (EmptyInputOnly) {
965 const char *EmptyStr = "";
966 llvm::MemoryBuffer *SB =
967 llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<empty input>");
968 SourceMgr.createMainFileIDForMemBuffer(SB);
969 } else if (InFile != "-") {
Douglas Gregorb3a04c82009-04-10 23:10:45 +0000970 const FileEntry *File = FileMgr.getFile(InFile);
971 if (File) SourceMgr.createMainFileID(File, SourceLocation());
972 if (SourceMgr.getMainFileID().isInvalid()) {
973 PP.getDiagnostics().Report(FullSourceLoc(), diag::err_fe_error_reading)
974 << InFile.c_str();
975 return true;
976 }
977 } else {
978 llvm::MemoryBuffer *SB = llvm::MemoryBuffer::getSTDIN();
979
980 // If stdin was empty, SB is null. Cons up an empty memory
981 // buffer now.
982 if (!SB) {
983 const char *EmptyStr = "";
984 SB = llvm::MemoryBuffer::getMemBuffer(EmptyStr, EmptyStr, "<stdin>");
985 }
986
987 SourceMgr.createMainFileIDForMemBuffer(SB);
988 if (SourceMgr.getMainFileID().isInvalid()) {
989 PP.getDiagnostics().Report(FullSourceLoc(),
990 diag::err_fe_error_reading_stdin);
991 return true;
992 }
993 }
994
995 return false;
996}
997
Chris Lattner47b6a162008-04-19 23:09:31 +0000998
Chris Lattner94269d72009-04-21 05:40:52 +0000999//===----------------------------------------------------------------------===//
1000// Preprocessor Initialization
1001//===----------------------------------------------------------------------===//
Sam Bishop61a20782008-04-14 14:41:57 +00001002
Chris Lattner94269d72009-04-21 05:40:52 +00001003// FIXME: Preprocessor builtins to support.
1004// -A... - Play with #assertions
1005// -undef - Undefine all predefined macros
Chris Lattnerb62396d2009-04-08 20:15:42 +00001006
Chris Lattner94269d72009-04-21 05:40:52 +00001007static llvm::cl::list<std::string>
1008D_macros("D", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
1009 llvm::cl::desc("Predefine the specified macro"));
1010static llvm::cl::list<std::string>
1011U_macros("U", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
1012 llvm::cl::desc("Undefine the specified macro"));
Chris Lattner0e004a12009-04-08 18:24:34 +00001013
Chris Lattner94269d72009-04-21 05:40:52 +00001014static llvm::cl::list<std::string>
1015ImplicitIncludes("include", llvm::cl::value_desc("file"),
1016 llvm::cl::desc("Include file before parsing"));
1017static llvm::cl::list<std::string>
1018ImplicitMacroIncludes("imacros", llvm::cl::value_desc("file"),
1019 llvm::cl::desc("Include macros from file before parsing"));
Chris Lattner0e004a12009-04-08 18:24:34 +00001020
Chris Lattner94269d72009-04-21 05:40:52 +00001021static llvm::cl::opt<std::string>
1022ImplicitIncludePCH("include-pch", llvm::cl::value_desc("file"),
1023 llvm::cl::desc("Include precompiled header file"));
1024
1025static llvm::cl::opt<std::string>
1026ImplicitIncludePTH("include-pth", llvm::cl::value_desc("file"),
1027 llvm::cl::desc("Include file before parsing"));
1028
Chris Lattner4b009652007-07-25 00:24:17 +00001029
1030//===----------------------------------------------------------------------===//
1031// Preprocessor include path information.
1032//===----------------------------------------------------------------------===//
1033
1034// This tool exports a large number of command line options to control how the
1035// preprocessor searches for header files. At root, however, the Preprocessor
1036// object takes a very simple interface: a list of directories to search for
1037//
Daniel Dunbarf1c39f02009-05-06 03:48:17 +00001038// FIXME: -nostdinc++
Chris Lattnerae3dcc02007-08-26 17:47:35 +00001039// FIXME: -imultilib
Chris Lattner4b009652007-07-25 00:24:17 +00001040//
Chris Lattner4b009652007-07-25 00:24:17 +00001041
1042static llvm::cl::opt<bool>
1043nostdinc("nostdinc", llvm::cl::desc("Disable standard #include directories"));
1044
1045// Various command line options. These four add directories to each chain.
1046static llvm::cl::list<std::string>
1047F_dirs("F", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1048 llvm::cl::desc("Add directory to framework include search path"));
1049static llvm::cl::list<std::string>
1050I_dirs("I", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1051 llvm::cl::desc("Add directory to include search path"));
1052static llvm::cl::list<std::string>
1053idirafter_dirs("idirafter", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1054 llvm::cl::desc("Add directory to AFTER include search path"));
1055static llvm::cl::list<std::string>
1056iquote_dirs("iquote", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1057 llvm::cl::desc("Add directory to QUOTE include search path"));
1058static llvm::cl::list<std::string>
1059isystem_dirs("isystem", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
1060 llvm::cl::desc("Add directory to SYSTEM include search path"));
1061
1062// These handle -iprefix/-iwithprefix/-iwithprefixbefore.
1063static llvm::cl::list<std::string>
1064iprefix_vals("iprefix", llvm::cl::value_desc("prefix"), llvm::cl::Prefix,
1065 llvm::cl::desc("Set the -iwithprefix/-iwithprefixbefore prefix"));
1066static llvm::cl::list<std::string>
1067iwithprefix_vals("iwithprefix", llvm::cl::value_desc("dir"), llvm::cl::Prefix,
1068 llvm::cl::desc("Set directory to SYSTEM include search path with prefix"));
1069static llvm::cl::list<std::string>
1070iwithprefixbefore_vals("iwithprefixbefore", llvm::cl::value_desc("dir"),
1071 llvm::cl::Prefix,
1072 llvm::cl::desc("Set directory to include search path with prefix"));
1073
Chris Lattnerae3dcc02007-08-26 17:47:35 +00001074static llvm::cl::opt<std::string>
1075isysroot("isysroot", llvm::cl::value_desc("dir"), llvm::cl::init("/"),
1076 llvm::cl::desc("Set the system root directory (usually /)"));
1077
Chris Lattner4b009652007-07-25 00:24:17 +00001078// Finally, implement the code that groks the options above.
Chris Lattner4f022a72008-03-01 08:07:28 +00001079
Chris Lattner4b009652007-07-25 00:24:17 +00001080/// InitializeIncludePaths - Process the -I options and set them in the
1081/// HeaderSearch object.
Nico Weber770e3882008-08-22 09:25:22 +00001082void InitializeIncludePaths(const char *Argv0, HeaderSearch &Headers,
1083 FileManager &FM, const LangOptions &Lang) {
1084 InitHeaderSearch Init(Headers, Verbose, isysroot);
1085
Ted Kremenekb4d41e12008-05-31 00:27:00 +00001086 // Handle -I... and -F... options, walking the lists in parallel.
1087 unsigned Iidx = 0, Fidx = 0;
1088 while (Iidx < I_dirs.size() && Fidx < F_dirs.size()) {
1089 if (I_dirs.getPosition(Iidx) < F_dirs.getPosition(Fidx)) {
Nico Weber770e3882008-08-22 09:25:22 +00001090 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekb4d41e12008-05-31 00:27:00 +00001091 ++Iidx;
1092 } else {
Nico Weber770e3882008-08-22 09:25:22 +00001093 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Ted Kremenekb4d41e12008-05-31 00:27:00 +00001094 ++Fidx;
1095 }
1096 }
Chris Lattner4b009652007-07-25 00:24:17 +00001097
Ted Kremenekb4d41e12008-05-31 00:27:00 +00001098 // Consume what's left from whatever list was longer.
1099 for (; Iidx != I_dirs.size(); ++Iidx)
Nico Weber770e3882008-08-22 09:25:22 +00001100 Init.AddPath(I_dirs[Iidx], InitHeaderSearch::Angled, false, true, false);
Ted Kremenekb4d41e12008-05-31 00:27:00 +00001101 for (; Fidx != F_dirs.size(); ++Fidx)
Nico Weber770e3882008-08-22 09:25:22 +00001102 Init.AddPath(F_dirs[Fidx], InitHeaderSearch::Angled, false, true, true);
Chris Lattner4b009652007-07-25 00:24:17 +00001103
1104 // Handle -idirafter... options.
1105 for (unsigned i = 0, e = idirafter_dirs.size(); i != e; ++i)
Nico Weber770e3882008-08-22 09:25:22 +00001106 Init.AddPath(idirafter_dirs[i], InitHeaderSearch::After,
1107 false, true, false);
Chris Lattner4b009652007-07-25 00:24:17 +00001108
1109 // Handle -iquote... options.
1110 for (unsigned i = 0, e = iquote_dirs.size(); i != e; ++i)
Nico Weber770e3882008-08-22 09:25:22 +00001111 Init.AddPath(iquote_dirs[i], InitHeaderSearch::Quoted, false, true, false);
Chris Lattner4b009652007-07-25 00:24:17 +00001112
1113 // Handle -isystem... options.
1114 for (unsigned i = 0, e = isystem_dirs.size(); i != e; ++i)
Nico Weber770e3882008-08-22 09:25:22 +00001115 Init.AddPath(isystem_dirs[i], InitHeaderSearch::System, false, true, false);
Chris Lattner4b009652007-07-25 00:24:17 +00001116
1117 // Walk the -iprefix/-iwithprefix/-iwithprefixbefore argument lists in
1118 // parallel, processing the values in order of occurance to get the right
1119 // prefixes.
1120 {
1121 std::string Prefix = ""; // FIXME: this isn't the correct default prefix.
1122 unsigned iprefix_idx = 0;
1123 unsigned iwithprefix_idx = 0;
1124 unsigned iwithprefixbefore_idx = 0;
1125 bool iprefix_done = iprefix_vals.empty();
1126 bool iwithprefix_done = iwithprefix_vals.empty();
1127 bool iwithprefixbefore_done = iwithprefixbefore_vals.empty();
1128 while (!iprefix_done || !iwithprefix_done || !iwithprefixbefore_done) {
1129 if (!iprefix_done &&
1130 (iwithprefix_done ||
1131 iprefix_vals.getPosition(iprefix_idx) <
1132 iwithprefix_vals.getPosition(iwithprefix_idx)) &&
1133 (iwithprefixbefore_done ||
1134 iprefix_vals.getPosition(iprefix_idx) <
1135 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
1136 Prefix = iprefix_vals[iprefix_idx];
1137 ++iprefix_idx;
1138 iprefix_done = iprefix_idx == iprefix_vals.size();
1139 } else if (!iwithprefix_done &&
1140 (iwithprefixbefore_done ||
1141 iwithprefix_vals.getPosition(iwithprefix_idx) <
1142 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
Nico Weber770e3882008-08-22 09:25:22 +00001143 Init.AddPath(Prefix+iwithprefix_vals[iwithprefix_idx],
1144 InitHeaderSearch::System, false, false, false);
Chris Lattner4b009652007-07-25 00:24:17 +00001145 ++iwithprefix_idx;
1146 iwithprefix_done = iwithprefix_idx == iwithprefix_vals.size();
1147 } else {
Nico Weber770e3882008-08-22 09:25:22 +00001148 Init.AddPath(Prefix+iwithprefixbefore_vals[iwithprefixbefore_idx],
1149 InitHeaderSearch::Angled, false, false, false);
Chris Lattner4b009652007-07-25 00:24:17 +00001150 ++iwithprefixbefore_idx;
1151 iwithprefixbefore_done =
1152 iwithprefixbefore_idx == iwithprefixbefore_vals.size();
1153 }
1154 }
1155 }
Chris Lattner4f022a72008-03-01 08:07:28 +00001156
Nico Weber770e3882008-08-22 09:25:22 +00001157 Init.AddDefaultEnvVarPaths(Lang);
Chris Lattner4f022a72008-03-01 08:07:28 +00001158
Daniel Dunbar4e604292009-02-21 20:52:41 +00001159 // Add the clang headers, which are relative to the clang binary.
Chris Lattner3ee4a2f2008-03-03 03:16:03 +00001160 llvm::sys::Path MainExecutablePath =
Chris Lattner716a0542008-03-03 05:57:43 +00001161 llvm::sys::Path::GetMainExecutable(Argv0,
1162 (void*)(intptr_t)InitializeIncludePaths);
Chris Lattner3ee4a2f2008-03-03 03:16:03 +00001163 if (!MainExecutablePath.isEmpty()) {
1164 MainExecutablePath.eraseComponent(); // Remove /clang from foo/bin/clang
1165 MainExecutablePath.eraseComponent(); // Remove /bin from foo/bin
Daniel Dunbar4e604292009-02-21 20:52:41 +00001166
Daniel Dunbarf1c39f02009-05-06 03:48:17 +00001167 // Get foo/lib/clang/<version>/include
Daniel Dunbar4e604292009-02-21 20:52:41 +00001168 MainExecutablePath.appendComponent("lib");
1169 MainExecutablePath.appendComponent("clang");
Daniel Dunbarf1c39f02009-05-06 03:48:17 +00001170 MainExecutablePath.appendComponent(CLANG_VERSION_STRING);
Daniel Dunbar4e604292009-02-21 20:52:41 +00001171 MainExecutablePath.appendComponent("include");
Chris Lattner99a72652009-02-19 06:48:28 +00001172
1173 // We pass true to ignore sysroot so that we *always* look for clang headers
1174 // relative to our executable, never relative to -isysroot.
1175 Init.AddPath(MainExecutablePath.c_str(), InitHeaderSearch::System,
1176 false, false, false, true /*ignore sysroot*/);
Chris Lattner3ee4a2f2008-03-03 03:16:03 +00001177 }
1178
Nico Weber770e3882008-08-22 09:25:22 +00001179 if (!nostdinc)
1180 Init.AddDefaultSystemIncludePaths(Lang);
Chris Lattner4b009652007-07-25 00:24:17 +00001181
1182 // Now that we have collected all of the include paths, merge them all
1183 // together and tell the preprocessor about them.
1184
Nico Weber770e3882008-08-22 09:25:22 +00001185 Init.Realize();
Chris Lattner4b009652007-07-25 00:24:17 +00001186}
1187
Chris Lattner94269d72009-04-21 05:40:52 +00001188void InitializePreprocessorInitOptions(PreprocessorInitOptions &InitOpts)
1189{
1190 // Add macros from the command line.
1191 unsigned d = 0, D = D_macros.size();
1192 unsigned u = 0, U = U_macros.size();
1193 while (d < D || u < U) {
1194 if (u == U || (d < D && D_macros.getPosition(d) < U_macros.getPosition(u)))
1195 InitOpts.addMacroDef(D_macros[d++]);
1196 else
1197 InitOpts.addMacroUndef(U_macros[u++]);
1198 }
1199
1200 // If -imacros are specified, include them now. These are processed before
1201 // any -include directives.
1202 for (unsigned i = 0, e = ImplicitMacroIncludes.size(); i != e; ++i)
1203 InitOpts.addMacroInclude(ImplicitMacroIncludes[i]);
1204
Douglas Gregoreccf0d12009-05-12 01:31:05 +00001205 if (!ImplicitIncludePTH.empty() || !ImplicitIncludes.empty() ||
1206 (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)) {
Chris Lattner94269d72009-04-21 05:40:52 +00001207 // We want to add these paths to the predefines buffer in order, make a
1208 // temporary vector to sort by their occurrence.
1209 llvm::SmallVector<std::pair<unsigned, std::string*>, 8> OrderedPaths;
1210
1211 if (!ImplicitIncludePTH.empty())
1212 OrderedPaths.push_back(std::make_pair(ImplicitIncludePTH.getPosition(),
1213 &ImplicitIncludePTH));
Douglas Gregoreccf0d12009-05-12 01:31:05 +00001214 if (!ImplicitIncludePCH.empty() && ProgAction == PrintPreprocessedInput)
1215 OrderedPaths.push_back(std::make_pair(ImplicitIncludePCH.getPosition(),
1216 &ImplicitIncludePCH));
Chris Lattner94269d72009-04-21 05:40:52 +00001217 for (unsigned i = 0, e = ImplicitIncludes.size(); i != e; ++i)
1218 OrderedPaths.push_back(std::make_pair(ImplicitIncludes.getPosition(i),
1219 &ImplicitIncludes[i]));
1220 llvm::array_pod_sort(OrderedPaths.begin(), OrderedPaths.end());
1221
1222
1223 // Now that they are ordered by position, add to the predefines buffer.
1224 for (unsigned i = 0, e = OrderedPaths.size(); i != e; ++i) {
1225 std::string *Ptr = OrderedPaths[i].second;
1226 if (!ImplicitIncludes.empty() &&
1227 Ptr >= &ImplicitIncludes[0] &&
1228 Ptr <= &ImplicitIncludes[ImplicitIncludes.size()-1]) {
1229 InitOpts.addInclude(*Ptr, false);
Douglas Gregoreccf0d12009-05-12 01:31:05 +00001230 } else if (Ptr == &ImplicitIncludePTH) {
Chris Lattner94269d72009-04-21 05:40:52 +00001231 InitOpts.addInclude(*Ptr, true);
Douglas Gregoreccf0d12009-05-12 01:31:05 +00001232 } else {
1233 // We end up here when we're producing preprocessed output and
1234 // we loaded a PCH file. In this case, just include the header
1235 // file that was used to build the precompiled header.
1236 assert(Ptr == &ImplicitIncludePCH);
1237 std::string OriginalFile = PCHReader::getOriginalSourceFile(*Ptr);
1238 if (!OriginalFile.empty()) {
1239 InitOpts.addInclude(OriginalFile, false);
1240 ImplicitIncludePCH.clear();
1241 }
Chris Lattner94269d72009-04-21 05:40:52 +00001242 }
1243 }
1244 }
1245}
1246
Ted Kremenek01d3bf72008-04-17 21:38:34 +00001247//===----------------------------------------------------------------------===//
1248// Driver PreprocessorFactory - For lazily generating preprocessors ...
1249//===----------------------------------------------------------------------===//
1250
1251namespace {
1252class VISIBILITY_HIDDEN DriverPreprocessorFactory : public PreprocessorFactory {
1253 Diagnostic &Diags;
1254 const LangOptions &LangInfo;
1255 TargetInfo &Target;
1256 SourceManager &SourceMgr;
1257 HeaderSearch &HeaderInfo;
Ted Kremenek4e9899f2008-04-17 22:31:54 +00001258
Ted Kremenek01d3bf72008-04-17 21:38:34 +00001259public:
Eli Friedmane934dca2009-05-18 07:39:39 +00001260 DriverPreprocessorFactory(Diagnostic &diags, const LangOptions &opts,
Ted Kremenek01d3bf72008-04-17 21:38:34 +00001261 TargetInfo &target, SourceManager &SM,
1262 HeaderSearch &Headers)
Eli Friedmane934dca2009-05-18 07:39:39 +00001263 : Diags(diags), LangInfo(opts), Target(target),
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001264 SourceMgr(SM), HeaderInfo(Headers) {}
Ted Kremenek4e9899f2008-04-17 22:31:54 +00001265
Ted Kremenek01d3bf72008-04-17 21:38:34 +00001266
1267 virtual ~DriverPreprocessorFactory() {}
1268
1269 virtual Preprocessor* CreatePreprocessor() {
Ted Kremenekd976c3d2009-01-15 18:47:46 +00001270 llvm::OwningPtr<PTHManager> PTHMgr;
1271
Ted Kremenek2ee90d52009-03-20 00:26:38 +00001272 if (!TokenCache.empty() && !ImplicitIncludePTH.empty()) {
1273 fprintf(stderr, "error: cannot use both -token-cache and -include-pth "
1274 "options\n");
Ted Kremenek6348cc62009-03-22 06:42:39 +00001275 exit(1);
Ted Kremenek2ee90d52009-03-20 00:26:38 +00001276 }
1277
Ted Kremenekd976c3d2009-01-15 18:47:46 +00001278 // Use PTH?
Ted Kremenek2ee90d52009-03-20 00:26:38 +00001279 if (!TokenCache.empty() || !ImplicitIncludePTH.empty()) {
1280 const std::string& x = TokenCache.empty() ? ImplicitIncludePTH:TokenCache;
Ted Kremenek6348cc62009-03-22 06:42:39 +00001281 PTHMgr.reset(PTHManager::Create(x, &Diags,
1282 TokenCache.empty() ? Diagnostic::Error
1283 : Diagnostic::Warning));
Ted Kremenek2ee90d52009-03-20 00:26:38 +00001284 }
Ted Kremenekd976c3d2009-01-15 18:47:46 +00001285
Ted Kremenek6348cc62009-03-22 06:42:39 +00001286 if (Diags.hasErrorOccurred())
1287 exit(1);
1288
Ted Kremenekd976c3d2009-01-15 18:47:46 +00001289 // Create the Preprocessor.
1290 llvm::OwningPtr<Preprocessor> PP(new Preprocessor(Diags, LangInfo, Target,
1291 SourceMgr, HeaderInfo,
1292 PTHMgr.get()));
1293
1294 // Note that this is different then passing PTHMgr to Preprocessor's ctor.
1295 // That argument is used as the IdentifierInfoLookup argument to
1296 // IdentifierTable's ctor.
1297 if (PTHMgr) {
1298 PTHMgr->setPreprocessor(PP.get());
1299 PP->setPTHManager(PTHMgr.take());
1300 }
Douglas Gregorab1cef72009-04-10 03:52:48 +00001301
Chris Lattner94269d72009-04-21 05:40:52 +00001302 PreprocessorInitOptions InitOpts;
1303 InitializePreprocessorInitOptions(InitOpts);
Eli Friedmane934dca2009-05-18 07:39:39 +00001304 if (InitializePreprocessor(*PP, InitOpts))
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001305 return 0;
Chris Lattner94269d72009-04-21 05:40:52 +00001306
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001307 return PP.take();
Ted Kremenek01d3bf72008-04-17 21:38:34 +00001308 }
1309};
1310}
Chris Lattner4b009652007-07-25 00:24:17 +00001311
Chris Lattner4b009652007-07-25 00:24:17 +00001312//===----------------------------------------------------------------------===//
1313// Basic Parser driver
1314//===----------------------------------------------------------------------===//
1315
Chris Lattner9d818a22008-04-19 23:25:44 +00001316static void ParseFile(Preprocessor &PP, MinimalAction *PA) {
Chris Lattner4b009652007-07-25 00:24:17 +00001317 Parser P(PP, *PA);
Ted Kremenek17861c52007-12-19 22:51:13 +00001318 PP.EnterMainSourceFile();
Chris Lattner4b009652007-07-25 00:24:17 +00001319
1320 // Parsing the specified input file.
1321 P.ParseTranslationUnit();
1322 delete PA;
1323}
1324
1325//===----------------------------------------------------------------------===//
Daniel Dunbaraa7a0662008-10-23 05:50:47 +00001326// Code generation options
1327//===----------------------------------------------------------------------===//
1328
1329static llvm::cl::opt<bool>
Chris Lattner9a09eda2009-03-09 22:05:03 +00001330GenerateDebugInfo("g",
1331 llvm::cl::desc("Generate source level debug information"));
1332
Daniel Dunbar9101a632009-02-17 19:47:34 +00001333static llvm::cl::opt<std::string>
1334TargetCPU("mcpu",
1335 llvm::cl::desc("Target a specific cpu type (-mcpu=help for details)"));
1336
Daniel Dunbar07181d72009-05-06 03:16:41 +00001337static llvm::cl::list<std::string>
1338TargetFeatures("target-feature", llvm::cl::desc("Target specific attributes"));
1339
Devang Patela3707f12009-06-04 23:32:02 +00001340
1341static llvm::cl::opt<bool>
1342DisableRedZone("disable-red-zone",
1343 llvm::cl::desc("Do not emit code that uses the red zone."),
1344 llvm::cl::init(false));
1345
Devang Patel62c2cca2009-06-05 22:05:48 +00001346static llvm::cl::opt<bool>
1347NoImplicitFloat("no-implicit-float",
1348 llvm::cl::desc("Don't generate implicit floating point instructions (x86-only)"),
1349 llvm::cl::init(false));
1350
Daniel Dunbar07181d72009-05-06 03:16:41 +00001351/// ComputeTargetFeatures - Recompute the target feature list to only
1352/// be the list of things that are enabled, based on the target cpu
1353/// and feature list.
1354static void ComputeFeatureMap(TargetInfo *Target,
1355 llvm::StringMap<bool> &Features) {
1356 assert(Features.empty() && "invalid map");
1357
1358 // Initialize the feature map based on the target.
1359 Target->getDefaultFeatures(TargetCPU, Features);
1360
1361 // Apply the user specified deltas.
1362 for (llvm::cl::list<std::string>::iterator it = TargetFeatures.begin(),
1363 ie = TargetFeatures.end(); it != ie; ++it) {
1364 const char *Name = it->c_str();
1365
1366 // FIXME: Don't handle errors like this.
1367 if (Name[0] != '-' && Name[0] != '+') {
1368 fprintf(stderr, "error: clang-cc: invalid target feature string: %s\n",
1369 Name);
1370 exit(1);
1371 }
Daniel Dunbar0838f962009-05-06 21:07:50 +00001372 if (!Target->setFeatureEnabled(Features, Name + 1, (Name[0] == '+'))) {
1373 fprintf(stderr, "error: clang-cc: invalid target feature name: %s\n",
1374 Name + 1);
Daniel Dunbar07181d72009-05-06 03:16:41 +00001375 exit(1);
1376 }
Daniel Dunbar07181d72009-05-06 03:16:41 +00001377 }
1378}
1379
Chris Lattner8a9615c2009-03-16 18:41:18 +00001380static void InitializeCompileOptions(CompileOptions &Opts,
Daniel Dunbar07181d72009-05-06 03:16:41 +00001381 const LangOptions &LangOpts,
1382 const llvm::StringMap<bool> &Features) {
Daniel Dunbaraa7a0662008-10-23 05:50:47 +00001383 Opts.OptimizeSize = OptSize;
Chris Lattner88cbb9b2009-03-09 22:00:34 +00001384 Opts.DebugInfo = GenerateDebugInfo;
Daniel Dunbard27b66b2009-06-02 22:07:45 +00001385
1386 if (DisableLLVMOptimizations) {
1387 Opts.OptimizationLevel = 0;
1388 Opts.Inlining = CompileOptions::NoInlining;
Daniel Dunbard725b162008-10-29 07:56:11 +00001389 } else {
Daniel Dunbard27b66b2009-06-02 22:07:45 +00001390 if (OptSize) {
1391 // -Os implies -O2
1392 Opts.OptimizationLevel = 2;
1393 } else {
1394 Opts.OptimizationLevel = OptLevel;
1395 }
1396
1397 // We must always run at least the always inlining pass.
1398 if (Opts.OptimizationLevel > 1)
1399 Opts.Inlining = CompileOptions::NormalInlining;
1400 else
1401 Opts.Inlining = CompileOptions::OnlyAlwaysInlining;
Daniel Dunbard725b162008-10-29 07:56:11 +00001402 }
Daniel Dunbar721cbf12008-10-29 03:42:18 +00001403
1404 // FIXME: There are llvm-gcc options to control these selectively.
Daniel Dunbar721cbf12008-10-29 03:42:18 +00001405 Opts.UnrollLoops = (Opts.OptimizationLevel > 1 && !OptSize);
Chris Lattner8a9615c2009-03-16 18:41:18 +00001406 Opts.SimplifyLibCalls = !LangOpts.NoBuiltin;
Daniel Dunbare8d0ba72008-10-31 09:34:21 +00001407
1408#ifdef NDEBUG
1409 Opts.VerifyModule = 0;
1410#endif
Daniel Dunbar9101a632009-02-17 19:47:34 +00001411
1412 Opts.CPU = TargetCPU;
Daniel Dunbar07181d72009-05-06 03:16:41 +00001413 Opts.Features.clear();
1414 for (llvm::StringMap<bool>::const_iterator it = Features.begin(),
1415 ie = Features.end(); it != ie; ++it) {
1416 // FIXME: If we are completely confident that we have the right
1417 // set, we only need to pass the minuses.
1418 std::string Name(it->second ? "+" : "-");
1419 Name += it->first();
1420 Opts.Features.push_back(Name);
1421 }
Chris Lattnere8f70712009-02-18 01:23:44 +00001422
Chris Lattnerf04a7562009-03-26 05:00:52 +00001423 Opts.NoCommon = NoCommon | LangOpts.CPlusPlus;
1424
Chris Lattnere8f70712009-02-18 01:23:44 +00001425 // Handle -ftime-report.
1426 Opts.TimePasses = TimeReport;
Devang Patela3707f12009-06-04 23:32:02 +00001427
1428 Opts.DisableRedZone = DisableRedZone;
Devang Patel62c2cca2009-06-05 22:05:48 +00001429 Opts.NoImplicitFloat = NoImplicitFloat;
Daniel Dunbaraa7a0662008-10-23 05:50:47 +00001430}
1431
1432//===----------------------------------------------------------------------===//
Douglas Gregor24b48b02009-04-02 19:05:20 +00001433// Fix-It Options
1434//===----------------------------------------------------------------------===//
1435static llvm::cl::list<ParsedSourceLocation>
1436FixItAtLocations("fixit-at", llvm::cl::value_desc("source-location"),
1437 llvm::cl::desc("Perform Fix-It modifications at the given source location"));
1438
1439//===----------------------------------------------------------------------===//
Eli Friedman35ba7a62009-05-18 22:39:16 +00001440// ObjC Rewriter Options
1441//===----------------------------------------------------------------------===//
1442static llvm::cl::opt<bool>
1443SilenceRewriteMacroWarning("Wno-rewrite-macros", llvm::cl::init(false),
1444 llvm::cl::desc("Silence ObjC rewriting warnings"));
1445
1446//===----------------------------------------------------------------------===//
Eli Friedman4d03d382009-05-19 01:17:04 +00001447// Warning Options
1448//===----------------------------------------------------------------------===//
1449
1450// This gets all -W options, including -Werror, -W[no-]system-headers, etc. The
1451// driver has stripped off -Wa,foo etc. The driver has also translated -W to
1452// -Wextra, so we don't need to worry about it.
1453static llvm::cl::list<std::string>
1454OptWarnings("W", llvm::cl::Prefix, llvm::cl::ValueOptional);
1455
1456static llvm::cl::opt<bool> OptPedantic("pedantic");
1457static llvm::cl::opt<bool> OptPedanticErrors("pedantic-errors");
1458static llvm::cl::opt<bool> OptNoWarnings("w");
1459
1460//===----------------------------------------------------------------------===//
Eli Friedmane2554252009-05-19 03:06:47 +00001461// Preprocessing (-E mode) Options
1462//===----------------------------------------------------------------------===//
1463static llvm::cl::opt<bool>
1464DisableLineMarkers("P", llvm::cl::desc("Disable linemarker output in -E mode"));
1465static llvm::cl::opt<bool>
1466EnableCommentOutput("C", llvm::cl::desc("Enable comment output in -E mode"));
1467static llvm::cl::opt<bool>
1468EnableMacroCommentOutput("CC",
1469 llvm::cl::desc("Enable comment output in -E mode, "
1470 "even from macro expansions"));
1471static llvm::cl::opt<bool>
1472DumpMacros("dM", llvm::cl::desc("Print macro definitions in -E mode instead of"
1473 " normal output"));
1474static llvm::cl::opt<bool>
1475DumpDefines("dD", llvm::cl::desc("Print macro definitions in -E mode in "
1476 "addition to normal output"));
Eli Friedmane595fe92009-05-19 03:35:57 +00001477
1478//===----------------------------------------------------------------------===//
1479// Dependency file options
1480//===----------------------------------------------------------------------===//
1481static llvm::cl::opt<std::string>
1482DependencyFile("dependency-file",
1483 llvm::cl::desc("Filename (or -) to write dependency output to"));
1484
1485static llvm::cl::opt<bool>
1486DependenciesIncludeSystemHeaders("sys-header-deps",
1487 llvm::cl::desc("Include system headers in dependency output"));
1488
1489static llvm::cl::list<std::string>
1490DependencyTargets("MT",
1491 llvm::cl::desc("Specify target for dependency"));
1492
1493// FIXME: Implement feature
1494static llvm::cl::opt<bool>
1495PhonyDependencyTarget("MP",
1496 llvm::cl::desc("Create phony target for each dependency "
1497 "(other than main file)"));
1498
Eli Friedmane2554252009-05-19 03:06:47 +00001499//===----------------------------------------------------------------------===//
Eli Friedman78a57622009-05-19 10:18:02 +00001500// Analysis options
1501//===----------------------------------------------------------------------===//
1502
1503static llvm::cl::list<Analyses>
1504AnalysisList(llvm::cl::desc("Source Code Analysis - Checks and Analyses"),
1505llvm::cl::values(
1506#define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)\
1507clEnumValN(NAME, CMDFLAG, DESC),
Eli Friedman7efefa52009-05-19 21:10:40 +00001508#include "clang/Frontend/Analyses.def"
Eli Friedman78a57622009-05-19 10:18:02 +00001509clEnumValEnd));
1510
1511static llvm::cl::opt<AnalysisStores>
1512AnalysisStoreOpt("analyzer-store",
1513 llvm::cl::desc("Source Code Analysis - Abstract Memory Store Models"),
1514 llvm::cl::init(BasicStoreModel),
1515 llvm::cl::values(
1516#define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN)\
1517clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman7efefa52009-05-19 21:10:40 +00001518#include "clang/Frontend/Analyses.def"
Eli Friedman78a57622009-05-19 10:18:02 +00001519clEnumValEnd));
1520
1521static llvm::cl::opt<AnalysisConstraints>
1522AnalysisConstraintsOpt("analyzer-constraints",
1523 llvm::cl::desc("Source Code Analysis - Symbolic Constraint Engines"),
1524 llvm::cl::init(RangeConstraintsModel),
1525 llvm::cl::values(
1526#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)\
1527clEnumValN(NAME##Model, CMDFLAG, DESC),
Eli Friedman7efefa52009-05-19 21:10:40 +00001528#include "clang/Frontend/Analyses.def"
Eli Friedman78a57622009-05-19 10:18:02 +00001529clEnumValEnd));
1530
1531static llvm::cl::opt<AnalysisDiagClients>
1532AnalysisDiagOpt("analyzer-output",
1533 llvm::cl::desc("Source Code Analysis - Output Options"),
1534 llvm::cl::init(PD_HTML),
1535 llvm::cl::values(
1536#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN, AUTOCREATE)\
1537clEnumValN(PD_##NAME, CMDFLAG, DESC),
Eli Friedman7efefa52009-05-19 21:10:40 +00001538#include "clang/Frontend/Analyses.def"
Eli Friedman78a57622009-05-19 10:18:02 +00001539clEnumValEnd));
1540
1541static llvm::cl::opt<bool>
1542VisualizeEGDot("analyzer-viz-egraph-graphviz",
1543 llvm::cl::desc("Display exploded graph using GraphViz"));
1544
1545static llvm::cl::opt<bool>
1546VisualizeEGUbi("analyzer-viz-egraph-ubigraph",
1547 llvm::cl::desc("Display exploded graph using Ubigraph"));
1548
1549static llvm::cl::opt<bool>
1550AnalyzeAll("analyzer-opt-analyze-headers",
1551 llvm::cl::desc("Force the static analyzer to analyze "
1552 "functions defined in header files"));
1553
1554static llvm::cl::opt<bool>
1555AnalyzerDisplayProgress("analyzer-display-progress",
1556 llvm::cl::desc("Emit verbose output about the analyzer's progress."));
1557
1558static llvm::cl::opt<bool>
1559PurgeDead("analyzer-purge-dead",
1560 llvm::cl::init(true),
1561 llvm::cl::desc("Remove dead symbols, bindings, and constraints before"
1562 " processing a statement."));
1563
1564static llvm::cl::opt<bool>
1565EagerlyAssume("analyzer-eagerly-assume",
1566 llvm::cl::init(false),
1567 llvm::cl::desc("Eagerly assume the truth/falseness of some "
1568 "symbolic constraints."));
1569
1570static llvm::cl::opt<std::string>
1571AnalyzeSpecificFunction("analyze-function",
1572 llvm::cl::desc("Run analysis on specific function"));
1573
1574static llvm::cl::opt<bool>
1575TrimGraph("trim-egraph",
1576 llvm::cl::desc("Only show error-related paths in the analysis graph"));
1577
1578static AnalyzerOptions ReadAnalyzerOptions() {
1579 AnalyzerOptions Opts;
1580 Opts.AnalysisList = AnalysisList;
1581 Opts.AnalysisStoreOpt = AnalysisStoreOpt;
1582 Opts.AnalysisConstraintsOpt = AnalysisConstraintsOpt;
1583 Opts.AnalysisDiagOpt = AnalysisDiagOpt;
1584 Opts.VisualizeEGDot = VisualizeEGDot;
1585 Opts.VisualizeEGUbi = VisualizeEGUbi;
1586 Opts.AnalyzeAll = AnalyzeAll;
1587 Opts.AnalyzerDisplayProgress = AnalyzerDisplayProgress;
1588 Opts.PurgeDead = PurgeDead;
1589 Opts.EagerlyAssume = EagerlyAssume;
1590 Opts.AnalyzeSpecificFunction = AnalyzeSpecificFunction;
1591 Opts.TrimGraph = TrimGraph;
1592 return Opts;
1593}
1594
1595//===----------------------------------------------------------------------===//
Chris Lattner94859302009-04-17 21:05:01 +00001596// -dump-build-information Stuff
1597//===----------------------------------------------------------------------===//
1598
1599static llvm::cl::opt<std::string>
1600DumpBuildInformation("dump-build-information",
1601 llvm::cl::value_desc("filename"),
1602 llvm::cl::desc("output a dump of some build information to a file"));
1603
1604static llvm::raw_ostream *BuildLogFile = 0;
1605
1606/// LoggingDiagnosticClient - This is a simple diagnostic client that forwards
1607/// all diagnostics to both BuildLogFile and a chained DiagnosticClient.
1608namespace {
1609class LoggingDiagnosticClient : public DiagnosticClient {
1610 llvm::OwningPtr<DiagnosticClient> Chain1;
1611 llvm::OwningPtr<DiagnosticClient> Chain2;
1612public:
1613
1614 LoggingDiagnosticClient(DiagnosticClient *Normal) {
1615 // Output diags both where requested...
1616 Chain1.reset(Normal);
1617 // .. and to our log file.
1618 Chain2.reset(new TextDiagnosticPrinter(*BuildLogFile,
1619 !NoShowColumn,
1620 !NoCaretDiagnostics,
1621 !NoShowLocation,
1622 PrintSourceRangeInfo,
Chris Lattner041bd732009-04-19 07:44:08 +00001623 PrintDiagnosticOption,
Douglas Gregora4eb3e72009-05-01 21:53:04 +00001624 !NoDiagnosticsFixIt,
1625 MessageLength));
Chris Lattner94859302009-04-17 21:05:01 +00001626 }
1627
1628 virtual void setLangOptions(const LangOptions *LO) {
1629 Chain1->setLangOptions(LO);
1630 Chain2->setLangOptions(LO);
1631 }
1632
1633 virtual bool IncludeInDiagnosticCounts() const {
1634 return Chain1->IncludeInDiagnosticCounts();
1635 }
1636
1637 virtual void HandleDiagnostic(Diagnostic::Level DiagLevel,
1638 const DiagnosticInfo &Info) {
1639 Chain1->HandleDiagnostic(DiagLevel, Info);
1640 Chain2->HandleDiagnostic(DiagLevel, Info);
1641 }
1642};
1643} // end anonymous namespace.
1644
1645static void SetUpBuildDumpLog(unsigned argc, char **argv,
1646 llvm::OwningPtr<DiagnosticClient> &DiagClient) {
1647
1648 std::string ErrorInfo;
1649 BuildLogFile = new llvm::raw_fd_ostream(DumpBuildInformation.c_str(), false,
1650 ErrorInfo);
1651
1652 if (!ErrorInfo.empty()) {
1653 llvm::errs() << "error opening -dump-build-information file '"
1654 << DumpBuildInformation << "', option ignored!\n";
1655 delete BuildLogFile;
1656 BuildLogFile = 0;
1657 DumpBuildInformation = "";
1658 return;
1659 }
1660
1661 (*BuildLogFile) << "clang-cc command line arguments: ";
1662 for (unsigned i = 0; i != argc; ++i)
1663 (*BuildLogFile) << argv[i] << ' ';
1664 (*BuildLogFile) << '\n';
1665
1666 // LoggingDiagnosticClient - Insert a new logging diagnostic client in between
1667 // the diagnostic producers and the normal receiver.
1668 DiagClient.reset(new LoggingDiagnosticClient(DiagClient.take()));
1669}
1670
1671
1672
1673//===----------------------------------------------------------------------===//
Chris Lattner4b009652007-07-25 00:24:17 +00001674// Main driver
1675//===----------------------------------------------------------------------===//
1676
Eli Friedmana9c310842009-05-18 22:20:00 +00001677static llvm::raw_ostream* ComputeOutFile(const std::string& InFile,
1678 const char* Extension,
1679 bool Binary,
1680 llvm::sys::Path& OutPath) {
1681 llvm::raw_ostream* Ret;
1682 bool UseStdout = false;
1683 std::string OutFile;
1684 if (OutputFile == "-" || (OutputFile.empty() && InFile == "-")) {
1685 UseStdout = true;
1686 } else if (!OutputFile.empty()) {
1687 OutFile = OutputFile;
1688 } else if (Extension) {
1689 llvm::sys::Path Path(InFile);
1690 Path.eraseSuffix();
1691 Path.appendSuffix(Extension);
1692 OutFile = Path.toString();
1693 } else {
1694 UseStdout = true;
Chris Lattner7f902922009-02-18 01:20:05 +00001695 }
Seo Sanghyeon550a1eb2007-12-24 01:52:34 +00001696
Eli Friedmana9c310842009-05-18 22:20:00 +00001697 if (UseStdout) {
1698 Ret = new llvm::raw_stdout_ostream();
1699 if (Binary)
1700 llvm::sys::Program::ChangeStdoutToBinary();
1701 } else {
1702 std::string Error;
1703 Ret = new llvm::raw_fd_ostream(OutFile.c_str(), Binary, Error);
1704 if (!Error.empty()) {
1705 // FIXME: Don't fail this way.
1706 llvm::cerr << "ERROR: " << Error << "\n";
1707 ::exit(1);
1708 }
1709 OutPath = OutFile;
Ted Kremeneka36aaef2007-12-05 18:27:04 +00001710 }
Eli Friedmana9c310842009-05-18 22:20:00 +00001711
1712 return Ret;
Ted Kremeneka36aaef2007-12-05 18:27:04 +00001713}
1714
Chris Lattner4b009652007-07-25 00:24:17 +00001715/// ProcessInputFile - Process a single input file with the specified state.
1716///
Ted Kremenek4e9899f2008-04-17 22:31:54 +00001717static void ProcessInputFile(Preprocessor &PP, PreprocessorFactory &PPF,
Daniel Dunbar07181d72009-05-06 03:16:41 +00001718 const std::string &InFile, ProgActions PA,
1719 const llvm::StringMap<bool> &Features) {
Eli Friedmana9c310842009-05-18 22:20:00 +00001720 llvm::OwningPtr<llvm::raw_ostream> OS;
Ted Kremenek50aab982008-08-08 02:46:37 +00001721 llvm::OwningPtr<ASTConsumer> Consumer;
Chris Lattner4b009652007-07-25 00:24:17 +00001722 bool ClearSourceMgr = false;
Douglas Gregor133d2552009-04-02 01:08:08 +00001723 FixItRewriter *FixItRewrite = 0;
Douglas Gregore0d5c562009-04-14 16:27:31 +00001724 bool CompleteTranslationUnit = true;
Eli Friedmana9c310842009-05-18 22:20:00 +00001725 llvm::sys::Path OutPath;
Douglas Gregor133d2552009-04-02 01:08:08 +00001726
Ted Kremenek71c6cc62008-10-21 00:54:44 +00001727 switch (PA) {
Chris Lattner4b009652007-07-25 00:24:17 +00001728 default:
Eli Friedmana9c310842009-05-18 22:20:00 +00001729 fprintf(stderr, "Unexpected program action!\n");
1730 HadErrors = true;
1731 return;
1732
1733 case ASTPrint:
1734 OS.reset(ComputeOutFile(InFile, 0, false, OutPath));
1735 Consumer.reset(CreateASTPrinter(OS.get()));
1736 break;
Ted Kremeneka36aaef2007-12-05 18:27:04 +00001737
Douglas Gregor8987c032009-05-21 20:55:50 +00001738 case ASTPrintXML:
1739 OS.reset(ComputeOutFile(InFile, "xml", false, OutPath));
1740 Consumer.reset(CreateASTPrinterXML(OS.get()));
1741 break;
1742
Eli Friedmana9c310842009-05-18 22:20:00 +00001743 case ASTDump:
Douglas Gregor996677c2009-05-30 00:08:05 +00001744 Consumer.reset(CreateASTDumper());
Eli Friedmana9c310842009-05-18 22:20:00 +00001745 break;
1746
Eli Friedmana9c310842009-05-18 22:20:00 +00001747 case ASTView:
Douglas Gregor996677c2009-05-30 00:08:05 +00001748 Consumer.reset(CreateASTViewer());
Eli Friedmana9c310842009-05-18 22:20:00 +00001749 break;
1750
1751 case PrintDeclContext:
1752 Consumer.reset(CreateDeclContextPrinter());
1753 break;
1754
1755 case EmitHTML:
1756 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1757 Consumer.reset(CreateHTMLPrinter(OS.get(), PP.getDiagnostics(), &PP, &PPF));
1758 break;
1759
1760 case InheritanceView:
1761 Consumer.reset(CreateInheritanceViewer(InheritanceViewCls));
1762 break;
1763
1764 case EmitAssembly:
1765 case EmitLLVM:
1766 case EmitBC:
1767 case EmitLLVMOnly: {
1768 BackendAction Act;
1769 if (ProgAction == EmitAssembly) {
1770 Act = Backend_EmitAssembly;
1771 OS.reset(ComputeOutFile(InFile, "s", true, OutPath));
1772 } else if (ProgAction == EmitLLVM) {
1773 Act = Backend_EmitLL;
1774 OS.reset(ComputeOutFile(InFile, "ll", true, OutPath));
1775 } else if (ProgAction == EmitLLVMOnly) {
1776 Act = Backend_EmitNothing;
1777 } else {
1778 Act = Backend_EmitBC;
1779 OS.reset(ComputeOutFile(InFile, "bc", true, OutPath));
Ted Kremeneka36aaef2007-12-05 18:27:04 +00001780 }
Ted Kremenekd890f6a2007-12-19 22:24:34 +00001781
Eli Friedmana9c310842009-05-18 22:20:00 +00001782 CompileOptions Opts;
1783 InitializeCompileOptions(Opts, PP.getLangOptions(), Features);
1784 Consumer.reset(CreateBackendConsumer(Act, PP.getDiagnostics(),
1785 PP.getLangOptions(), Opts, InFile,
1786 OS.get()));
Ted Kremeneka36aaef2007-12-05 18:27:04 +00001787 break;
Eli Friedmana9c310842009-05-18 22:20:00 +00001788 }
1789
1790 case GeneratePCH:
1791 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1792 Consumer.reset(CreatePCHGenerator(PP, OS.get()));
1793 CompleteTranslationUnit = false;
1794 break;
1795
1796 case RewriteObjC:
1797 OS.reset(ComputeOutFile(InFile, "cpp", true, OutPath));
Eli Friedman848763f2009-05-18 22:29:17 +00001798 Consumer.reset(CreateObjCRewriter(InFile, OS.get(), PP.getDiagnostics(),
Eli Friedman35ba7a62009-05-18 22:39:16 +00001799 PP.getLangOptions(),
1800 SilenceRewriteMacroWarning));
Eli Friedmana9c310842009-05-18 22:20:00 +00001801 break;
1802
1803 case RewriteBlocks:
1804 Consumer.reset(CreateBlockRewriter(InFile, PP.getDiagnostics(),
1805 PP.getLangOptions()));
1806 break;
1807
Eli Friedman78a57622009-05-19 10:18:02 +00001808 case RunAnalysis: {
Eli Friedmana9c310842009-05-18 22:20:00 +00001809 Consumer.reset(CreateAnalysisConsumer(PP.getDiagnostics(), &PP, &PPF,
Eli Friedman78a57622009-05-19 10:18:02 +00001810 PP.getLangOptions(), OutputFile,
1811 ReadAnalyzerOptions()));
Eli Friedmana9c310842009-05-18 22:20:00 +00001812 break;
Eli Friedman78a57622009-05-19 10:18:02 +00001813 }
Eli Friedmana9c310842009-05-18 22:20:00 +00001814
Chris Lattneraf669fb2008-10-12 05:03:36 +00001815 case DumpRawTokens: {
Chris Lattnerefe33382009-02-18 01:51:21 +00001816 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattneraf669fb2008-10-12 05:03:36 +00001817 SourceManager &SM = PP.getSourceManager();
Chris Lattneraf669fb2008-10-12 05:03:36 +00001818 // Start lexing the specified input file.
Chris Lattnerc7b23592009-01-17 07:35:14 +00001819 Lexer RawLex(SM.getMainFileID(), SM, PP.getLangOptions());
Chris Lattneraf669fb2008-10-12 05:03:36 +00001820 RawLex.SetKeepWhitespaceMode(true);
1821
1822 Token RawTok;
Chris Lattneraf669fb2008-10-12 05:03:36 +00001823 RawLex.LexFromRawLexer(RawTok);
1824 while (RawTok.isNot(tok::eof)) {
1825 PP.DumpToken(RawTok, true);
1826 fprintf(stderr, "\n");
1827 RawLex.LexFromRawLexer(RawTok);
1828 }
1829 ClearSourceMgr = true;
1830 break;
1831 }
Chris Lattner4b009652007-07-25 00:24:17 +00001832 case DumpTokens: { // Token dump mode.
Chris Lattnerefe33382009-02-18 01:51:21 +00001833 llvm::TimeRegion Timer(ClangFrontendTimer);
Chris Lattner4b009652007-07-25 00:24:17 +00001834 Token Tok;
Chris Lattneraf669fb2008-10-12 05:03:36 +00001835 // Start preprocessing the specified input file.
Ted Kremenek17861c52007-12-19 22:51:13 +00001836 PP.EnterMainSourceFile();
Chris Lattner4b009652007-07-25 00:24:17 +00001837 do {
1838 PP.Lex(Tok);
1839 PP.DumpToken(Tok, true);
1840 fprintf(stderr, "\n");
Chris Lattner3b494152007-10-09 18:03:42 +00001841 } while (Tok.isNot(tok::eof));
Chris Lattner4b009652007-07-25 00:24:17 +00001842 ClearSourceMgr = true;
1843 break;
1844 }
Chris Lattner270d29a2009-04-27 21:45:14 +00001845 case RunPreprocessorOnly:
Chris Lattner4b009652007-07-25 00:24:17 +00001846 break;
Ted Kremenek71c6cc62008-10-21 00:54:44 +00001847
Douglas Gregor2a0e8742009-04-02 23:43:50 +00001848 case GeneratePTH: {
Chris Lattnerefe33382009-02-18 01:51:21 +00001849 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedman4ae15b92009-05-19 01:02:07 +00001850 if (OutputFile.empty() || OutputFile == "-") {
1851 // FIXME: Don't fail this way.
1852 // FIXME: Verify that we can actually seek in the given file.
1853 llvm::cerr << "ERROR: PTH requires an seekable file for output!\n";
1854 ::exit(1);
1855 }
1856 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1857 CacheTokens(PP, static_cast<llvm::raw_fd_ostream*>(OS.get()));
Ted Kremenek71c6cc62008-10-21 00:54:44 +00001858 ClearSourceMgr = true;
1859 break;
1860 }
Douglas Gregorc55b0b02009-04-09 21:40:53 +00001861
Chris Lattner772a7c12009-04-27 22:02:30 +00001862 case PrintPreprocessedInput:
Eli Friedman4ae15b92009-05-19 01:02:07 +00001863 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
Chris Lattner4b009652007-07-25 00:24:17 +00001864 break;
Chris Lattner1665a9f2008-05-08 06:52:13 +00001865
Chris Lattner270d29a2009-04-27 21:45:14 +00001866 case ParseNoop:
Chris Lattner4b009652007-07-25 00:24:17 +00001867 break;
1868
Chris Lattnerefe33382009-02-18 01:51:21 +00001869 case ParsePrintCallbacks: {
1870 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedman4ae15b92009-05-19 01:02:07 +00001871 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1872 ParseFile(PP, CreatePrintParserActionsAction(PP, OS.get()));
Chris Lattner4b009652007-07-25 00:24:17 +00001873 ClearSourceMgr = true;
1874 break;
Chris Lattnerefe33382009-02-18 01:51:21 +00001875 }
1876
1877 case ParseSyntaxOnly: { // -fsyntax-only
1878 llvm::TimeRegion Timer(ClangFrontendTimer);
Ted Kremenek50aab982008-08-08 02:46:37 +00001879 Consumer.reset(new ASTConsumer());
Ted Kremenek0a03ce62007-09-17 20:49:30 +00001880 break;
Chris Lattnerefe33382009-02-18 01:51:21 +00001881 }
Chris Lattner1665a9f2008-05-08 06:52:13 +00001882
1883 case RewriteMacros:
Eli Friedman4ae15b92009-05-19 01:02:07 +00001884 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1885 RewriteMacrosInInput(PP, OS.get());
Chris Lattner1665a9f2008-05-08 06:52:13 +00001886 ClearSourceMgr = true;
1887 break;
Chris Lattnerc3fbf392008-10-12 05:29:20 +00001888
Eli Friedman4ae15b92009-05-19 01:02:07 +00001889 case RewriteTest:
1890 OS.reset(ComputeOutFile(InFile, 0, true, OutPath));
1891 DoRewriteTest(PP, OS.get());
Chris Lattnerc3fbf392008-10-12 05:29:20 +00001892 ClearSourceMgr = true;
1893 break;
Douglas Gregor133d2552009-04-02 01:08:08 +00001894
1895 case FixIt:
1896 llvm::TimeRegion Timer(ClangFrontendTimer);
1897 Consumer.reset(new ASTConsumer());
Douglas Gregor563a2512009-04-02 17:13:00 +00001898 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
Chris Lattnere1be6022009-04-14 23:22:57 +00001899 PP.getSourceManager(),
1900 PP.getLangOptions());
Douglas Gregor133d2552009-04-02 01:08:08 +00001901 break;
Chris Lattnerefe33382009-02-18 01:51:21 +00001902 }
Ted Kremenek88eebed2009-01-28 04:29:29 +00001903
Chris Lattner38a4f182009-04-27 21:25:27 +00001904 if (FixItAtLocations.size() > 0) {
1905 // Even without the "-fixit" flag, with may have some specific
1906 // locations where the user has requested fixes. Process those
1907 // locations now.
1908 if (!FixItRewrite)
1909 FixItRewrite = new FixItRewriter(PP.getDiagnostics(),
1910 PP.getSourceManager(),
1911 PP.getLangOptions());
Chris Lattner143fd6d2009-03-28 01:37:17 +00001912
Chris Lattner38a4f182009-04-27 21:25:27 +00001913 bool AddedFixitLocation = false;
1914 for (unsigned Idx = 0, Last = FixItAtLocations.size();
1915 Idx != Last; ++Idx) {
1916 RequestedSourceLocation Requested;
Argiris Kirtzidiseab61812009-06-23 22:01:39 +00001917 if (ResolveParsedLocation(FixItAtLocations[Idx],
1918 PP.getFileManager(), Requested)) {
Chris Lattner38a4f182009-04-27 21:25:27 +00001919 fprintf(stderr, "FIX-IT could not find file \"%s\"\n",
1920 FixItAtLocations[Idx].FileName.c_str());
1921 } else {
1922 FixItRewrite->addFixItLocation(Requested);
1923 AddedFixitLocation = true;
Douglas Gregor24b48b02009-04-02 19:05:20 +00001924 }
1925 }
1926
Chris Lattner38a4f182009-04-27 21:25:27 +00001927 if (!AddedFixitLocation) {
1928 // All of the fix-it locations were bad. Don't fix anything.
1929 delete FixItRewrite;
1930 FixItRewrite = 0;
1931 }
1932 }
1933
1934 llvm::OwningPtr<ASTContext> ContextOwner;
Chris Lattner270d29a2009-04-27 21:45:14 +00001935 if (Consumer)
Chris Lattner143fd6d2009-03-28 01:37:17 +00001936 ContextOwner.reset(new ASTContext(PP.getLangOptions(),
1937 PP.getSourceManager(),
1938 PP.getTargetInfo(),
1939 PP.getIdentifierTable(),
1940 PP.getSelectorTable(),
Chris Lattnerc46fcdd2009-06-14 01:54:56 +00001941 PP.getBuiltinInfo(),
Douglas Gregorda38c6c2009-04-22 18:49:13 +00001942 /* FreeMemory = */ !DisableFree,
Chris Lattnerc46fcdd2009-06-14 01:54:56 +00001943 /* size_reserve = */0));
1944
Chris Lattner772a7c12009-04-27 22:02:30 +00001945 llvm::OwningPtr<PCHReader> Reader;
1946 llvm::OwningPtr<ExternalASTSource> Source;
1947
Chris Lattner270d29a2009-04-27 21:45:14 +00001948 if (!ImplicitIncludePCH.empty()) {
Chris Lattner772a7c12009-04-27 22:02:30 +00001949 Reader.reset(new PCHReader(PP, ContextOwner.get()));
1950
Chris Lattner270d29a2009-04-27 21:45:14 +00001951 // The user has asked us to include a precompiled header. Load
1952 // the precompiled header into the AST context.
Chris Lattner270d29a2009-04-27 21:45:14 +00001953 switch (Reader->ReadPCH(ImplicitIncludePCH)) {
1954 case PCHReader::Success: {
Douglas Gregor32de6312009-04-28 18:58:38 +00001955 // Set the predefines buffer as suggested by the PCH
1956 // reader. Typically, the predefines buffer will be empty.
1957 PP.setPredefines(Reader->getSuggestedPredefines());
1958
Chris Lattner270d29a2009-04-27 21:45:14 +00001959 // Attach the PCH reader to the AST context as an external AST
1960 // source, so that declarations will be deserialized from the
1961 // PCH file as needed.
Chris Lattner772a7c12009-04-27 22:02:30 +00001962 if (ContextOwner) {
1963 Source.reset(Reader.take());
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001964 ContextOwner->setExternalSource(Source);
Chris Lattner772a7c12009-04-27 22:02:30 +00001965 }
Chris Lattner270d29a2009-04-27 21:45:14 +00001966 break;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001967 }
1968
Chris Lattner270d29a2009-04-27 21:45:14 +00001969 case PCHReader::Failure:
1970 // Unrecoverable failure: don't even try to process the input
1971 // file.
1972 return;
1973
1974 case PCHReader::IgnorePCH:
Douglas Gregor9ea9b162009-04-28 22:01:16 +00001975 // No suitable PCH file could be found. Return an error.
1976 return;
1977
1978#if 0
1979 // FIXME: We can recover from failed attempts to load PCH
1980 // files. This code will do so, if we ever want to enable it.
1981
Chris Lattner270d29a2009-04-27 21:45:14 +00001982 // We delayed the initialization of builtins in the hope of
1983 // loading the PCH file. Since the PCH file could not be
1984 // loaded, initialize builtins now.
1985 if (ContextOwner)
1986 ContextOwner->InitializeBuiltins(PP.getIdentifierTable());
Douglas Gregor9ea9b162009-04-28 22:01:16 +00001987#endif
Chris Lattner270d29a2009-04-27 21:45:14 +00001988 }
1989
1990 // Finish preprocessor initialization. We do this now (rather
1991 // than earlier) because this initialization creates new source
1992 // location entries in the source manager, which must come after
1993 // the source location entries for the PCH file.
1994 if (InitializeSourceManager(PP, InFile))
1995 return;
Ted Kremenek88eebed2009-01-28 04:29:29 +00001996 }
Daniel Dunbar849bfc62008-10-27 22:03:52 +00001997
Chris Lattner270d29a2009-04-27 21:45:14 +00001998
1999 // If we have an ASTConsumer, run the parser with it.
2000 if (Consumer)
2001 ParseAST(PP, Consumer.get(), *ContextOwner.get(), Stats,
2002 CompleteTranslationUnit);
2003
2004 if (PA == RunPreprocessorOnly) { // Just lex as fast as we can, no output.
2005 llvm::TimeRegion Timer(ClangFrontendTimer);
2006 Token Tok;
2007 // Start parsing the specified input file.
2008 PP.EnterMainSourceFile();
2009 do {
2010 PP.Lex(Tok);
2011 } while (Tok.isNot(tok::eof));
2012 ClearSourceMgr = true;
2013 } else if (PA == ParseNoop) { // -parse-noop
2014 llvm::TimeRegion Timer(ClangFrontendTimer);
2015 ParseFile(PP, new MinimalAction(PP));
2016 ClearSourceMgr = true;
Chris Lattner772a7c12009-04-27 22:02:30 +00002017 } else if (PA == PrintPreprocessedInput){ // -E mode.
2018 llvm::TimeRegion Timer(ClangFrontendTimer);
Eli Friedmane2554252009-05-19 03:06:47 +00002019 if (DumpMacros)
2020 DoPrintMacros(PP, OS.get());
2021 else
2022 DoPrintPreprocessedInput(PP, OS.get(), EnableCommentOutput,
2023 EnableMacroCommentOutput,
2024 DisableLineMarkers, DumpDefines);
Chris Lattner772a7c12009-04-27 22:02:30 +00002025 ClearSourceMgr = true;
Chris Lattner270d29a2009-04-27 21:45:14 +00002026 }
2027
Chris Lattner38a4f182009-04-27 21:25:27 +00002028 if (FixItRewrite)
2029 FixItRewrite->WriteFixedFile(InFile, OutputFile);
2030
2031 // If in -disable-free mode, don't deallocate ASTContext.
2032 if (DisableFree)
2033 ContextOwner.take();
2034 else
2035 ContextOwner.reset(); // Delete ASTContext
Eli Friedmana9c310842009-05-18 22:20:00 +00002036
Daniel Dunbar849bfc62008-10-27 22:03:52 +00002037 if (VerifyDiagnostics)
Daniel Dunbar8d4dff52008-10-27 22:10:13 +00002038 if (CheckDiagnostics(PP))
2039 exit(1);
Chris Lattner8d72ee02008-02-06 01:42:25 +00002040
Chris Lattner4b009652007-07-25 00:24:17 +00002041 if (Stats) {
Ted Kremenekd890f6a2007-12-19 22:24:34 +00002042 fprintf(stderr, "\nSTATISTICS FOR '%s':\n", InFile.c_str());
Chris Lattner4b009652007-07-25 00:24:17 +00002043 PP.PrintStats();
2044 PP.getIdentifierTable().PrintStats();
Chris Lattner968982d2007-12-15 20:48:40 +00002045 PP.getHeaderSearchInfo().PrintStats();
Ted Kremenek40997b62009-01-09 18:20:21 +00002046 PP.getSourceManager().PrintStats();
Chris Lattner4b009652007-07-25 00:24:17 +00002047 fprintf(stderr, "\n");
2048 }
2049
2050 // For a multi-file compilation, some things are ok with nuking the source
2051 // manager tables, other require stable fileid/macroid's across multiple
2052 // files.
Chris Lattner968982d2007-12-15 20:48:40 +00002053 if (ClearSourceMgr)
2054 PP.getSourceManager().clearIDTables();
Daniel Dunbar622d6d02008-11-11 06:35:39 +00002055
2056 if (DisableFree)
2057 Consumer.take();
Eli Friedmana9c310842009-05-18 22:20:00 +00002058 else
2059 Consumer.reset();
2060
2061 // Always delete the output stream because we don't want to leak file
2062 // handles. Also, we don't want to try to erase an open file.
2063 OS.reset();
2064
2065 if ((HadErrors || (PP.getDiagnostics().getNumErrors() != 0)) &&
2066 !OutPath.isEmpty()) {
2067 // If we had errors, try to erase the output file.
2068 OutPath.eraseFromDisk();
2069 }
Chris Lattner4b009652007-07-25 00:24:17 +00002070}
2071
2072static llvm::cl::list<std::string>
2073InputFilenames(llvm::cl::Positional, llvm::cl::desc("<input files>"));
2074
Chris Lattner4b009652007-07-25 00:24:17 +00002075int main(int argc, char **argv) {
Chris Lattner4b009652007-07-25 00:24:17 +00002076 llvm::sys::PrintStackTraceOnErrorSignal();
Chris Lattner2b2d0c42009-03-04 21:41:39 +00002077 llvm::PrettyStackTraceProgram X(argc, argv);
Chris Lattnercb7dddb2009-03-06 05:38:04 +00002078 llvm::cl::ParseCommandLineOptions(argc, argv,
Chris Lattner559a7472009-03-06 05:38:25 +00002079 "LLVM 'Clang' Compiler: http://clang.llvm.org\n");
Daniel Dunbarc583b1f2009-05-28 16:37:33 +00002080
Chris Lattner4d495682009-06-17 17:25:50 +00002081 llvm::InitializeAllTargets();
2082 llvm::InitializeAllAsmPrinters();
2083
Chris Lattnerefe33382009-02-18 01:51:21 +00002084 if (TimeReport)
2085 ClangFrontendTimer = new llvm::Timer("Clang front-end time");
2086
Daniel Dunbarc583b1f2009-05-28 16:37:33 +00002087 if (Verbose)
2088 fprintf(stderr, "clang-cc version 1.0 based upon " PACKAGE_STRING
2089 " hosted on " LLVM_HOSTTRIPLE "\n");
2090
Chris Lattner4b009652007-07-25 00:24:17 +00002091 // If no input was specified, read from stdin.
2092 if (InputFilenames.empty())
2093 InputFilenames.push_back("-");
Douglas Gregor965a13c2009-05-02 00:03:46 +00002094
Ted Kremenekb240e822007-12-11 23:28:38 +00002095 // Create the diagnostic client for reporting errors or for
2096 // implementing -verify.
Chris Lattner5f7937d2009-04-17 20:40:01 +00002097 llvm::OwningPtr<DiagnosticClient> DiagClient;
2098 if (VerifyDiagnostics) {
2099 // When checking diagnostics, just buffer them up.
2100 DiagClient.reset(new TextDiagnosticBuffer());
2101 if (InputFilenames.size() != 1) {
2102 fprintf(stderr, "-verify only works on single input files for now.\n");
2103 return 1;
2104 }
2105 if (!HTMLDiag.empty()) {
2106 fprintf(stderr, "-verify and -html-diags don't work together\n");
2107 return 1;
2108 }
2109 } else if (HTMLDiag.empty()) {
Ted Kremenek5c341732008-08-07 17:49:57 +00002110 // Print diagnostics to stderr by default.
Douglas Gregor965a13c2009-05-02 00:03:46 +00002111
2112 // If -fmessage-length=N was not specified, determine whether this
2113 // is a terminal and, if so, implicitly define -fmessage-length
2114 // appropriately.
2115 if (MessageLength.getNumOccurrences() == 0)
Douglas Gregorc604d722009-05-11 18:06:49 +00002116 MessageLength.setValue(llvm::sys::Process::StandardErrColumns());
Douglas Gregor965a13c2009-05-02 00:03:46 +00002117
Edwin Törökeff37122009-06-04 07:18:23 +00002118 if (!NoColorDiagnostic) {
2119 NoColorDiagnostic.setValue(!llvm::sys::Process::StandardErrHasColors());
2120 }
2121
Chris Lattner5f7937d2009-04-17 20:40:01 +00002122 DiagClient.reset(new TextDiagnosticPrinter(llvm::errs(),
Chris Lattner92a33532008-11-19 06:56:25 +00002123 !NoShowColumn,
Chris Lattnerb96a04f2009-01-30 19:01:41 +00002124 !NoCaretDiagnostics,
Chris Lattner695a4f52009-03-13 01:08:23 +00002125 !NoShowLocation,
Chris Lattnera96ec3b2009-04-16 05:44:38 +00002126 PrintSourceRangeInfo,
Chris Lattner041bd732009-04-19 07:44:08 +00002127 PrintDiagnosticOption,
Douglas Gregora4eb3e72009-05-01 21:53:04 +00002128 !NoDiagnosticsFixIt,
Edwin Törökeff37122009-06-04 07:18:23 +00002129 MessageLength,
2130 !NoColorDiagnostic));
Ted Kremenek5c341732008-08-07 17:49:57 +00002131 } else {
Chris Lattner5f7937d2009-04-17 20:40:01 +00002132 DiagClient.reset(CreateHTMLDiagnosticClient(HTMLDiag));
Chris Lattner4b009652007-07-25 00:24:17 +00002133 }
Chris Lattner94859302009-04-17 21:05:01 +00002134
2135 if (!DumpBuildInformation.empty()) {
2136 if (!HTMLDiag.empty()) {
2137 fprintf(stderr,
2138 "-dump-build-information and -html-diags don't work together\n");
2139 return 1;
2140 }
2141
2142 SetUpBuildDumpLog(argc, argv, DiagClient);
2143 }
2144
Ted Kremenek5c341732008-08-07 17:49:57 +00002145
Chris Lattner4b009652007-07-25 00:24:17 +00002146 // Configure our handling of diagnostics.
Ted Kremenek5c341732008-08-07 17:49:57 +00002147 Diagnostic Diags(DiagClient.get());
Eli Friedman4d03d382009-05-19 01:17:04 +00002148 if (ProcessWarningOptions(Diags, OptWarnings, OptPedantic, OptPedanticErrors,
2149 OptNoWarnings))
Sebastian Redl44ff86c2009-03-06 17:41:35 +00002150 return 1;
Ted Kremenekb240e822007-12-11 23:28:38 +00002151
Chris Lattner45a56e02007-12-05 23:24:17 +00002152 // -I- is a deprecated GCC feature, scan for it and reject it.
2153 for (unsigned i = 0, e = I_dirs.size(); i != e; ++i) {
2154 if (I_dirs[i] == "-") {
Chris Lattnera1433472008-11-18 05:05:28 +00002155 Diags.Report(FullSourceLoc(), diag::err_pp_I_dash_not_supported);
Chris Lattner45a56e02007-12-05 23:24:17 +00002156 I_dirs.erase(I_dirs.begin()+i);
2157 --i;
2158 }
2159 }
Chris Lattner2c77d852008-03-14 06:12:05 +00002160
2161 // Get information about the target being compiled for.
2162 std::string Triple = CreateTargetTriple();
Ted Kremenekec6c5252008-08-07 18:13:12 +00002163 llvm::OwningPtr<TargetInfo> Target(TargetInfo::CreateTargetInfo(Triple));
2164
Chris Lattner2c77d852008-03-14 06:12:05 +00002165 if (Target == 0) {
Daniel Dunbarf45afe62009-03-12 10:14:16 +00002166 Diags.Report(FullSourceLoc(), diag::err_fe_unknown_triple)
2167 << Triple.c_str();
Sebastian Redlf10cbca2009-03-07 12:09:25 +00002168 return 1;
Chris Lattner2c77d852008-03-14 06:12:05 +00002169 }
Chris Lattner45a56e02007-12-05 23:24:17 +00002170
Daniel Dunbar9c321102009-01-20 23:17:32 +00002171 if (!InheritanceViewCls.empty()) // C++ visualization?
Ted Kremenekd9ceb3d2008-10-23 23:36:29 +00002172 ProgAction = InheritanceView;
Ted Kremenek5c341732008-08-07 17:49:57 +00002173
Ted Kremenek2a4224a2008-06-06 22:42:39 +00002174 llvm::OwningPtr<SourceManager> SourceMgr;
2175
Chris Lattnere1be6022009-04-14 23:22:57 +00002176 // Create a file manager object to provide access to and cache the filesystem.
2177 FileManager FileMgr;
Douglas Gregor6cc5d192009-04-27 18:38:38 +00002178
Daniel Dunbar07181d72009-05-06 03:16:41 +00002179 // Compute the feature set, unfortunately this effects the language!
2180 llvm::StringMap<bool> Features;
2181 ComputeFeatureMap(Target.get(), Features);
2182
Chris Lattner4b009652007-07-25 00:24:17 +00002183 for (unsigned i = 0, e = InputFilenames.size(); i != e; ++i) {
Ted Kremenekb240e822007-12-11 23:28:38 +00002184 const std::string &InFile = InputFilenames[i];
Ted Kremenekb240e822007-12-11 23:28:38 +00002185
Chris Lattner2b989562009-03-04 21:40:56 +00002186 /// Create a SourceManager object. This tracks and owns all the file
2187 /// buffers allocated to a translation unit.
2188 if (!SourceMgr)
2189 SourceMgr.reset(new SourceManager());
2190 else
2191 SourceMgr->clearIDTables();
2192
2193 // Initialize language options, inferring file types from input filenames.
2194 LangOptions LangInfo;
Chris Lattner5f7937d2009-04-17 20:40:01 +00002195 DiagClient->setLangOptions(&LangInfo);
Chris Lattnere1be6022009-04-14 23:22:57 +00002196
Chris Lattner2b989562009-03-04 21:40:56 +00002197 InitializeBaseLanguage();
2198 LangKind LK = GetLanguage(InFile);
Daniel Dunbardb6126e2009-04-01 05:09:09 +00002199 InitializeLangOptions(LangInfo, LK);
Daniel Dunbar07181d72009-05-06 03:16:41 +00002200 InitializeLanguageStandard(LangInfo, LK, Target.get(), Features);
Chris Lattner2b989562009-03-04 21:40:56 +00002201
2202 // Process the -I options and set them in the HeaderInfo.
2203 HeaderSearch HeaderInfo(FileMgr);
2204
Chris Lattnere1be6022009-04-14 23:22:57 +00002205
Chris Lattner2b989562009-03-04 21:40:56 +00002206 InitializeIncludePaths(argv[0], HeaderInfo, FileMgr, LangInfo);
2207
2208 // Set up the preprocessor with these options.
Eli Friedmane934dca2009-05-18 07:39:39 +00002209 DriverPreprocessorFactory PPFactory(Diags, LangInfo, *Target,
Chris Lattner2b989562009-03-04 21:40:56 +00002210 *SourceMgr.get(), HeaderInfo);
2211
2212 llvm::OwningPtr<Preprocessor> PP(PPFactory.CreatePreprocessor());
2213
2214 if (!PP)
2215 continue;
Ted Kremenek5c341732008-08-07 17:49:57 +00002216
Eli Friedmane595fe92009-05-19 03:35:57 +00002217 // Handle generating dependencies, if requested
2218 if (!DependencyFile.empty()) {
2219 llvm::raw_ostream *DependencyOS;
2220 if (DependencyTargets.empty()) {
2221 // FIXME: Use a proper diagnostic
2222 llvm::cerr << "-dependency-file requires at least one -MT option\n";
2223 HadErrors = true;
2224 continue;
2225 }
2226 std::string ErrStr;
2227 DependencyOS =
2228 new llvm::raw_fd_ostream(DependencyFile.c_str(), false, ErrStr);
2229 if (!ErrStr.empty()) {
2230 // FIXME: Use a proper diagnostic
2231 llvm::cerr << "unable to open dependency file: " + ErrStr;
2232 HadErrors = true;
2233 continue;
2234 }
2235
2236 AttachDependencyFileGen(PP.get(), DependencyOS, DependencyTargets,
2237 DependenciesIncludeSystemHeaders,
2238 PhonyDependencyTarget);
2239 }
2240
Chris Lattnerc46fcdd2009-06-14 01:54:56 +00002241 if (ImplicitIncludePCH.empty()) {
2242 if (InitializeSourceManager(*PP.get(), InFile))
2243 continue;
2244
2245 // Initialize builtin info.
2246 PP->getBuiltinInfo().InitializeBuiltins(PP->getIdentifierTable(),
Chris Lattnerc46fcdd2009-06-14 01:54:56 +00002247 PP->getLangOptions().NoBuiltin);
2248 }
Douglas Gregorab1cef72009-04-10 03:52:48 +00002249
Chris Lattner5f7937d2009-04-17 20:40:01 +00002250 if (!HTMLDiag.empty())
2251 ((PathDiagnosticClient*)DiagClient.get())->SetPreprocessor(PP.get());
Chris Lattner2b989562009-03-04 21:40:56 +00002252
2253 // Process the source file.
Daniel Dunbar07181d72009-05-06 03:16:41 +00002254 ProcessInputFile(*PP, PPFactory, InFile, ProgAction, Features);
Chris Lattner2b989562009-03-04 21:40:56 +00002255
Chris Lattner2961dc52009-04-17 20:16:08 +00002256 HeaderInfo.ClearFileInfo();
Chris Lattner5f7937d2009-04-17 20:40:01 +00002257 DiagClient->setLangOptions(0);
Chris Lattner4b009652007-07-25 00:24:17 +00002258 }
Chris Lattner2c77d852008-03-14 06:12:05 +00002259
Mike Stumpc4ba6cd2009-04-28 01:19:10 +00002260 if (!NoCaretDiagnostics)
2261 if (unsigned NumDiagnostics = Diags.getNumDiagnostics())
2262 fprintf(stderr, "%d diagnostic%s generated.\n", NumDiagnostics,
2263 (NumDiagnostics == 1 ? "" : "s"));
Chris Lattner4b009652007-07-25 00:24:17 +00002264
2265 if (Stats) {
Chris Lattner4b009652007-07-25 00:24:17 +00002266 FileMgr.PrintStats();
2267 fprintf(stderr, "\n");
2268 }
Chris Lattner94859302009-04-17 21:05:01 +00002269
2270 delete ClangFrontendTimer;
2271 delete BuildLogFile;
Chris Lattner4b009652007-07-25 00:24:17 +00002272
Daniel Dunbar8d4dff52008-10-27 22:10:13 +00002273 // If verifying diagnostics and we reached here, all is well.
2274 if (VerifyDiagnostics)
2275 return 0;
Chris Lattnerefe33382009-02-18 01:51:21 +00002276
Daniel Dunbarbb298c02008-10-28 00:38:08 +00002277 // Managed static deconstruction. Useful for making things like
2278 // -time-passes usable.
2279 llvm::llvm_shutdown();
2280
Daniel Dunbar70a66b12008-10-04 23:42:49 +00002281 return HadErrors || (Diags.getNumErrors() != 0);
Chris Lattner4b009652007-07-25 00:24:17 +00002282}