blob: 5e8f51cbc973b7ed9fa4798c71bbb54682c45465 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- clang.cpp - C-Language Front-end ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This utility may be invoked in the following manner:
11// clang --help - Output help info.
12// clang [options] - Read from stdin.
13// clang [options] file - Read from "file".
14// clang [options] file1 file2 - Read these files.
15//
16//===----------------------------------------------------------------------===//
17//
18// TODO: Options to support:
19//
20// -ffatal-errors
21// -ftabstop=width
22//
23//===----------------------------------------------------------------------===//
24
25#include "clang.h"
Chris Lattner97e8b6f2007-10-07 06:04:32 +000026#include "ASTConsumers.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000027#include "TextDiagnosticBuffer.h"
28#include "TextDiagnosticPrinter.h"
Ted Kremenek88f5cde2008-03-27 06:17:42 +000029#include "HTMLDiagnostics.h"
30#include "clang/Analysis/PathDiagnostic.h"
Ted Kremenek77cda502007-12-18 21:34:28 +000031#include "clang/AST/TranslationUnit.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000032#include "clang/CodeGen/ModuleBuilder.h"
Chris Lattnere91c1342008-02-06 00:23:21 +000033#include "clang/Sema/ParseAST.h"
Chris Lattner556beb72007-09-15 22:56:56 +000034#include "clang/AST/ASTConsumer.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000035#include "clang/Parse/Parser.h"
36#include "clang/Lex/HeaderSearch.h"
37#include "clang/Basic/FileManager.h"
38#include "clang/Basic/SourceManager.h"
39#include "clang/Basic/TargetInfo.h"
Chris Lattnere66b65c2008-02-06 01:42:25 +000040#include "llvm/Module.h"
Chris Lattner8f3dab82007-12-15 23:20:07 +000041#include "llvm/ADT/SmallPtrSet.h"
Chris Lattnere66b65c2008-02-06 01:42:25 +000042#include "llvm/Bitcode/ReaderWriter.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000043#include "llvm/Support/CommandLine.h"
44#include "llvm/Support/MemoryBuffer.h"
45#include "llvm/System/Signals.h"
Ted Kremenekae360762007-12-03 22:06:55 +000046#include "llvm/Config/config.h"
Ted Kremenekee533642007-12-20 19:47:16 +000047#include "llvm/ADT/OwningPtr.h"
Chris Lattnerdcaa0962008-03-03 03:16:03 +000048#include "llvm/System/Path.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000049#include <memory>
Chris Lattnere66b65c2008-02-06 01:42:25 +000050#include <fstream>
Ted Kremenek339b9c22008-04-17 22:31:54 +000051#include <algorithm>
Reid Spencer5f016e22007-07-11 17:01:13 +000052using namespace clang;
53
54//===----------------------------------------------------------------------===//
55// Global options.
56//===----------------------------------------------------------------------===//
57
58static llvm::cl::opt<bool>
59Verbose("v", llvm::cl::desc("Enable verbose output"));
60static llvm::cl::opt<bool>
Nate Begemanaabbb122007-12-30 01:38:50 +000061Stats("print-stats",
62 llvm::cl::desc("Print performance metrics and statistics"));
Reid Spencer5f016e22007-07-11 17:01:13 +000063
64enum ProgActions {
Steve Naroffb29b4272008-04-14 22:03:09 +000065 RewriteObjC, // ObjC->C Rewriter.
Chris Lattnerb57e3d42008-05-08 06:52:13 +000066 RewriteMacros, // Expand macros but not #includes.
Ted Kremenek13e479b2008-03-19 07:53:42 +000067 HTMLTest, // HTML displayer testing stuff.
Reid Spencer5f016e22007-07-11 17:01:13 +000068 EmitLLVM, // Emit a .ll file.
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +000069 EmitBC, // Emit a .bc file.
Ted Kremeneka1fa3a12007-12-13 00:37:31 +000070 SerializeAST, // Emit a .ast file.
Ted Kremenek6a340832008-03-18 21:19:49 +000071 EmitHTML, // Translate input source into HTML.
Chris Lattner3b427b32007-10-11 00:18:28 +000072 ASTPrint, // Parse ASTs and print them.
73 ASTDump, // Parse ASTs and dump them.
74 ASTView, // Parse ASTs and view them in Graphviz.
Ted Kremenekbfa82c42007-10-16 23:37:27 +000075 TestSerialization, // Run experimental serialization code.
Reid Spencer5f016e22007-07-11 17:01:13 +000076 ParsePrintCallbacks, // Parse and print each callback.
77 ParseSyntaxOnly, // Parse and perform semantic analysis.
78 ParseNoop, // Parse with noop callbacks.
79 RunPreprocessorOnly, // Just lex, no output.
80 PrintPreprocessedInput, // -E mode.
Ted Kremenekf4381fd2008-07-02 00:03:09 +000081 DumpTokens, // Token dump mode.
82 RunAnalysis // Run one or more source code analyses.
Reid Spencer5f016e22007-07-11 17:01:13 +000083};
84
85static llvm::cl::opt<ProgActions>
86ProgAction(llvm::cl::desc("Choose output type:"), llvm::cl::ZeroOrMore,
87 llvm::cl::init(ParseSyntaxOnly),
88 llvm::cl::values(
89 clEnumValN(RunPreprocessorOnly, "Eonly",
90 "Just run preprocessor, no output (for timings)"),
91 clEnumValN(PrintPreprocessedInput, "E",
92 "Run preprocessor, emit preprocessed file"),
93 clEnumValN(DumpTokens, "dumptokens",
94 "Run preprocessor, dump internal rep of tokens"),
95 clEnumValN(ParseNoop, "parse-noop",
96 "Run parser with noop callbacks (for timings)"),
97 clEnumValN(ParseSyntaxOnly, "fsyntax-only",
98 "Run parser and perform semantic analysis"),
99 clEnumValN(ParsePrintCallbacks, "parse-print-callbacks",
100 "Run parser and print each callback invoked"),
Ted Kremenek6a340832008-03-18 21:19:49 +0000101 clEnumValN(EmitHTML, "emit-html",
102 "Output input source as HTML"),
Chris Lattner3b427b32007-10-11 00:18:28 +0000103 clEnumValN(ASTPrint, "ast-print",
104 "Build ASTs and then pretty-print them"),
105 clEnumValN(ASTDump, "ast-dump",
106 "Build ASTs and then debug dump them"),
Chris Lattnerea254db2007-10-11 00:37:43 +0000107 clEnumValN(ASTView, "ast-view",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000108 "Build ASTs and view them with GraphViz"),
Ted Kremenekbfa82c42007-10-16 23:37:27 +0000109 clEnumValN(TestSerialization, "test-pickling",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000110 "Run prototype serialization code"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000111 clEnumValN(EmitLLVM, "emit-llvm",
Ted Kremenek27b07c52007-09-06 21:26:58 +0000112 "Build ASTs then convert to LLVM, emit .ll file"),
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +0000113 clEnumValN(EmitBC, "emit-llvm-bc",
114 "Build ASTs then convert to LLVM, emit .bc file"),
Ted Kremenekccc76472007-12-19 19:47:59 +0000115 clEnumValN(SerializeAST, "serialize",
Ted Kremeneka1fa3a12007-12-13 00:37:31 +0000116 "Build ASTs and emit .ast file"),
Steve Naroffb29b4272008-04-14 22:03:09 +0000117 clEnumValN(RewriteObjC, "rewrite-objc",
Chris Lattnerb57e3d42008-05-08 06:52:13 +0000118 "Rewrite ObjC into C (code rewriter example)"),
119 clEnumValN(RewriteMacros, "rewrite-macros",
120 "Expand macros without full preprocessing"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000121 clEnumValEnd));
122
Ted Kremenekccc76472007-12-19 19:47:59 +0000123
124static llvm::cl::opt<std::string>
125OutputFile("o",
Ted Kremenek50b56412007-12-19 19:50:41 +0000126 llvm::cl::value_desc("path"),
Ted Kremenekccc76472007-12-19 19:47:59 +0000127 llvm::cl::desc("Specify output file (for --serialize, this is a directory)"));
Ted Kremenek55af98c2008-04-14 18:40:58 +0000128
129//===----------------------------------------------------------------------===//
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000130// Code Generator Options
131//===----------------------------------------------------------------------===//
132static llvm::cl::opt<bool>
133GenerateDebugInfo("g",
134 llvm::cl::desc("Generate source level debug information"));
135
136//===----------------------------------------------------------------------===//
Ted Kremenek55af98c2008-04-14 18:40:58 +0000137// Diagnostic Options
138//===----------------------------------------------------------------------===//
139
Ted Kremenek41193e42007-09-26 19:42:19 +0000140static llvm::cl::opt<bool>
141VerifyDiagnostics("verify",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000142 llvm::cl::desc("Verify emitted diagnostics and warnings"));
Ted Kremenek41193e42007-09-26 19:42:19 +0000143
Ted Kremenek88f5cde2008-03-27 06:17:42 +0000144static llvm::cl::opt<std::string>
145HTMLDiag("html-diags",
146 llvm::cl::desc("Generate HTML to report diagnostics"),
147 llvm::cl::value_desc("HTML directory"));
148
Reid Spencer5f016e22007-07-11 17:01:13 +0000149//===----------------------------------------------------------------------===//
Ted Kremenek55af98c2008-04-14 18:40:58 +0000150// Analyzer Options
151//===----------------------------------------------------------------------===//
152
153static llvm::cl::opt<bool>
154VisualizeEG("visualize-egraph",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000155 llvm::cl::desc("Display static analysis Exploded Graph"));
Ted Kremenek55af98c2008-04-14 18:40:58 +0000156
157static llvm::cl::opt<bool>
158AnalyzeAll("checker-opt-analyze-headers",
159 llvm::cl::desc("Force the static analyzer to analyze "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000160 "functions defined in header files"));
Ted Kremenek55af98c2008-04-14 18:40:58 +0000161
Ted Kremenekf4381fd2008-07-02 00:03:09 +0000162static llvm::cl::list<Analyses>
163AnalysisList(llvm::cl::desc("Available Source Code Analyses:"),
164llvm::cl::values(
Ted Kremenekf7f3c202008-07-15 00:46:02 +0000165#define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)\
Ted Kremenekfb9a48c2008-07-14 23:41:13 +0000166clEnumValN(NAME, CMDFLAG, DESC),
167#include "Analyses.def"
168clEnumValEnd));
Ted Kremenekf4381fd2008-07-02 00:03:09 +0000169
Ted Kremenek55af98c2008-04-14 18:40:58 +0000170//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000171// Language Options
172//===----------------------------------------------------------------------===//
173
174enum LangKind {
175 langkind_unspecified,
176 langkind_c,
177 langkind_c_cpp,
178 langkind_cxx,
179 langkind_cxx_cpp,
180 langkind_objc,
181 langkind_objc_cpp,
182 langkind_objcxx,
183 langkind_objcxx_cpp
184};
185
186/* TODO: GCC also accepts:
187 c-header c++-header objective-c-header objective-c++-header
188 assembler assembler-with-cpp
189 ada, f77*, ratfor (!), f95, java, treelang
190 */
191static llvm::cl::opt<LangKind>
192BaseLang("x", llvm::cl::desc("Base language to compile"),
193 llvm::cl::init(langkind_unspecified),
194 llvm::cl::values(clEnumValN(langkind_c, "c", "C"),
195 clEnumValN(langkind_cxx, "c++", "C++"),
196 clEnumValN(langkind_objc, "objective-c", "Objective C"),
197 clEnumValN(langkind_objcxx,"objective-c++","Objective C++"),
198 clEnumValN(langkind_c_cpp, "c-cpp-output",
199 "Preprocessed C"),
200 clEnumValN(langkind_cxx_cpp, "c++-cpp-output",
201 "Preprocessed C++"),
202 clEnumValN(langkind_objc_cpp, "objective-c-cpp-output",
203 "Preprocessed Objective C"),
204 clEnumValN(langkind_objcxx_cpp,"objective-c++-cpp-output",
205 "Preprocessed Objective C++"),
206 clEnumValEnd));
207
208static llvm::cl::opt<bool>
209LangObjC("ObjC", llvm::cl::desc("Set base language to Objective-C"),
210 llvm::cl::Hidden);
211static llvm::cl::opt<bool>
212LangObjCXX("ObjC++", llvm::cl::desc("Set base language to Objective-C++"),
213 llvm::cl::Hidden);
214
Ted Kremenek8904f152007-12-05 23:49:08 +0000215/// InitializeBaseLanguage - Handle the -x foo options.
216static void InitializeBaseLanguage() {
217 if (LangObjC)
218 BaseLang = langkind_objc;
219 else if (LangObjCXX)
220 BaseLang = langkind_objcxx;
221}
222
223static LangKind GetLanguage(const std::string &Filename) {
224 if (BaseLang != langkind_unspecified)
225 return BaseLang;
226
227 std::string::size_type DotPos = Filename.rfind('.');
228
229 if (DotPos == std::string::npos) {
230 BaseLang = langkind_c; // Default to C if no extension.
Chris Lattner9b2f6c42008-01-04 19:12:28 +0000231 return langkind_c;
Reid Spencer5f016e22007-07-11 17:01:13 +0000232 }
233
Ted Kremenek8904f152007-12-05 23:49:08 +0000234 std::string Ext = std::string(Filename.begin()+DotPos+1, Filename.end());
235 // C header: .h
236 // C++ header: .hh or .H;
237 // assembler no preprocessing: .s
238 // assembler: .S
239 if (Ext == "c")
240 return langkind_c;
241 else if (Ext == "i")
242 return langkind_c_cpp;
243 else if (Ext == "ii")
244 return langkind_cxx_cpp;
245 else if (Ext == "m")
246 return langkind_objc;
247 else if (Ext == "mi")
248 return langkind_objc_cpp;
249 else if (Ext == "mm" || Ext == "M")
250 return langkind_objcxx;
251 else if (Ext == "mii")
252 return langkind_objcxx_cpp;
253 else if (Ext == "C" || Ext == "cc" || Ext == "cpp" || Ext == "CPP" ||
254 Ext == "c++" || Ext == "cp" || Ext == "cxx")
255 return langkind_cxx;
256 else
257 return langkind_c;
258}
259
260
261static void InitializeLangOptions(LangOptions &Options, LangKind LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000262 // FIXME: implement -fpreprocessed mode.
263 bool NoPreprocess = false;
264
Ted Kremenek8904f152007-12-05 23:49:08 +0000265 switch (LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000266 default: assert(0 && "Unknown language kind!");
267 case langkind_c_cpp:
268 NoPreprocess = true;
269 // FALLTHROUGH
270 case langkind_c:
271 break;
272 case langkind_cxx_cpp:
273 NoPreprocess = true;
274 // FALLTHROUGH
275 case langkind_cxx:
276 Options.CPlusPlus = 1;
277 break;
278 case langkind_objc_cpp:
279 NoPreprocess = true;
280 // FALLTHROUGH
281 case langkind_objc:
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000282 Options.ObjC1 = Options.ObjC2 = 1;
Reid Spencer5f016e22007-07-11 17:01:13 +0000283 break;
284 case langkind_objcxx_cpp:
285 NoPreprocess = true;
286 // FALLTHROUGH
287 case langkind_objcxx:
288 Options.ObjC1 = Options.ObjC2 = 1;
289 Options.CPlusPlus = 1;
290 break;
291 }
292}
293
294/// LangStds - Language standards we support.
295enum LangStds {
296 lang_unspecified,
297 lang_c89, lang_c94, lang_c99,
298 lang_gnu89, lang_gnu99,
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000299 lang_cxx98, lang_gnucxx98,
300 lang_cxx0x, lang_gnucxx0x
Reid Spencer5f016e22007-07-11 17:01:13 +0000301};
302
303static llvm::cl::opt<LangStds>
304LangStd("std", llvm::cl::desc("Language standard to compile for"),
305 llvm::cl::init(lang_unspecified),
306 llvm::cl::values(clEnumValN(lang_c89, "c89", "ISO C 1990"),
307 clEnumValN(lang_c89, "c90", "ISO C 1990"),
308 clEnumValN(lang_c89, "iso9899:1990", "ISO C 1990"),
309 clEnumValN(lang_c94, "iso9899:199409",
310 "ISO C 1990 with amendment 1"),
311 clEnumValN(lang_c99, "c99", "ISO C 1999"),
312// clEnumValN(lang_c99, "c9x", "ISO C 1999"),
313 clEnumValN(lang_c99, "iso9899:1999", "ISO C 1999"),
314// clEnumValN(lang_c99, "iso9899:199x", "ISO C 1999"),
315 clEnumValN(lang_gnu89, "gnu89",
316 "ISO C 1990 with GNU extensions (default for C)"),
317 clEnumValN(lang_gnu99, "gnu99",
318 "ISO C 1999 with GNU extensions"),
319 clEnumValN(lang_gnu99, "gnu9x",
320 "ISO C 1999 with GNU extensions"),
321 clEnumValN(lang_cxx98, "c++98",
322 "ISO C++ 1998 with amendments"),
323 clEnumValN(lang_gnucxx98, "gnu++98",
324 "ISO C++ 1998 with amendments and GNU "
325 "extensions (default for C++)"),
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000326 clEnumValN(lang_cxx0x, "c++0x",
327 "Upcoming ISO C++ 200x with amendments"),
328 clEnumValN(lang_gnucxx0x, "gnu++0x",
329 "Upcoming ISO C++ 200x with amendments and GNU "
330 "extensions (default for C++)"),
Reid Spencer5f016e22007-07-11 17:01:13 +0000331 clEnumValEnd));
332
333static llvm::cl::opt<bool>
334NoOperatorNames("fno-operator-names",
335 llvm::cl::desc("Do not treat C++ operator name keywords as "
336 "synonyms for operators"));
337
Anders Carlssonee98ac52007-10-15 02:50:23 +0000338static llvm::cl::opt<bool>
339PascalStrings("fpascal-strings",
340 llvm::cl::desc("Recognize and construct Pascal-style "
341 "string literals"));
Steve Naroffd62701b2008-02-07 03:50:06 +0000342
343static llvm::cl::opt<bool>
344MSExtensions("fms-extensions",
345 llvm::cl::desc("Accept some non-standard constructs used in "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000346 "Microsoft header files "));
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000347
348static llvm::cl::opt<bool>
349WritableStrings("fwritable-strings",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000350 llvm::cl::desc("Store string literals as writable data"));
Anders Carlsson695dbb62007-11-30 04:21:22 +0000351
352static llvm::cl::opt<bool>
353LaxVectorConversions("flax-vector-conversions",
354 llvm::cl::desc("Allow implicit conversions between vectors"
355 " with a different number of elements or "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000356 "different element types"));
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000357
Reid Spencer5f016e22007-07-11 17:01:13 +0000358// FIXME: add:
359// -ansi
360// -trigraphs
361// -fdollars-in-identifiers
Anders Carlssonee98ac52007-10-15 02:50:23 +0000362// -fpascal-strings
Ted Kremenek8904f152007-12-05 23:49:08 +0000363static void InitializeLanguageStandard(LangOptions &Options, LangKind LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000364 if (LangStd == lang_unspecified) {
365 // Based on the base language, pick one.
Ted Kremenek8904f152007-12-05 23:49:08 +0000366 switch (LK) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000367 default: assert(0 && "Unknown base language");
368 case langkind_c:
369 case langkind_c_cpp:
370 case langkind_objc:
371 case langkind_objc_cpp:
372 LangStd = lang_gnu99;
373 break;
374 case langkind_cxx:
375 case langkind_cxx_cpp:
376 case langkind_objcxx:
377 case langkind_objcxx_cpp:
378 LangStd = lang_gnucxx98;
379 break;
380 }
381 }
382
383 switch (LangStd) {
384 default: assert(0 && "Unknown language standard!");
385
386 // Fall through from newer standards to older ones. This isn't really right.
387 // FIXME: Enable specifically the right features based on the language stds.
Chris Lattnerd4b80f12007-07-16 04:18:29 +0000388 case lang_gnucxx0x:
389 case lang_cxx0x:
390 Options.CPlusPlus0x = 1;
391 // FALL THROUGH
Reid Spencer5f016e22007-07-11 17:01:13 +0000392 case lang_gnucxx98:
393 case lang_cxx98:
394 Options.CPlusPlus = 1;
395 Options.CXXOperatorNames = !NoOperatorNames;
Nate Begeman8aebcb72007-11-15 07:30:50 +0000396 Options.Boolean = 1;
Reid Spencer5f016e22007-07-11 17:01:13 +0000397 // FALL THROUGH.
398 case lang_gnu99:
399 case lang_c99:
Reid Spencer5f016e22007-07-11 17:01:13 +0000400 Options.C99 = 1;
401 Options.HexFloats = 1;
402 // FALL THROUGH.
403 case lang_gnu89:
404 Options.BCPLComment = 1; // Only for C99/C++.
405 // FALL THROUGH.
406 case lang_c94:
Chris Lattner3426b9b2008-02-25 04:01:39 +0000407 Options.Digraphs = 1; // C94, C99, C++.
408 // FALL THROUGH.
Reid Spencer5f016e22007-07-11 17:01:13 +0000409 case lang_c89:
410 break;
411 }
412
Chris Lattnerd658b562008-04-05 06:32:51 +0000413 if (LangStd == lang_c89 || LangStd == lang_c94 || LangStd == lang_gnu89)
414 Options.ImplicitInt = 1;
415 else
416 Options.ImplicitInt = 0;
Reid Spencer5f016e22007-07-11 17:01:13 +0000417 Options.Trigraphs = 1; // -trigraphs or -ansi
418 Options.DollarIdents = 1; // FIXME: Really a target property.
Anders Carlssonee98ac52007-10-15 02:50:23 +0000419 Options.PascalStrings = PascalStrings;
Steve Naroffd62701b2008-02-07 03:50:06 +0000420 Options.Microsoft = MSExtensions;
Chris Lattner45e8cbd2007-11-28 05:34:05 +0000421 Options.WritableStrings = WritableStrings;
Anders Carlsson695dbb62007-11-30 04:21:22 +0000422 Options.LaxVectorConversions = LaxVectorConversions;
Reid Spencer5f016e22007-07-11 17:01:13 +0000423}
424
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000425static llvm::cl::opt<bool>
426ObjCExclusiveGC("fobjc-gc-only",
427 llvm::cl::desc("Use GC exclusively for Objective-C related "
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000428 "memory management"));
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000429
430static llvm::cl::opt<bool>
431ObjCEnableGC("fobjc-gc",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000432 llvm::cl::desc("Enable Objective-C garbage collection"));
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000433
434void InitializeGCMode(LangOptions &Options) {
435 if (ObjCExclusiveGC)
436 Options.setGCMode(LangOptions::GCOnly);
437 else if (ObjCEnableGC)
438 Options.setGCMode(LangOptions::HybridGC);
439}
440
441
Reid Spencer5f016e22007-07-11 17:01:13 +0000442//===----------------------------------------------------------------------===//
443// Our DiagnosticClient implementation
444//===----------------------------------------------------------------------===//
445
446// FIXME: Werror should take a list of things, -Werror=foo,bar
447static llvm::cl::opt<bool>
448WarningsAsErrors("Werror", llvm::cl::desc("Treat all warnings as errors"));
449
450static llvm::cl::opt<bool>
Chris Lattner5b4681c2008-05-29 15:36:45 +0000451SilenceWarnings("w", llvm::cl::desc("Do not emit any warnings"));
452
453static llvm::cl::opt<bool>
Reid Spencer5f016e22007-07-11 17:01:13 +0000454WarnOnExtensions("pedantic", llvm::cl::init(false),
455 llvm::cl::desc("Issue a warning on uses of GCC extensions"));
456
457static llvm::cl::opt<bool>
458ErrorOnExtensions("pedantic-errors",
459 llvm::cl::desc("Issue an error on uses of GCC extensions"));
460
461static llvm::cl::opt<bool>
462WarnUnusedMacros("Wunused_macros",
463 llvm::cl::desc("Warn for unused macros in the main translation unit"));
464
Ted Kremenekdb87bca2007-11-13 18:37:02 +0000465static llvm::cl::opt<bool>
466WarnFloatEqual("Wfloat-equal",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000467 llvm::cl::desc("Warn about equality comparisons of floating point values"));
Ted Kremenekdb87bca2007-11-13 18:37:02 +0000468
Ted Kremenek73da5902007-12-17 17:50:07 +0000469static llvm::cl::opt<bool>
470WarnNoFormatNonLiteral("Wno-format-nonliteral",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000471 llvm::cl::desc("Do not warn about non-literal format strings"));
Ted Kremenek73da5902007-12-17 17:50:07 +0000472
Chris Lattner116a4b12008-01-23 17:19:46 +0000473static llvm::cl::opt<bool>
474WarnUndefMacros("Wundef",
475 llvm::cl::desc("Warn on use of undefined macros in #if's"));
476
Chris Lattner37d10842008-05-05 21:18:06 +0000477static llvm::cl::opt<bool>
Ted Kremenek358256d2008-05-30 16:42:02 +0000478WarnImplicitFunctionDeclaration("Wimplicit-function-declaration",
479 llvm::cl::desc("Warn about uses of implicitly defined functions"));
Chris Lattner116a4b12008-01-23 17:19:46 +0000480
Reid Spencer5f016e22007-07-11 17:01:13 +0000481/// InitializeDiagnostics - Initialize the diagnostic object, based on the
482/// current command line option settings.
483static void InitializeDiagnostics(Diagnostic &Diags) {
Chris Lattner5b4681c2008-05-29 15:36:45 +0000484 Diags.setIgnoreAllWarnings(SilenceWarnings);
Reid Spencer5f016e22007-07-11 17:01:13 +0000485 Diags.setWarningsAsErrors(WarningsAsErrors);
486 Diags.setWarnOnExtensions(WarnOnExtensions);
487 Diags.setErrorOnExtensions(ErrorOnExtensions);
488
489 // Silence the "macro is not used" warning unless requested.
490 if (!WarnUnusedMacros)
491 Diags.setDiagnosticMapping(diag::pp_macro_not_used, diag::MAP_IGNORE);
Ted Kremenekdb87bca2007-11-13 18:37:02 +0000492
493 // Silence "floating point comparison" warnings unless requested.
494 if (!WarnFloatEqual)
495 Diags.setDiagnosticMapping(diag::warn_floatingpoint_eq, diag::MAP_IGNORE);
Ted Kremenek73da5902007-12-17 17:50:07 +0000496
497 // Silence "format string is not a string literal" warnings if requested
498 if (WarnNoFormatNonLiteral)
Ted Kremenek7c1d3df2007-12-17 17:50:39 +0000499 Diags.setDiagnosticMapping(diag::warn_printf_not_string_constant,
500 diag::MAP_IGNORE);
Chris Lattner116a4b12008-01-23 17:19:46 +0000501 if (!WarnUndefMacros)
502 Diags.setDiagnosticMapping(diag::warn_pp_undef_identifier,diag::MAP_IGNORE);
Steve Naroffe7a37302008-02-11 22:40:08 +0000503
Chris Lattner37d10842008-05-05 21:18:06 +0000504 if (!WarnImplicitFunctionDeclaration)
505 Diags.setDiagnosticMapping(diag::warn_implicit_function_decl,
506 diag::MAP_IGNORE);
507
Steve Naroffe7a37302008-02-11 22:40:08 +0000508 if (MSExtensions) // MS allows unnamed struct/union fields.
509 Diags.setDiagnosticMapping(diag::w_no_declarators, diag::MAP_IGNORE);
Chris Lattner8aedf192008-05-04 23:52:02 +0000510
511 // If -pedantic-errors is set, turn extensions that warn by default into
512 // errors.
513 if (ErrorOnExtensions) {
514 Diags.setDiagnosticMapping(diag::warn_hex_escape_too_large,
515 diag::MAP_ERROR);
516 Diags.setDiagnosticMapping(diag::warn_octal_escape_too_large,
517 diag::MAP_ERROR);
518 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000519}
520
521//===----------------------------------------------------------------------===//
Ted Kremenekcb330932008-02-18 21:21:23 +0000522// Analysis-specific options.
523//===----------------------------------------------------------------------===//
524
525static llvm::cl::opt<std::string>
526AnalyzeSpecificFunction("analyze-function",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000527 llvm::cl::desc("Run analysis on specific function"));
Ted Kremenekcb330932008-02-18 21:21:23 +0000528
Ted Kremenekffe0f432008-03-07 22:58:01 +0000529static llvm::cl::opt<bool>
Ted Kremenekd71ed262008-04-10 22:16:52 +0000530TrimGraph("trim-egraph",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000531 llvm::cl::desc("Only show error-related paths in the analysis graph"));
Ted Kremenekffe0f432008-03-07 22:58:01 +0000532
Ted Kremenekcb330932008-02-18 21:21:23 +0000533//===----------------------------------------------------------------------===//
Ted Kremenekae360762007-12-03 22:06:55 +0000534// Target Triple Processing.
535//===----------------------------------------------------------------------===//
536
537static llvm::cl::opt<std::string>
538TargetTriple("triple",
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000539 llvm::cl::desc("Specify target triple (e.g. i686-apple-darwin9)"));
Ted Kremenekae360762007-12-03 22:06:55 +0000540
Chris Lattner42e67372008-03-05 01:18:20 +0000541static llvm::cl::opt<std::string>
Sanjiv Gupta56cf96b2008-05-08 08:28:14 +0000542Arch("arch", llvm::cl::desc("Specify target architecture (e.g. i686)"));
Ted Kremenekae360762007-12-03 22:06:55 +0000543
Chris Lattner6fd9fa12008-03-09 01:35:13 +0000544static std::string CreateTargetTriple() {
Ted Kremenekae360762007-12-03 22:06:55 +0000545 // Initialize base triple. If a -triple option has been specified, use
546 // that triple. Otherwise, default to the host triple.
Chris Lattner6590d212007-12-12 05:01:48 +0000547 std::string Triple = TargetTriple;
548 if (Triple.empty()) Triple = LLVM_HOSTTRIPLE;
Ted Kremenekae360762007-12-03 22:06:55 +0000549
Chris Lattner6fd9fa12008-03-09 01:35:13 +0000550 // If -arch foo was specified, remove the architecture from the triple we have
551 // so far and replace it with the specified one.
552 if (Arch.empty())
553 return Triple;
554
Ted Kremenekae360762007-12-03 22:06:55 +0000555 // Decompose the base triple into "arch" and suffix.
Chris Lattner6fd9fa12008-03-09 01:35:13 +0000556 std::string::size_type FirstDashIdx = Triple.find("-");
Ted Kremenekae360762007-12-03 22:06:55 +0000557
Chris Lattner6fd9fa12008-03-09 01:35:13 +0000558 if (FirstDashIdx == std::string::npos) {
Ted Kremenek9b4ebc22007-12-03 22:11:31 +0000559 fprintf(stderr,
560 "Malformed target triple: \"%s\" ('-' could not be found).\n",
Chris Lattner6590d212007-12-12 05:01:48 +0000561 Triple.c_str());
562 exit(1);
Ted Kremenek9b4ebc22007-12-03 22:11:31 +0000563 }
Ted Kremenekae360762007-12-03 22:06:55 +0000564
Chris Lattner6fd9fa12008-03-09 01:35:13 +0000565 return Arch + std::string(Triple.begin()+FirstDashIdx, Triple.end());
Ted Kremenekae360762007-12-03 22:06:55 +0000566}
567
568//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000569// Preprocessor Initialization
570//===----------------------------------------------------------------------===//
571
572// FIXME: Preprocessor builtins to support.
573// -A... - Play with #assertions
574// -undef - Undefine all predefined macros
575
576static llvm::cl::list<std::string>
577D_macros("D", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
578 llvm::cl::desc("Predefine the specified macro"));
579static llvm::cl::list<std::string>
580U_macros("U", llvm::cl::value_desc("macro"), llvm::cl::Prefix,
581 llvm::cl::desc("Undefine the specified macro"));
582
Chris Lattner64299f82008-01-10 01:53:41 +0000583static llvm::cl::list<std::string>
584ImplicitIncludes("include", llvm::cl::value_desc("file"),
585 llvm::cl::desc("Include file before parsing"));
586
587
Reid Spencer5f016e22007-07-11 17:01:13 +0000588// Append a #define line to Buf for Macro. Macro should be of the form XXX,
589// in which case we emit "#define XXX 1" or "XXX=Y z W" in which case we emit
590// "#define XXX Y z W". To get a #define with no value, use "XXX=".
591static void DefineBuiltinMacro(std::vector<char> &Buf, const char *Macro,
592 const char *Command = "#define ") {
593 Buf.insert(Buf.end(), Command, Command+strlen(Command));
594 if (const char *Equal = strchr(Macro, '=')) {
595 // Turn the = into ' '.
596 Buf.insert(Buf.end(), Macro, Equal);
597 Buf.push_back(' ');
598 Buf.insert(Buf.end(), Equal+1, Equal+strlen(Equal));
599 } else {
600 // Push "macroname 1".
601 Buf.insert(Buf.end(), Macro, Macro+strlen(Macro));
602 Buf.push_back(' ');
603 Buf.push_back('1');
604 }
605 Buf.push_back('\n');
606}
607
Chris Lattner64299f82008-01-10 01:53:41 +0000608/// AddImplicitInclude - Add an implicit #include of the specified file to the
609/// predefines buffer.
610static void AddImplicitInclude(std::vector<char> &Buf, const std::string &File){
611 const char *Inc = "#include \"";
612 Buf.insert(Buf.end(), Inc, Inc+strlen(Inc));
613 Buf.insert(Buf.end(), File.begin(), File.end());
614 Buf.push_back('"');
615 Buf.push_back('\n');
616}
617
Reid Spencer5f016e22007-07-11 17:01:13 +0000618
Chris Lattner53b0dab2007-10-09 22:10:18 +0000619/// InitializePreprocessor - Initialize the preprocessor getting it and the
Chris Lattner51574ea2008-04-19 23:25:44 +0000620/// environment ready to process a single file. This returns true on error.
Chris Lattner53b0dab2007-10-09 22:10:18 +0000621///
Chris Lattner51574ea2008-04-19 23:25:44 +0000622static bool InitializePreprocessor(Preprocessor &PP,
623 bool InitializeSourceMgr,
624 const std::string &InFile) {
Chris Lattnerdee73592007-12-15 20:48:40 +0000625 FileManager &FileMgr = PP.getFileManager();
Reid Spencer5f016e22007-07-11 17:01:13 +0000626
Chris Lattner53b0dab2007-10-09 22:10:18 +0000627 // Figure out where to get and map in the main file.
Chris Lattnerdee73592007-12-15 20:48:40 +0000628 SourceManager &SourceMgr = PP.getSourceManager();
Ted Kremenek339b9c22008-04-17 22:31:54 +0000629
630 if (InitializeSourceMgr) {
631 if (InFile != "-") {
632 const FileEntry *File = FileMgr.getFile(InFile);
633 if (File) SourceMgr.createMainFileID(File, SourceLocation());
634 if (SourceMgr.getMainFileID() == 0) {
635 fprintf(stderr, "Error reading '%s'!\n",InFile.c_str());
Chris Lattner51574ea2008-04-19 23:25:44 +0000636 return true;
Ted Kremenek339b9c22008-04-17 22:31:54 +0000637 }
638 } else {
639 llvm::MemoryBuffer *SB = llvm::MemoryBuffer::getSTDIN();
640 if (SB) SourceMgr.createMainFileIDForMemBuffer(SB);
641 if (SourceMgr.getMainFileID() == 0) {
642 fprintf(stderr, "Error reading standard input! Empty?\n");
Chris Lattner51574ea2008-04-19 23:25:44 +0000643 return true;
Ted Kremenek339b9c22008-04-17 22:31:54 +0000644 }
Chris Lattner53b0dab2007-10-09 22:10:18 +0000645 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000646 }
Sam Bishop1102d6b2008-04-14 14:41:57 +0000647
Chris Lattneraa391972008-04-19 23:09:31 +0000648 std::vector<char> PredefineBuffer;
649
Reid Spencer5f016e22007-07-11 17:01:13 +0000650 // Add macros from the command line.
Sam Bishop1102d6b2008-04-14 14:41:57 +0000651 unsigned d = 0, D = D_macros.size();
652 unsigned u = 0, U = U_macros.size();
653 while (d < D || u < U) {
654 if (u == U || (d < D && D_macros.getPosition(d) < U_macros.getPosition(u)))
655 DefineBuiltinMacro(PredefineBuffer, D_macros[d++].c_str());
656 else
657 DefineBuiltinMacro(PredefineBuffer, U_macros[u++].c_str(), "#undef ");
658 }
659
Chris Lattner64299f82008-01-10 01:53:41 +0000660 // FIXME: Read any files specified by -imacros.
661
662 // Add implicit #includes from -include.
663 for (unsigned i = 0, e = ImplicitIncludes.size(); i != e; ++i)
664 AddImplicitInclude(PredefineBuffer, ImplicitIncludes[i]);
Chris Lattner53b0dab2007-10-09 22:10:18 +0000665
Chris Lattneraa391972008-04-19 23:09:31 +0000666 // Null terminate PredefinedBuffer and add it.
Chris Lattner53b0dab2007-10-09 22:10:18 +0000667 PredefineBuffer.push_back(0);
Chris Lattneraa391972008-04-19 23:09:31 +0000668 PP.setPredefines(&PredefineBuffer[0]);
Chris Lattner53b0dab2007-10-09 22:10:18 +0000669
670 // Once we've read this, we're done.
Chris Lattner51574ea2008-04-19 23:25:44 +0000671 return false;
Reid Spencer5f016e22007-07-11 17:01:13 +0000672}
673
674//===----------------------------------------------------------------------===//
675// Preprocessor include path information.
676//===----------------------------------------------------------------------===//
677
678// This tool exports a large number of command line options to control how the
679// preprocessor searches for header files. At root, however, the Preprocessor
680// object takes a very simple interface: a list of directories to search for
681//
682// FIXME: -nostdinc,-nostdinc++
Chris Lattner0c946412007-08-26 17:47:35 +0000683// FIXME: -imultilib
Reid Spencer5f016e22007-07-11 17:01:13 +0000684//
Chris Lattner64299f82008-01-10 01:53:41 +0000685// FIXME: -imacros
Reid Spencer5f016e22007-07-11 17:01:13 +0000686
687static llvm::cl::opt<bool>
688nostdinc("nostdinc", llvm::cl::desc("Disable standard #include directories"));
689
690// Various command line options. These four add directories to each chain.
691static llvm::cl::list<std::string>
692F_dirs("F", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
693 llvm::cl::desc("Add directory to framework include search path"));
694static llvm::cl::list<std::string>
695I_dirs("I", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
696 llvm::cl::desc("Add directory to include search path"));
697static llvm::cl::list<std::string>
698idirafter_dirs("idirafter", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
699 llvm::cl::desc("Add directory to AFTER include search path"));
700static llvm::cl::list<std::string>
701iquote_dirs("iquote", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
702 llvm::cl::desc("Add directory to QUOTE include search path"));
703static llvm::cl::list<std::string>
704isystem_dirs("isystem", llvm::cl::value_desc("directory"), llvm::cl::Prefix,
705 llvm::cl::desc("Add directory to SYSTEM include search path"));
706
707// These handle -iprefix/-iwithprefix/-iwithprefixbefore.
708static llvm::cl::list<std::string>
709iprefix_vals("iprefix", llvm::cl::value_desc("prefix"), llvm::cl::Prefix,
710 llvm::cl::desc("Set the -iwithprefix/-iwithprefixbefore prefix"));
711static llvm::cl::list<std::string>
712iwithprefix_vals("iwithprefix", llvm::cl::value_desc("dir"), llvm::cl::Prefix,
713 llvm::cl::desc("Set directory to SYSTEM include search path with prefix"));
714static llvm::cl::list<std::string>
715iwithprefixbefore_vals("iwithprefixbefore", llvm::cl::value_desc("dir"),
716 llvm::cl::Prefix,
717 llvm::cl::desc("Set directory to include search path with prefix"));
718
Chris Lattner0c946412007-08-26 17:47:35 +0000719static llvm::cl::opt<std::string>
720isysroot("isysroot", llvm::cl::value_desc("dir"), llvm::cl::init("/"),
721 llvm::cl::desc("Set the system root directory (usually /)"));
722
Reid Spencer5f016e22007-07-11 17:01:13 +0000723// Finally, implement the code that groks the options above.
724enum IncludeDirGroup {
725 Quoted = 0,
726 Angled,
727 System,
728 After
729};
730
731static std::vector<DirectoryLookup> IncludeGroup[4];
732
733/// AddPath - Add the specified path to the specified group list.
734///
735static void AddPath(const std::string &Path, IncludeDirGroup Group,
736 bool isCXXAware, bool isUserSupplied,
Chris Lattner822da612007-12-17 06:36:45 +0000737 bool isFramework, HeaderSearch &HS) {
Chris Lattnerb3de9e72007-12-09 00:39:55 +0000738 assert(!Path.empty() && "can't handle empty path here");
Chris Lattner822da612007-12-17 06:36:45 +0000739 FileManager &FM = HS.getFileMgr();
Chris Lattnerb3de9e72007-12-09 00:39:55 +0000740
Chris Lattnerd6655272007-12-17 05:59:27 +0000741 // Compute the actual path, taking into consideration -isysroot.
742 llvm::SmallString<256> MappedPath;
Chris Lattner0c946412007-08-26 17:47:35 +0000743
Chris Lattnerd6655272007-12-17 05:59:27 +0000744 // Handle isysroot.
745 if (Group == System) {
Chris Lattner60e4e2b2007-12-17 06:51:34 +0000746 // FIXME: Portability. This should be a sys::Path interface, this doesn't
747 // handle things like C:\ right, nor win32 \\network\device\blah.
Chris Lattnerd6655272007-12-17 05:59:27 +0000748 if (isysroot.size() != 1 || isysroot[0] != '/') // Add isysroot if present.
749 MappedPath.append(isysroot.begin(), isysroot.end());
Reid Spencer5f016e22007-07-11 17:01:13 +0000750 }
751
Chris Lattnerd6655272007-12-17 05:59:27 +0000752 MappedPath.append(Path.begin(), Path.end());
753
754 // Compute the DirectoryLookup type.
Reid Spencer5f016e22007-07-11 17:01:13 +0000755 DirectoryLookup::DirType Type;
756 if (Group == Quoted || Group == Angled)
757 Type = DirectoryLookup::NormalHeaderDir;
758 else if (isCXXAware)
759 Type = DirectoryLookup::SystemHeaderDir;
760 else
761 Type = DirectoryLookup::ExternCSystemHeaderDir;
762
Chris Lattnerd6655272007-12-17 05:59:27 +0000763
764 // If the directory exists, add it.
765 if (const DirectoryEntry *DE = FM.getDirectory(&MappedPath[0],
766 &MappedPath[0]+
767 MappedPath.size())) {
768 IncludeGroup[Group].push_back(DirectoryLookup(DE, Type, isUserSupplied,
769 isFramework));
770 return;
771 }
772
Chris Lattnerdf772332007-12-17 07:52:39 +0000773 // Check to see if this is an apple-style headermap (which are not allowed to
774 // be frameworks).
775 if (!isFramework) {
776 if (const FileEntry *FE = FM.getFile(&MappedPath[0],
777 &MappedPath[0]+MappedPath.size())) {
Chris Lattner1bfd4a62007-12-17 18:34:53 +0000778 if (const HeaderMap *HM = HS.CreateHeaderMap(FE)) {
779 // It is a headermap, add it to the search path.
Chris Lattnerdf772332007-12-17 07:52:39 +0000780 IncludeGroup[Group].push_back(DirectoryLookup(HM, Type,isUserSupplied));
781 return;
782 }
Chris Lattner822da612007-12-17 06:36:45 +0000783 }
784 }
785
Chris Lattnerd6655272007-12-17 05:59:27 +0000786 if (Verbose)
787 fprintf(stderr, "ignoring nonexistent directory \"%s\"\n", Path.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +0000788}
789
790/// RemoveDuplicates - If there are duplicate directory entries in the specified
791/// search list, remove the later (dead) ones.
792static void RemoveDuplicates(std::vector<DirectoryLookup> &SearchList) {
Chris Lattner8f3dab82007-12-15 23:20:07 +0000793 llvm::SmallPtrSet<const DirectoryEntry *, 8> SeenDirs;
Chris Lattnerdf772332007-12-17 07:52:39 +0000794 llvm::SmallPtrSet<const DirectoryEntry *, 8> SeenFrameworkDirs;
Chris Lattnerb94c7072007-12-17 06:44:29 +0000795 llvm::SmallPtrSet<const HeaderMap *, 8> SeenHeaderMaps;
Reid Spencer5f016e22007-07-11 17:01:13 +0000796 for (unsigned i = 0; i != SearchList.size(); ++i) {
Chris Lattnerb94c7072007-12-17 06:44:29 +0000797 if (SearchList[i].isNormalDir()) {
798 // If this isn't the first time we've seen this dir, remove it.
799 if (SeenDirs.insert(SearchList[i].getDir()))
800 continue;
801
Reid Spencer5f016e22007-07-11 17:01:13 +0000802 if (Verbose)
803 fprintf(stderr, "ignoring duplicate directory \"%s\"\n",
804 SearchList[i].getDir()->getName());
Chris Lattnerdf772332007-12-17 07:52:39 +0000805 } else if (SearchList[i].isFramework()) {
806 // If this isn't the first time we've seen this framework dir, remove it.
807 if (SeenFrameworkDirs.insert(SearchList[i].getFrameworkDir()))
808 continue;
809
810 if (Verbose)
811 fprintf(stderr, "ignoring duplicate framework \"%s\"\n",
812 SearchList[i].getFrameworkDir()->getName());
813
Chris Lattnerb94c7072007-12-17 06:44:29 +0000814 } else {
815 assert(SearchList[i].isHeaderMap() && "Not a headermap or normal dir?");
816 // If this isn't the first time we've seen this headermap, remove it.
817 if (SeenHeaderMaps.insert(SearchList[i].getHeaderMap()))
818 continue;
819
820 if (Verbose)
821 fprintf(stderr, "ignoring duplicate directory \"%s\"\n",
822 SearchList[i].getDir()->getName());
Reid Spencer5f016e22007-07-11 17:01:13 +0000823 }
Chris Lattnerb94c7072007-12-17 06:44:29 +0000824
825 // This is reached if the current entry is a duplicate.
826 SearchList.erase(SearchList.begin()+i);
827 --i;
Reid Spencer5f016e22007-07-11 17:01:13 +0000828 }
829}
830
Chris Lattner5f9eae52008-03-01 08:07:28 +0000831// AddEnvVarPaths - Add a list of paths from an environment variable to a
832// header search list.
833//
834static void AddEnvVarPaths(const char *Name, HeaderSearch &Headers) {
835 const char* at = getenv(Name);
836 if (!at)
837 return;
838
839 const char* delim = strchr(at, llvm::sys::PathSeparator);
840 while (delim != 0) {
841 if (delim-at == 0)
842 AddPath(".", Angled, false, true, false, Headers);
843 else
844 AddPath(std::string(at, std::string::size_type(delim-at)), Angled, false,
845 true, false, Headers);
846 at = delim + 1;
847 delim = strchr(at, llvm::sys::PathSeparator);
848 }
849 if (*at == 0)
850 AddPath(".", Angled, false, true, false, Headers);
851 else
852 AddPath(at, Angled, false, true, false, Headers);
853}
854
Reid Spencer5f016e22007-07-11 17:01:13 +0000855/// InitializeIncludePaths - Process the -I options and set them in the
856/// HeaderSearch object.
Chris Lattnerdcaa0962008-03-03 03:16:03 +0000857static void InitializeIncludePaths(const char *Argv0, HeaderSearch &Headers,
858 FileManager &FM, const LangOptions &Lang) {
Ted Kremenekf3721112008-05-31 00:27:00 +0000859 // Handle -I... and -F... options, walking the lists in parallel.
860 unsigned Iidx = 0, Fidx = 0;
861 while (Iidx < I_dirs.size() && Fidx < F_dirs.size()) {
862 if (I_dirs.getPosition(Iidx) < F_dirs.getPosition(Fidx)) {
863 AddPath(I_dirs[Iidx], Angled, false, true, false, Headers);
864 ++Iidx;
865 } else {
866 AddPath(F_dirs[Fidx], Angled, false, true, true, Headers);
867 ++Fidx;
868 }
869 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000870
Ted Kremenekf3721112008-05-31 00:27:00 +0000871 // Consume what's left from whatever list was longer.
872 for (; Iidx != I_dirs.size(); ++Iidx)
873 AddPath(I_dirs[Iidx], Angled, false, true, false, Headers);
874 for (; Fidx != F_dirs.size(); ++Fidx)
875 AddPath(F_dirs[Fidx], Angled, false, true, true, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000876
877 // Handle -idirafter... options.
878 for (unsigned i = 0, e = idirafter_dirs.size(); i != e; ++i)
Chris Lattner822da612007-12-17 06:36:45 +0000879 AddPath(idirafter_dirs[i], After, false, true, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000880
881 // Handle -iquote... options.
882 for (unsigned i = 0, e = iquote_dirs.size(); i != e; ++i)
Chris Lattner822da612007-12-17 06:36:45 +0000883 AddPath(iquote_dirs[i], Quoted, false, true, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000884
885 // Handle -isystem... options.
886 for (unsigned i = 0, e = isystem_dirs.size(); i != e; ++i)
Chris Lattner822da612007-12-17 06:36:45 +0000887 AddPath(isystem_dirs[i], System, false, true, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000888
889 // Walk the -iprefix/-iwithprefix/-iwithprefixbefore argument lists in
890 // parallel, processing the values in order of occurance to get the right
891 // prefixes.
892 {
893 std::string Prefix = ""; // FIXME: this isn't the correct default prefix.
894 unsigned iprefix_idx = 0;
895 unsigned iwithprefix_idx = 0;
896 unsigned iwithprefixbefore_idx = 0;
897 bool iprefix_done = iprefix_vals.empty();
898 bool iwithprefix_done = iwithprefix_vals.empty();
899 bool iwithprefixbefore_done = iwithprefixbefore_vals.empty();
900 while (!iprefix_done || !iwithprefix_done || !iwithprefixbefore_done) {
901 if (!iprefix_done &&
902 (iwithprefix_done ||
903 iprefix_vals.getPosition(iprefix_idx) <
904 iwithprefix_vals.getPosition(iwithprefix_idx)) &&
905 (iwithprefixbefore_done ||
906 iprefix_vals.getPosition(iprefix_idx) <
907 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
908 Prefix = iprefix_vals[iprefix_idx];
909 ++iprefix_idx;
910 iprefix_done = iprefix_idx == iprefix_vals.size();
911 } else if (!iwithprefix_done &&
912 (iwithprefixbefore_done ||
913 iwithprefix_vals.getPosition(iwithprefix_idx) <
914 iwithprefixbefore_vals.getPosition(iwithprefixbefore_idx))) {
915 AddPath(Prefix+iwithprefix_vals[iwithprefix_idx],
Chris Lattner822da612007-12-17 06:36:45 +0000916 System, false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000917 ++iwithprefix_idx;
918 iwithprefix_done = iwithprefix_idx == iwithprefix_vals.size();
919 } else {
920 AddPath(Prefix+iwithprefixbefore_vals[iwithprefixbefore_idx],
Chris Lattner822da612007-12-17 06:36:45 +0000921 Angled, false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000922 ++iwithprefixbefore_idx;
923 iwithprefixbefore_done =
924 iwithprefixbefore_idx == iwithprefixbefore_vals.size();
925 }
926 }
927 }
Chris Lattner5f9eae52008-03-01 08:07:28 +0000928
929 AddEnvVarPaths("CPATH", Headers);
930 if (Lang.CPlusPlus && Lang.ObjC1)
931 AddEnvVarPaths("OBJCPLUS_INCLUDE_PATH", Headers);
932 else if (Lang.CPlusPlus)
933 AddEnvVarPaths("CPLUS_INCLUDE_PATH", Headers);
934 else if (Lang.ObjC1)
935 AddEnvVarPaths("OBJC_INCLUDE_PATH", Headers);
936 else
937 AddEnvVarPaths("C_INCLUDE_PATH", Headers);
938
Chris Lattnerdcaa0962008-03-03 03:16:03 +0000939 // Add the clang headers, which are relative to the clang driver.
940 llvm::sys::Path MainExecutablePath =
Chris Lattner985e1822008-03-03 05:57:43 +0000941 llvm::sys::Path::GetMainExecutable(Argv0,
942 (void*)(intptr_t)InitializeIncludePaths);
Chris Lattnerdcaa0962008-03-03 03:16:03 +0000943 if (!MainExecutablePath.isEmpty()) {
944 MainExecutablePath.eraseComponent(); // Remove /clang from foo/bin/clang
945 MainExecutablePath.eraseComponent(); // Remove /bin from foo/bin
946 MainExecutablePath.appendComponent("Headers"); // Get foo/Headers
947 AddPath(MainExecutablePath.c_str(), System, false, false, false, Headers);
948 }
949
Reid Spencer5f016e22007-07-11 17:01:13 +0000950 // FIXME: temporary hack: hard-coded paths.
951 // FIXME: get these from the target?
952 if (!nostdinc) {
953 if (Lang.CPlusPlus) {
Ted Kremenek1d3cce32008-05-22 15:26:22 +0000954 AddPath("/usr/include/c++/4.2.1", System, true, false, false, Headers);
955 AddPath("/usr/include/c++/4.2.1/i686-apple-darwin10", System, true, false,
956 false, Headers);
957 AddPath("/usr/include/c++/4.2.1/backward", System, true, false, false,
958 Headers);
959
Chris Lattner822da612007-12-17 06:36:45 +0000960 AddPath("/usr/include/c++/4.0.0", System, true, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000961 AddPath("/usr/include/c++/4.0.0/i686-apple-darwin8", System, true, false,
Chris Lattner822da612007-12-17 06:36:45 +0000962 false, Headers);
963 AddPath("/usr/include/c++/4.0.0/backward", System, true, false, false,
964 Headers);
Lauro Ramos Venancioa6743492008-02-15 22:36:38 +0000965
966 // Ubuntu 7.10 - Gutsy Gibbon
967 AddPath("/usr/include/c++/4.1.3", System, true, false, false, Headers);
968 AddPath("/usr/include/c++/4.1.3/i486-linux-gnu", System, true, false,
969 false, Headers);
970 AddPath("/usr/include/c++/4.1.3/backward", System, true, false, false,
971 Headers);
Chris Lattner04421082008-04-08 04:40:51 +0000972
973 // Fedora 8
974 AddPath("/usr/include/c++/4.1.2", System, true, false, false, Headers);
Chris Lattner8ac661c2008-04-16 05:21:09 +0000975 AddPath("/usr/include/c++/4.1.2/i386-redhat-linux", System, true, false,
976 false, Headers);
977 AddPath("/usr/include/c++/4.1.2/backward", System, true, false, false,
978 Headers);
Ted Kremenekd88fb6c2008-06-24 03:33:47 +0000979
980 // Arch Linux 2008-06-24
981 AddPath("/usr/include/c++/4.3.1", System, true, false, false, Headers);
982 AddPath("/usr/include/c++/4.3.1/i686-pc-linux-gnu", System, true, false,
983 false, Headers);
984 AddPath("/usr/include/c++/4.3.1/backward", System, true, false, false,
985 Headers);
986 AddPath("/usr/include/c++/4.3.1/x86_64-unknown-linux-gnu", System, true,
987 false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +0000988 }
989
Chris Lattner822da612007-12-17 06:36:45 +0000990 AddPath("/usr/local/include", System, false, false, false, Headers);
Ted Kremenek1d3cce32008-05-22 15:26:22 +0000991
992 AddPath("/usr/lib/gcc/i686-apple-darwin10/4.2.1/include", System,
993 false, false, false, Headers);
994 AddPath("/usr/lib/gcc/powerpc-apple-darwin10/4.2.1/include",
995 System, false, false, false, Headers);
996
Reid Spencer5f016e22007-07-11 17:01:13 +0000997 // leopard
998 AddPath("/usr/lib/gcc/i686-apple-darwin9/4.0.1/include", System,
Chris Lattner822da612007-12-17 06:36:45 +0000999 false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001000 AddPath("/usr/lib/gcc/powerpc-apple-darwin9/4.0.1/include",
Chris Lattner822da612007-12-17 06:36:45 +00001001 System, false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001002 AddPath("/usr/lib/gcc/powerpc-apple-darwin9/"
1003 "4.0.1/../../../../powerpc-apple-darwin0/include",
Chris Lattner822da612007-12-17 06:36:45 +00001004 System, false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001005
1006 // tiger
1007 AddPath("/usr/lib/gcc/i686-apple-darwin8/4.0.1/include", System,
Chris Lattner822da612007-12-17 06:36:45 +00001008 false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001009 AddPath("/usr/lib/gcc/powerpc-apple-darwin8/4.0.1/include",
Chris Lattner822da612007-12-17 06:36:45 +00001010 System, false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001011 AddPath("/usr/lib/gcc/powerpc-apple-darwin8/"
1012 "4.0.1/../../../../powerpc-apple-darwin8/include",
Chris Lattner822da612007-12-17 06:36:45 +00001013 System, false, false, false, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001014
Lauro Ramos Venancio397cbf22008-01-21 23:08:35 +00001015 // Ubuntu 7.10 - Gutsy Gibbon
1016 AddPath("/usr/lib/gcc/i486-linux-gnu/4.1.3/include", System,
Chris Lattnerc81c8142008-02-25 21:04:36 +00001017 false, false, false, Headers);
Lauro Ramos Venancio397cbf22008-01-21 23:08:35 +00001018
Chris Lattner04421082008-04-08 04:40:51 +00001019 // Fedora 8
1020 AddPath("/usr/lib/gcc/i386-redhat-linux/4.1.2/include", System,
1021 false, false, false, Headers);
1022
Andrew Lenharth92d56b72008-03-24 21:25:48 +00001023 //Debian testing/lenny x86
1024 AddPath("/usr/lib/gcc/i486-linux-gnu/4.2.3/include", System,
1025 false, false, false, Headers);
Andrew Lenharthf24964c2008-03-24 21:39:05 +00001026
1027 //Debian testing/lenny amd64
1028 AddPath("/usr/lib/gcc/x86_64-linux-gnu/4.2.3/include", System,
1029 false, false, false, Headers);
Andrew Lenharth92d56b72008-03-24 21:25:48 +00001030
Ted Kremenekd88fb6c2008-06-24 03:33:47 +00001031 // Arch Linux 2008-06-24
1032 AddPath("/usr/lib/gcc/i686-pc-linux-gnu/4.3.1/include", System,
1033 false, false, false, Headers);
1034 AddPath("/usr/lib/gcc/i686-pc-linux-gnu/4.3.1/include-fixed", System,
1035 false, false, false, Headers);
1036 AddPath("/usr/lib/gcc/x86_64-unknown-linux-gnu/4.3.1/include", System,
1037 false, false, false, Headers);
1038 AddPath("/usr/lib/gcc/x86_64-unknown-linux-gnu/4.3.1/include-fixed",
1039 System, false, false, false, Headers);
1040
Matthijs Kooijmane9484fc2008-06-26 08:39:30 +00001041 // Debian testing/lenny ppc32
1042 AddPath("/usr/lib/gcc/powerpc-linux-gnu/4.2.3/include", System,
1043 false, false, false, Headers);
1044
Nuno Lopes68bf3872008-07-05 17:15:18 +00001045 // Gentoo x86 stable
1046 AddPath("/usr/lib/gcc/i686-pc-linux-gnu/4.1.2/include", System,
1047 false, false, false, Headers);
1048
Chris Lattner822da612007-12-17 06:36:45 +00001049 AddPath("/usr/include", System, false, false, false, Headers);
1050 AddPath("/System/Library/Frameworks", System, true, false, true, Headers);
1051 AddPath("/Library/Frameworks", System, true, false, true, Headers);
Reid Spencer5f016e22007-07-11 17:01:13 +00001052 }
1053
1054 // Now that we have collected all of the include paths, merge them all
1055 // together and tell the preprocessor about them.
1056
1057 // Concatenate ANGLE+SYSTEM+AFTER chains together into SearchList.
1058 std::vector<DirectoryLookup> SearchList;
1059 SearchList = IncludeGroup[Angled];
1060 SearchList.insert(SearchList.end(), IncludeGroup[System].begin(),
1061 IncludeGroup[System].end());
1062 SearchList.insert(SearchList.end(), IncludeGroup[After].begin(),
1063 IncludeGroup[After].end());
1064 RemoveDuplicates(SearchList);
1065 RemoveDuplicates(IncludeGroup[Quoted]);
1066
1067 // Prepend QUOTED list on the search list.
1068 SearchList.insert(SearchList.begin(), IncludeGroup[Quoted].begin(),
1069 IncludeGroup[Quoted].end());
1070
1071
1072 bool DontSearchCurDir = false; // TODO: set to true if -I- is set?
1073 Headers.SetSearchPaths(SearchList, IncludeGroup[Quoted].size(),
1074 DontSearchCurDir);
1075
1076 // If verbose, print the list of directories that will be searched.
1077 if (Verbose) {
1078 fprintf(stderr, "#include \"...\" search starts here:\n");
1079 unsigned QuotedIdx = IncludeGroup[Quoted].size();
1080 for (unsigned i = 0, e = SearchList.size(); i != e; ++i) {
1081 if (i == QuotedIdx)
1082 fprintf(stderr, "#include <...> search starts here:\n");
Chris Lattner3af66a92007-12-17 17:57:27 +00001083 const char *Name = SearchList[i].getName();
1084 const char *Suffix;
Chris Lattner0048b512007-12-17 17:42:26 +00001085 if (SearchList[i].isNormalDir())
Chris Lattner3af66a92007-12-17 17:57:27 +00001086 Suffix = "";
Chris Lattner0048b512007-12-17 17:42:26 +00001087 else if (SearchList[i].isFramework())
Chris Lattner3af66a92007-12-17 17:57:27 +00001088 Suffix = " (framework directory)";
Chris Lattner0048b512007-12-17 17:42:26 +00001089 else {
1090 assert(SearchList[i].isHeaderMap() && "Unknown DirectoryLookup");
Chris Lattner3af66a92007-12-17 17:57:27 +00001091 Suffix = " (headermap)";
Chris Lattner0048b512007-12-17 17:42:26 +00001092 }
Chris Lattner3af66a92007-12-17 17:57:27 +00001093 fprintf(stderr, " %s%s\n", Name, Suffix);
Reid Spencer5f016e22007-07-11 17:01:13 +00001094 }
Chris Lattner80e17152007-12-15 23:11:06 +00001095 fprintf(stderr, "End of search list.\n");
Reid Spencer5f016e22007-07-11 17:01:13 +00001096 }
1097}
1098
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001099//===----------------------------------------------------------------------===//
1100// Driver PreprocessorFactory - For lazily generating preprocessors ...
1101//===----------------------------------------------------------------------===//
1102
1103namespace {
1104class VISIBILITY_HIDDEN DriverPreprocessorFactory : public PreprocessorFactory {
Ted Kremenek339b9c22008-04-17 22:31:54 +00001105 const std::string &InFile;
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001106 Diagnostic &Diags;
1107 const LangOptions &LangInfo;
1108 TargetInfo &Target;
1109 SourceManager &SourceMgr;
1110 HeaderSearch &HeaderInfo;
Ted Kremenek339b9c22008-04-17 22:31:54 +00001111 bool InitializeSourceMgr;
1112
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001113public:
Ted Kremenek339b9c22008-04-17 22:31:54 +00001114 DriverPreprocessorFactory(const std::string &infile,
1115 Diagnostic &diags, const LangOptions &opts,
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001116 TargetInfo &target, SourceManager &SM,
1117 HeaderSearch &Headers)
Ted Kremenek339b9c22008-04-17 22:31:54 +00001118 : InFile(infile), Diags(diags), LangInfo(opts), Target(target),
1119 SourceMgr(SM), HeaderInfo(Headers), InitializeSourceMgr(true) {}
1120
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001121
1122 virtual ~DriverPreprocessorFactory() {}
1123
1124 virtual Preprocessor* CreatePreprocessor() {
Ted Kremenek339b9c22008-04-17 22:31:54 +00001125 Preprocessor* PP = new Preprocessor(Diags, LangInfo, Target,
1126 SourceMgr, HeaderInfo);
1127
Chris Lattner51574ea2008-04-19 23:25:44 +00001128 if (InitializePreprocessor(*PP, InitializeSourceMgr, InFile)) {
Ted Kremenek339b9c22008-04-17 22:31:54 +00001129 delete PP;
1130 return NULL;
1131 }
1132
1133 InitializeSourceMgr = false;
Ted Kremenek339b9c22008-04-17 22:31:54 +00001134 return PP;
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001135 }
1136};
1137}
Reid Spencer5f016e22007-07-11 17:01:13 +00001138
Reid Spencer5f016e22007-07-11 17:01:13 +00001139//===----------------------------------------------------------------------===//
1140// Basic Parser driver
1141//===----------------------------------------------------------------------===//
1142
Chris Lattner51574ea2008-04-19 23:25:44 +00001143static void ParseFile(Preprocessor &PP, MinimalAction *PA) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001144 Parser P(PP, *PA);
Ted Kremenek95041a22007-12-19 22:51:13 +00001145 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001146
1147 // Parsing the specified input file.
1148 P.ParseTranslationUnit();
1149 delete PA;
Argyrios Kyrtzidis14d41402008-06-13 12:15:34 +00001150
1151 if (VerifyDiagnostics)
1152 exit(CheckDiagnostics(PP));
Reid Spencer5f016e22007-07-11 17:01:13 +00001153}
1154
1155//===----------------------------------------------------------------------===//
1156// Main driver
1157//===----------------------------------------------------------------------===//
1158
Ted Kremenekdb094a22007-12-05 18:27:04 +00001159/// CreateASTConsumer - Create the ASTConsumer for the corresponding program
1160/// action. These consumers can operate on both ASTs that are freshly
1161/// parsed from source files as well as those deserialized from Bitcode.
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001162static ASTConsumer* CreateASTConsumer(const std::string& InFile,
Ted Kremeneka1fa3a12007-12-13 00:37:31 +00001163 Diagnostic& Diag, FileManager& FileMgr,
Chris Lattnere66b65c2008-02-06 01:42:25 +00001164 const LangOptions& LangOpts,
Chris Lattner3245a0a2008-04-16 06:11:58 +00001165 Preprocessor *PP,
Ted Kremenek339b9c22008-04-17 22:31:54 +00001166 PreprocessorFactory *PPF,
Chris Lattnere66b65c2008-02-06 01:42:25 +00001167 llvm::Module *&DestModule) {
Ted Kremenekdb094a22007-12-05 18:27:04 +00001168 switch (ProgAction) {
1169 default:
1170 return NULL;
1171
1172 case ASTPrint:
1173 return CreateASTPrinter();
1174
1175 case ASTDump:
1176 return CreateASTDumper();
1177
1178 case ASTView:
Ted Kremenek6a340832008-03-18 21:19:49 +00001179 return CreateASTViewer();
1180
1181 case EmitHTML:
Ted Kremenek339b9c22008-04-17 22:31:54 +00001182 return CreateHTMLPrinter(OutputFile, Diag, PP, PPF);
Ted Kremenek902141f2008-07-02 18:23:21 +00001183
Ted Kremenekdb094a22007-12-05 18:27:04 +00001184 case TestSerialization:
Ted Kremeneke7d07d12008-06-04 15:55:15 +00001185 return CreateSerializationTest(Diag, FileMgr);
Ted Kremenekdb094a22007-12-05 18:27:04 +00001186
1187 case EmitLLVM:
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +00001188 case EmitBC:
Chris Lattnere66b65c2008-02-06 01:42:25 +00001189 DestModule = new llvm::Module(InFile);
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001190 return CreateLLVMCodeGen(Diag, LangOpts, DestModule, GenerateDebugInfo);
Seo Sanghyeonfe947ad2007-12-24 01:52:34 +00001191
Ted Kremenek3910c7c2007-12-19 17:25:59 +00001192 case SerializeAST:
Ted Kremeneka1fa3a12007-12-13 00:37:31 +00001193 // FIXME: Allow user to tailor where the file is written.
Ted Kremeneke7d07d12008-06-04 15:55:15 +00001194 return CreateASTSerializer(InFile, OutputFile, Diag);
Ted Kremeneka1fa3a12007-12-13 00:37:31 +00001195
Steve Naroffb29b4272008-04-14 22:03:09 +00001196 case RewriteObjC:
Chris Lattnerc68ab772008-03-22 00:08:40 +00001197 return CreateCodeRewriterTest(InFile, OutputFile, Diag, LangOpts);
Ted Kremenekf4381fd2008-07-02 00:03:09 +00001198
1199 case RunAnalysis:
1200 assert (!AnalysisList.empty());
1201 return CreateAnalysisConsumer(&AnalysisList[0],
1202 &AnalysisList[0]+AnalysisList.size(),
1203 Diag, PP, PPF, LangOpts,
1204 AnalyzeSpecificFunction,
1205 OutputFile, VisualizeEG, TrimGraph,
1206 AnalyzeAll);
Ted Kremenekdb094a22007-12-05 18:27:04 +00001207 }
1208}
1209
Reid Spencer5f016e22007-07-11 17:01:13 +00001210/// ProcessInputFile - Process a single input file with the specified state.
1211///
Ted Kremenek339b9c22008-04-17 22:31:54 +00001212static void ProcessInputFile(Preprocessor &PP, PreprocessorFactory &PPF,
1213 const std::string &InFile) {
Ted Kremenekd39bcd82007-09-26 18:39:29 +00001214
1215 ASTConsumer* Consumer = NULL;
Chris Lattnerbd247762007-07-22 06:05:44 +00001216 bool ClearSourceMgr = false;
Chris Lattnere66b65c2008-02-06 01:42:25 +00001217 llvm::Module *CodeGenModule = 0;
Ted Kremenekd39bcd82007-09-26 18:39:29 +00001218
Reid Spencer5f016e22007-07-11 17:01:13 +00001219 switch (ProgAction) {
1220 default:
Chris Lattner3245a0a2008-04-16 06:11:58 +00001221 Consumer = CreateASTConsumer(InFile, PP.getDiagnostics(),
1222 PP.getFileManager(), PP.getLangOptions(), &PP,
Ted Kremenek339b9c22008-04-17 22:31:54 +00001223 &PPF, CodeGenModule);
Ted Kremenekdb094a22007-12-05 18:27:04 +00001224
1225 if (!Consumer) {
1226 fprintf(stderr, "Unexpected program action!\n");
1227 return;
1228 }
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001229
Ted Kremenekdb094a22007-12-05 18:27:04 +00001230 break;
1231
Reid Spencer5f016e22007-07-11 17:01:13 +00001232 case DumpTokens: { // Token dump mode.
Chris Lattnerd2177732007-07-20 16:59:19 +00001233 Token Tok;
Reid Spencer5f016e22007-07-11 17:01:13 +00001234 // Start parsing the specified input file.
Ted Kremenek95041a22007-12-19 22:51:13 +00001235 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001236 do {
1237 PP.Lex(Tok);
1238 PP.DumpToken(Tok, true);
1239 fprintf(stderr, "\n");
Chris Lattner057aaf62007-10-09 18:03:42 +00001240 } while (Tok.isNot(tok::eof));
Chris Lattnerbd247762007-07-22 06:05:44 +00001241 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001242 break;
1243 }
1244 case RunPreprocessorOnly: { // Just lex as fast as we can, no output.
Chris Lattnerd2177732007-07-20 16:59:19 +00001245 Token Tok;
Reid Spencer5f016e22007-07-11 17:01:13 +00001246 // Start parsing the specified input file.
Ted Kremenek95041a22007-12-19 22:51:13 +00001247 PP.EnterMainSourceFile();
Reid Spencer5f016e22007-07-11 17:01:13 +00001248 do {
1249 PP.Lex(Tok);
Chris Lattner057aaf62007-10-09 18:03:42 +00001250 } while (Tok.isNot(tok::eof));
Chris Lattnerbd247762007-07-22 06:05:44 +00001251 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001252 break;
1253 }
1254
1255 case PrintPreprocessedInput: // -E mode.
Chris Lattnere988bc22008-01-27 23:55:11 +00001256 DoPrintPreprocessedInput(PP, OutputFile);
Chris Lattnerbd247762007-07-22 06:05:44 +00001257 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001258 break;
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001259
Reid Spencer5f016e22007-07-11 17:01:13 +00001260 case ParseNoop: // -parse-noop
Ted Kremenek95041a22007-12-19 22:51:13 +00001261 ParseFile(PP, new MinimalAction(PP.getIdentifierTable()));
Chris Lattnerbd247762007-07-22 06:05:44 +00001262 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001263 break;
1264
1265 case ParsePrintCallbacks:
Ted Kremenek95041a22007-12-19 22:51:13 +00001266 ParseFile(PP, CreatePrintParserActionsAction(PP.getIdentifierTable()));
Chris Lattnerbd247762007-07-22 06:05:44 +00001267 ClearSourceMgr = true;
Reid Spencer5f016e22007-07-11 17:01:13 +00001268 break;
Ted Kremenek44579782007-09-25 18:37:20 +00001269
Ted Kremenekd39bcd82007-09-26 18:39:29 +00001270 case ParseSyntaxOnly: // -fsyntax-only
Ted Kremenekd39bcd82007-09-26 18:39:29 +00001271 Consumer = new ASTConsumer();
Ted Kremenek2bf55142007-09-17 20:49:30 +00001272 break;
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001273
1274 case RewriteMacros:
Chris Lattner09510522008-05-09 22:43:24 +00001275 RewriteMacrosInInput(PP, InFile, OutputFile);
Chris Lattnerb57e3d42008-05-08 06:52:13 +00001276 ClearSourceMgr = true;
1277 break;
Chris Lattner580980b2007-09-16 19:46:59 +00001278 }
Ted Kremenekd39bcd82007-09-26 18:39:29 +00001279
1280 if (Consumer) {
Ted Kremenek9f3d9422007-09-26 20:14:22 +00001281 if (VerifyDiagnostics)
Ted Kremenek95041a22007-12-19 22:51:13 +00001282 exit(CheckASTConsumer(PP, Consumer));
Chris Lattner31e6c7d2007-11-03 06:24:16 +00001283
1284 // This deletes Consumer.
Ted Kremenek95041a22007-12-19 22:51:13 +00001285 ParseAST(PP, Consumer, Stats);
Reid Spencer5f016e22007-07-11 17:01:13 +00001286 }
Chris Lattnere66b65c2008-02-06 01:42:25 +00001287
1288 // If running the code generator, finish up now.
1289 if (CodeGenModule) {
1290 std::ostream *Out;
1291 if (OutputFile == "-") {
1292 Out = llvm::cout.stream();
1293 } else if (!OutputFile.empty()) {
1294 Out = new std::ofstream(OutputFile.c_str(),
1295 std::ios_base::binary|std::ios_base::out);
1296 } else if (InFile == "-") {
1297 Out = llvm::cout.stream();
1298 } else {
1299 llvm::sys::Path Path(InFile);
1300 Path.eraseSuffix();
1301 if (ProgAction == EmitLLVM)
1302 Path.appendSuffix("ll");
1303 else if (ProgAction == EmitBC)
1304 Path.appendSuffix("bc");
1305 else
1306 assert(0 && "Unknown action");
1307 Out = new std::ofstream(Path.toString().c_str(),
1308 std::ios_base::binary|std::ios_base::out);
1309 }
1310
1311 if (ProgAction == EmitLLVM) {
1312 CodeGenModule->print(*Out);
1313 } else {
1314 assert(ProgAction == EmitBC);
1315 llvm::WriteBitcodeToFile(CodeGenModule, *Out);
1316 }
1317
1318 if (Out != llvm::cout.stream())
1319 delete Out;
1320 delete CodeGenModule;
1321 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001322
1323 if (Stats) {
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001324 fprintf(stderr, "\nSTATISTICS FOR '%s':\n", InFile.c_str());
Reid Spencer5f016e22007-07-11 17:01:13 +00001325 PP.PrintStats();
1326 PP.getIdentifierTable().PrintStats();
Chris Lattnerdee73592007-12-15 20:48:40 +00001327 PP.getHeaderSearchInfo().PrintStats();
Chris Lattnerbd247762007-07-22 06:05:44 +00001328 if (ClearSourceMgr)
Chris Lattnerdee73592007-12-15 20:48:40 +00001329 PP.getSourceManager().PrintStats();
Reid Spencer5f016e22007-07-11 17:01:13 +00001330 fprintf(stderr, "\n");
1331 }
Chris Lattnerbd247762007-07-22 06:05:44 +00001332
1333 // For a multi-file compilation, some things are ok with nuking the source
1334 // manager tables, other require stable fileid/macroid's across multiple
1335 // files.
Chris Lattnerdee73592007-12-15 20:48:40 +00001336 if (ClearSourceMgr)
1337 PP.getSourceManager().clearIDTables();
Reid Spencer5f016e22007-07-11 17:01:13 +00001338}
1339
Ted Kremenek20e97482007-12-12 23:41:08 +00001340static void ProcessSerializedFile(const std::string& InFile, Diagnostic& Diag,
1341 FileManager& FileMgr) {
1342
1343 if (VerifyDiagnostics) {
1344 fprintf(stderr, "-verify does not yet work with serialized ASTs.\n");
1345 exit (1);
1346 }
1347
1348 llvm::sys::Path Filename(InFile);
1349
1350 if (!Filename.isValid()) {
1351 fprintf(stderr, "serialized file '%s' not available.\n",InFile.c_str());
1352 exit (1);
1353 }
1354
Ted Kremenekc1e9dea2008-04-23 16:25:39 +00001355 llvm::OwningPtr<TranslationUnit> TU(ReadASTBitcodeFile(Filename, FileMgr));
Ted Kremenekfe4e0152007-12-13 18:11:11 +00001356
1357 if (!TU) {
1358 fprintf(stderr, "error: file '%s' could not be deserialized\n",
1359 InFile.c_str());
1360 exit (1);
1361 }
1362
Ted Kremenek63ea8632007-12-19 19:27:38 +00001363 // Observe that we use the source file name stored in the deserialized
1364 // translation unit, rather than InFile.
Chris Lattnere66b65c2008-02-06 01:42:25 +00001365 llvm::Module *DestModule;
Ted Kremenekee533642007-12-20 19:47:16 +00001366 llvm::OwningPtr<ASTConsumer>
Ted Kremeneke7d07d12008-06-04 15:55:15 +00001367 Consumer(CreateASTConsumer(InFile, Diag, FileMgr, TU->getLangOptions(),
1368 0, 0, DestModule));
Ted Kremenek20e97482007-12-12 23:41:08 +00001369
1370 if (!Consumer) {
1371 fprintf(stderr, "Unsupported program action with serialized ASTs!\n");
1372 exit (1);
1373 }
1374
Ted Kremenekc1e9dea2008-04-23 16:25:39 +00001375 Consumer->Initialize(TU->getContext());
Ted Kremenek20e97482007-12-12 23:41:08 +00001376
Chris Lattnere66b65c2008-02-06 01:42:25 +00001377 // FIXME: We need to inform Consumer about completed TagDecls as well.
Ted Kremenek20e97482007-12-12 23:41:08 +00001378 for (TranslationUnit::iterator I=TU->begin(), E=TU->end(); I!=E; ++I)
1379 Consumer->HandleTopLevelDecl(*I);
Ted Kremenek20e97482007-12-12 23:41:08 +00001380}
1381
1382
Reid Spencer5f016e22007-07-11 17:01:13 +00001383static llvm::cl::list<std::string>
1384InputFilenames(llvm::cl::Positional, llvm::cl::desc("<input files>"));
1385
Ted Kremenek20e97482007-12-12 23:41:08 +00001386static bool isSerializedFile(const std::string& InFile) {
1387 if (InFile.size() < 4)
1388 return false;
1389
1390 const char* s = InFile.c_str()+InFile.size()-4;
1391
1392 return s[0] == '.' &&
1393 s[1] == 'a' &&
1394 s[2] == 's' &&
1395 s[3] == 't';
1396}
1397
Reid Spencer5f016e22007-07-11 17:01:13 +00001398
1399int main(int argc, char **argv) {
Chris Lattnerdcaa0962008-03-03 03:16:03 +00001400 llvm::cl::ParseCommandLineOptions(argc, argv, " llvm clang cfe\n");
Reid Spencer5f016e22007-07-11 17:01:13 +00001401 llvm::sys::PrintStackTraceOnErrorSignal();
1402
1403 // If no input was specified, read from stdin.
1404 if (InputFilenames.empty())
1405 InputFilenames.push_back("-");
Ted Kremenek31e703b2007-12-11 23:28:38 +00001406
Reid Spencer5f016e22007-07-11 17:01:13 +00001407 // Create a file manager object to provide access to and cache the filesystem.
1408 FileManager FileMgr;
1409
Ted Kremenek31e703b2007-12-11 23:28:38 +00001410 // Create the diagnostic client for reporting errors or for
1411 // implementing -verify.
Ted Kremenek88f5cde2008-03-27 06:17:42 +00001412 std::auto_ptr<DiagnosticClient> DiagClient;
1413 TextDiagnostics* TextDiagClient = NULL;
1414
1415 if (!HTMLDiag.empty()) {
Ted Kremeneka760f5f2008-04-16 16:53:18 +00001416
1417 // FIXME: The HTMLDiagnosticClient uses the Preprocessor for
1418 // (optional) syntax highlighting, but we don't have a preprocessor yet.
1419 // Fix this dependency later.
Ted Kremenek339b9c22008-04-17 22:31:54 +00001420 DiagClient.reset(CreateHTMLDiagnosticClient(HTMLDiag, 0, 0));
Ted Kremenek88f5cde2008-03-27 06:17:42 +00001421 }
1422 else { // Use Text diagnostics.
1423 if (!VerifyDiagnostics) {
1424 // Print diagnostics to stderr by default.
1425 TextDiagClient = new TextDiagnosticPrinter();
1426 } else {
1427 // When checking diagnostics, just buffer them up.
1428 TextDiagClient = new TextDiagnosticBuffer();
1429
1430 if (InputFilenames.size() != 1) {
1431 fprintf(stderr,
1432 "-verify only works on single input files for now.\n");
1433 return 1;
1434 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001435 }
Ted Kremenek88f5cde2008-03-27 06:17:42 +00001436
1437 assert (TextDiagClient);
1438 DiagClient.reset(TextDiagClient);
Reid Spencer5f016e22007-07-11 17:01:13 +00001439 }
1440
1441 // Configure our handling of diagnostics.
1442 Diagnostic Diags(*DiagClient);
Ted Kremenek31e703b2007-12-11 23:28:38 +00001443 InitializeDiagnostics(Diags);
1444
Chris Lattner4f037832007-12-05 23:24:17 +00001445 // -I- is a deprecated GCC feature, scan for it and reject it.
1446 for (unsigned i = 0, e = I_dirs.size(); i != e; ++i) {
1447 if (I_dirs[i] == "-") {
Ted Kremenek2eefd862007-12-11 22:57:35 +00001448 Diags.Report(diag::err_pp_I_dash_not_supported);
Chris Lattner4f037832007-12-05 23:24:17 +00001449 I_dirs.erase(I_dirs.begin()+i);
1450 --i;
1451 }
1452 }
Chris Lattner11215192008-03-14 06:12:05 +00001453
1454 // Get information about the target being compiled for.
1455 std::string Triple = CreateTargetTriple();
1456 TargetInfo *Target = TargetInfo::CreateTargetInfo(Triple);
1457 if (Target == 0) {
1458 fprintf(stderr, "Sorry, I don't know what target this is: %s\n",
1459 Triple.c_str());
1460 fprintf(stderr, "Please use -triple or -arch.\n");
1461 exit(1);
1462 }
Chris Lattner4f037832007-12-05 23:24:17 +00001463
Ted Kremenekf4381fd2008-07-02 00:03:09 +00001464 // Are we invoking one or more source analyses?
1465 if (!AnalysisList.empty() && ProgAction == ParseSyntaxOnly)
1466 ProgAction = RunAnalysis;
1467
1468
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00001469 llvm::OwningPtr<SourceManager> SourceMgr;
1470
Reid Spencer5f016e22007-07-11 17:01:13 +00001471 for (unsigned i = 0, e = InputFilenames.size(); i != e; ++i) {
Ted Kremenek31e703b2007-12-11 23:28:38 +00001472 const std::string &InFile = InputFilenames[i];
Ted Kremenek31e703b2007-12-11 23:28:38 +00001473
Ted Kremenek20e97482007-12-12 23:41:08 +00001474 if (isSerializedFile(InFile))
1475 ProcessSerializedFile(InFile,Diags,FileMgr);
1476 else {
1477 /// Create a SourceManager object. This tracks and owns all the file
1478 /// buffers allocated to a translation unit.
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00001479 if (!SourceMgr)
1480 SourceMgr.reset(new SourceManager());
1481 else
1482 SourceMgr->clearIDTables();
Ted Kremenek31e703b2007-12-11 23:28:38 +00001483
Ted Kremenek20e97482007-12-12 23:41:08 +00001484 // Initialize language options, inferring file types from input filenames.
1485 LangOptions LangInfo;
1486 InitializeBaseLanguage();
1487 LangKind LK = GetLanguage(InFile);
1488 InitializeLangOptions(LangInfo, LK);
1489 InitializeLanguageStandard(LangInfo, LK);
Ted Kremenek01d9dbf2008-04-29 04:37:03 +00001490 InitializeGCMode(LangInfo);
Ted Kremenek20e97482007-12-12 23:41:08 +00001491
1492 // Process the -I options and set them in the HeaderInfo.
1493 HeaderSearch HeaderInfo(FileMgr);
Ted Kremenek88f5cde2008-03-27 06:17:42 +00001494 if (TextDiagClient) TextDiagClient->setHeaderSearch(HeaderInfo);
Ted Kremenekc68ecb52008-06-06 01:47:30 +00001495
1496 // FIXME: Sink IncludeGroup into this loop.
1497 IncludeGroup[0].clear();
1498 IncludeGroup[1].clear();
1499 IncludeGroup[2].clear();
1500 IncludeGroup[3].clear();
Chris Lattnerdcaa0962008-03-03 03:16:03 +00001501 InitializeIncludePaths(argv[0], HeaderInfo, FileMgr, LangInfo);
Ted Kremenek20e97482007-12-12 23:41:08 +00001502
Ted Kremenek20e97482007-12-12 23:41:08 +00001503 // Set up the preprocessor with these options.
Ted Kremenek339b9c22008-04-17 22:31:54 +00001504 DriverPreprocessorFactory PPFactory(InFile, Diags, LangInfo, *Target,
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00001505 *SourceMgr.get(), HeaderInfo);
Ted Kremenek20e97482007-12-12 23:41:08 +00001506
Ted Kremeneka42cf2e2008-04-17 21:38:34 +00001507 llvm::OwningPtr<Preprocessor> PP(PPFactory.CreatePreprocessor());
1508
Ted Kremenek339b9c22008-04-17 22:31:54 +00001509 if (!PP)
Ted Kremenek76edd0e2007-12-19 22:29:55 +00001510 continue;
1511
Ted Kremenek339b9c22008-04-17 22:31:54 +00001512 ProcessInputFile(*PP, PPFactory, InFile);
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00001513 HeaderInfo.ClearFileInfo();
Ted Kremenek20e97482007-12-12 23:41:08 +00001514
1515 if (Stats)
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00001516 SourceMgr->PrintStats();
Ted Kremenek20e97482007-12-12 23:41:08 +00001517 }
Reid Spencer5f016e22007-07-11 17:01:13 +00001518 }
1519
Ted Kremenekc0c03bc2008-06-06 22:42:39 +00001520
Chris Lattner11215192008-03-14 06:12:05 +00001521 delete Target;
1522
Reid Spencer5f016e22007-07-11 17:01:13 +00001523 unsigned NumDiagnostics = Diags.getNumDiagnostics();
1524
1525 if (NumDiagnostics)
1526 fprintf(stderr, "%d diagnostic%s generated.\n", NumDiagnostics,
1527 (NumDiagnostics == 1 ? "" : "s"));
1528
1529 if (Stats) {
Reid Spencer5f016e22007-07-11 17:01:13 +00001530 FileMgr.PrintStats();
1531 fprintf(stderr, "\n");
1532 }
1533
Chris Lattner96f1a642007-07-21 05:40:53 +00001534 return Diags.getNumErrors() != 0;
Reid Spencer5f016e22007-07-11 17:01:13 +00001535}