blob: 558d6dc416f6fe76da358e7f8e3a26b3760aa171 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- LangOptions.h - C Language Family Language Options -----*- C++ -*-===//
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 file defines the LangOptions interface.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_CLANG_LANGOPTIONS_H
15#define LLVM_CLANG_LANGOPTIONS_H
16
Daniel Dunbar1b096952009-11-29 02:38:47 +000017#include <string>
John McCall1fb0caa2010-10-22 21:05:15 +000018#include "clang/Basic/Visibility.h"
Daniel Dunbar1b096952009-11-29 02:38:47 +000019
Reid Spencer5f016e22007-07-11 17:01:13 +000020namespace clang {
21
Ted Kremenek1b27ab32010-11-14 17:53:34 +000022/// LangOptions - This class keeps track of the various options that can be
23/// enabled, which controls the dialect of C that is accepted.
24class LangOptions {
Cedric Venetea684e62009-02-14 16:15:20 +000025public:
Reid Spencer5f016e22007-07-11 17:01:13 +000026 unsigned Trigraphs : 1; // Trigraphs in source files.
Chris Lattnerd658b562008-04-05 06:32:51 +000027 unsigned BCPLComment : 1; // BCPL-style '//' comments.
Chris Lattnere4f21422009-06-30 01:26:17 +000028 unsigned Bool : 1; // 'bool', 'true', 'false' keywords.
Reid Spencer5f016e22007-07-11 17:01:13 +000029 unsigned DollarIdents : 1; // '$' allowed in identifiers.
Daniel Dunbarc1571452008-12-01 18:55:22 +000030 unsigned AsmPreprocessor : 1; // Preprocessor in asm mode.
Chris Lattner7e9c90b2009-03-20 15:44:26 +000031 unsigned GNUMode : 1; // True in gnu99 mode false in c99 mode (etc)
Chandler Carrutheb5d7b72010-04-17 20:17:31 +000032 unsigned GNUKeywords : 1; // True if GNU-only keywords are allowed
Chris Lattnerd658b562008-04-05 06:32:51 +000033 unsigned ImplicitInt : 1; // C89 implicit 'int'.
Chris Lattner3426b9b2008-02-25 04:01:39 +000034 unsigned Digraphs : 1; // C94, C99 and C++
Reid Spencer5f016e22007-07-11 17:01:13 +000035 unsigned HexFloats : 1; // C99 Hexadecimal float constants.
36 unsigned C99 : 1; // C99 Support
37 unsigned Microsoft : 1; // Microsoft extensions.
Dawn Perchik400b6072010-09-02 23:59:25 +000038 unsigned Borland : 1; // Borland extensions.
Reid Spencer5f016e22007-07-11 17:01:13 +000039 unsigned CPlusPlus : 1; // C++ Support
Chris Lattnerd4b80f12007-07-16 04:18:29 +000040 unsigned CPlusPlus0x : 1; // C++0x Support
Reid Spencer5f016e22007-07-11 17:01:13 +000041 unsigned CXXOperatorNames : 1; // Treat C++ operator names as keywords.
Mike Stump1eb44332009-09-09 15:08:12 +000042
Ted Kremenek01d9dbf2008-04-29 04:37:03 +000043 unsigned ObjC1 : 1; // Objective-C 1 support enabled.
44 unsigned ObjC2 : 1; // Objective-C 2 support enabled.
Fariborz Jahanian30bc5712009-01-22 23:02:58 +000045 unsigned ObjCNonFragileABI : 1; // Objective-C modern abi enabled
Fariborz Jahanian412e7982010-02-09 19:31:38 +000046 unsigned ObjCNonFragileABI2 : 1; // Objective-C enhanced modern abi enabled
Mike Stump1eb44332009-09-09 15:08:12 +000047
Anders Carlssonee98ac52007-10-15 02:50:23 +000048 unsigned PascalStrings : 1; // Allow Pascal strings
Chris Lattner45e8cbd2007-11-28 05:34:05 +000049 unsigned WritableStrings : 1; // Allow writable strings
John McCall4b7a8342010-03-15 10:54:44 +000050 unsigned ConstStrings : 1; // Add const qualifier to strings (-Wwrite-strings)
Anders Carlsson695dbb62007-11-30 04:21:22 +000051 unsigned LaxVectorConversions : 1;
Nate Begeman4e3629e2009-06-25 22:43:10 +000052 unsigned AltiVec : 1; // Support AltiVec-style vector initializers.
Daniel Dunbar6379a7a2008-08-11 17:36:14 +000053 unsigned Exceptions : 1; // Support exception handling.
Daniel Dunbar73482882010-02-10 18:48:44 +000054 unsigned SjLjExceptions : 1; // Use setjmp-longjump exception handling.
Mike Stumpde050572009-12-02 18:57:08 +000055 unsigned RTTI : 1; // Support RTTI information.
Daniel Dunbarf77ac862008-08-11 21:35:06 +000056
57 unsigned NeXTRuntime : 1; // Use NeXT runtime.
Douglas Gregor3573c0c2009-02-14 20:49:29 +000058 unsigned Freestanding : 1; // Freestanding implementation
Chris Lattner7644f072009-03-13 22:38:49 +000059 unsigned NoBuiltin : 1; // Do not use builtin functions (-fno-builtin)
Daniel Dunbarf77ac862008-08-11 21:35:06 +000060
Anders Carlssone1b29ef2008-08-22 16:00:37 +000061 unsigned ThreadsafeStatics : 1; // Whether static initializers are protected
Ted Kremenek1b27ab32010-11-14 17:53:34 +000062 // by locks.
Daniel Dunbar5345c392009-09-03 04:54:28 +000063 unsigned POSIXThreads : 1; // Compiling with POSIX thread support
Ted Kremenek1b27ab32010-11-14 17:53:34 +000064 // (-pthread)
Steve Naroff5618bd42008-08-27 16:04:49 +000065 unsigned Blocks : 1; // block extension to C
Daniel Dunbard604c402009-02-04 21:19:06 +000066 unsigned EmitAllDecls : 1; // Emit all declarations, even if
Ted Kremenek1b27ab32010-11-14 17:53:34 +000067 // they are unused.
Daniel Dunbaref2abfe2009-02-16 22:43:43 +000068 unsigned MathErrno : 1; // Math functions must respect errno
Ted Kremenek1b27ab32010-11-14 17:53:34 +000069 // (modulo the platform support).
Daniel Dunbaref2abfe2009-02-16 22:43:43 +000070
Chris Lattner810f6d52009-03-13 17:38:01 +000071 unsigned HeinousExtensions : 1; // Extensions that we really don't like and
Ted Kremenek1b27ab32010-11-14 17:53:34 +000072 // may be ripped out at any time.
Fariborz Jahanian7cd2e932009-04-03 03:28:57 +000073
Anders Carlsson4ca076f2009-04-06 17:37:10 +000074 unsigned Optimize : 1; // Whether __OPTIMIZE__ should be defined.
Mike Stump1eb44332009-09-09 15:08:12 +000075 unsigned OptimizeSize : 1; // Whether __OPTIMIZE_SIZE__ should be
Ted Kremenek1b27ab32010-11-14 17:53:34 +000076 // defined.
Daniel Dunbar3bbc7532009-04-08 18:03:55 +000077 unsigned Static : 1; // Should __STATIC__ be defined (as
Ted Kremenek1b27ab32010-11-14 17:53:34 +000078 // opposed to __DYNAMIC__).
Daniel Dunbar9fd0b1f2009-04-08 03:03:23 +000079 unsigned PICLevel : 2; // The value for __PIC__, if non-zero.
80
Daniel Dunbar3bbc7532009-04-08 18:03:55 +000081 unsigned GNUInline : 1; // Should GNU inline semantics be
Ted Kremenek1b27ab32010-11-14 17:53:34 +000082 // used (instead of C99 semantics).
Daniel Dunbar3bbc7532009-04-08 18:03:55 +000083 unsigned NoInline : 1; // Should __NO_INLINE__ be defined.
84
Fariborz Jahanian448f5e62009-04-17 03:04:15 +000085 unsigned ObjCGCBitmapPrint : 1; // Enable printing of gc's bitmap layout
Ted Kremenek1b27ab32010-11-14 17:53:34 +000086 // for __weak/__strong ivars.
Fariborz Jahanian448f5e62009-04-17 03:04:15 +000087
Mike Stump1eb44332009-09-09 15:08:12 +000088 unsigned AccessControl : 1; // Whether C++ access control should
Ted Kremenek1b27ab32010-11-14 17:53:34 +000089 // be enabled.
Eli Friedman15b91762009-06-05 07:05:05 +000090 unsigned CharIsSigned : 1; // Whether char is a signed or unsigned type
John Thompsona6fda122009-11-05 20:14:16 +000091 unsigned ShortWChar : 1; // Force wchar_t to be unsigned short int.
Nate Begeman4e3629e2009-06-25 22:43:10 +000092
Argyrios Kyrtzidis9a2b9d72010-10-08 00:25:19 +000093 unsigned ShortEnums : 1; // The enum type will be equivalent to the
Ted Kremenek1b27ab32010-11-14 17:53:34 +000094 // smallest integer type with enough room.
Argyrios Kyrtzidis9a2b9d72010-10-08 00:25:19 +000095
Nate Begeman4e3629e2009-06-25 22:43:10 +000096 unsigned OpenCL : 1; // OpenCL C99 language extensions.
Michael J. Spencer20249a12010-10-21 03:16:25 +000097
Nuno Lopesfc284482009-12-16 16:59:22 +000098 unsigned AssumeSaneOperatorNew : 1; // Whether to add __attribute__((malloc))
Ted Kremenek1b27ab32010-11-14 17:53:34 +000099 // to the declaration of C++'s new
100 // operators
Anders Carlsson92f58222009-08-22 22:30:33 +0000101 unsigned ElideConstructors : 1; // Whether C++ copy constructors should be
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000102 // elided if possible.
Anders Carlsson824d7ea2010-02-11 08:02:13 +0000103 unsigned CatchUndefined : 1; // Generate code to check for undefined ops.
Daniel Dunbarb69eca52010-04-08 02:59:56 +0000104 unsigned DumpRecordLayouts : 1; /// Dump the layout of IRgen'd records.
Anders Carlsson046c2942010-04-17 20:15:18 +0000105 unsigned DumpVTableLayouts : 1; /// Dump the layouts of emitted vtables.
Fariborz Jahanian33e982b2010-04-22 20:26:39 +0000106 unsigned NoConstantCFStrings : 1; // Do not do CF strings
Douglas Gregor7cf84d62010-06-15 17:05:35 +0000107 unsigned InlineVisibilityHidden : 1; // Whether inline C++ methods have
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000108 // hidden visibility by default.
Daniel Dunbarfb937b82010-04-15 15:06:22 +0000109
Douglas Gregora0068fc2010-07-09 17:35:33 +0000110 unsigned SpellChecking : 1; // Whether to perform spell-checking for error
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000111 // recovery.
Daniel Dunbarfb937b82010-04-15 15:06:22 +0000112 // FIXME: This is just a temporary option, for testing purposes.
113 unsigned NoBitFieldTypeAlign : 1;
114
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000115private:
Chris Lattnera4d71452010-06-26 21:25:03 +0000116 // We declare multibit enums as unsigned because MSVC insists on making enums
117 // signed. Set/Query these values using accessors.
118 unsigned GC : 2; // Objective-C Garbage Collection modes.
Fariborz Jahanian7cd2e932009-04-03 03:28:57 +0000119 unsigned SymbolVisibility : 3; // Symbol's visibility.
Chris Lattnera4d71452010-06-26 21:25:03 +0000120 unsigned StackProtector : 2; // Whether stack protectors are on.
121 unsigned SignedOverflowBehavior : 2; // How to handle signed integer overflow.
Fariborz Jahanian7cd2e932009-04-03 03:28:57 +0000122
Mike Stump1eb44332009-09-09 15:08:12 +0000123public:
Douglas Gregor26dce442009-03-10 00:06:19 +0000124 unsigned InstantiationDepth; // Maximum template instantiation depth.
Argyrios Kyrtzidis3532fdd2010-11-17 23:11:54 +0000125 unsigned ArgumentLargerThan; // Warn if parameter/return value is larger
126 // in bytes than this setting. 0 is no check.
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000127
Michael J. Spencerdae4ac42010-10-21 05:21:48 +0000128 // Version of Microsoft Visual C/C++ we are pretending to be. This is
129 // temporary until we support all MS extensions used in Windows SDK and stdlib
130 // headers. Sets _MSC_VER.
131 unsigned MSCVersion;
132
Daniel Dunbar1b096952009-11-29 02:38:47 +0000133 std::string ObjCConstantStringClass;
David Chisnall8a5a9aa2009-08-31 16:41:57 +0000134
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000135 enum GCMode { NonGC, GCOnly, HybridGC };
Bill Wendling4ebe3e42009-06-28 23:01:01 +0000136 enum StackProtectorMode { SSPOff, SSPOn, SSPReq };
Michael J. Spencer20249a12010-10-21 03:16:25 +0000137
Chris Lattnera4d71452010-06-26 21:25:03 +0000138 enum SignedOverflowBehaviorTy {
139 SOB_Undefined, // Default C standard behavior.
140 SOB_Defined, // -fwrapv
141 SOB_Trapping // -ftrapv
142 };
David Chisnall7f18e672010-09-17 18:29:54 +0000143 /// The name of the handler function to be called when -ftrapv is specified.
144 /// If none is specified, abort (GCC-compatible behaviour).
145 std::string OverflowHandler;
Mike Stump1eb44332009-09-09 15:08:12 +0000146
Reid Spencer5f016e22007-07-11 17:01:13 +0000147 LangOptions() {
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000148 Trigraphs = BCPLComment = Bool = DollarIdents = AsmPreprocessor = 0;
149 GNUMode = GNUKeywords = ImplicitInt = Digraphs = 0;
150 HexFloats = 0;
151 GC = ObjC1 = ObjC2 = ObjCNonFragileABI = ObjCNonFragileABI2 = 0;
152 NoConstantCFStrings = 0; InlineVisibilityHidden = 0;
153 C99 = Microsoft = Borland = CPlusPlus = CPlusPlus0x = 0;
154 CXXOperatorNames = PascalStrings = WritableStrings = ConstStrings = 0;
155 Exceptions = SjLjExceptions = Freestanding = NoBuiltin = 0;
Daniel Dunbarc5a97ec2009-11-17 07:07:28 +0000156 NeXTRuntime = 1;
Mike Stumpde050572009-12-02 18:57:08 +0000157 RTTI = 1;
Anders Carlssonb0f90cc2009-01-30 23:17:46 +0000158 LaxVectorConversions = 1;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000159 HeinousExtensions = 0;
160 AltiVec = OpenCL = StackProtector = 0;
161
John McCall1fb0caa2010-10-22 21:05:15 +0000162 SymbolVisibility = (unsigned) DefaultVisibility;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000163
Anders Carlssona508b7d2010-02-06 23:23:06 +0000164 ThreadsafeStatics = 1;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000165 POSIXThreads = 0;
166 Blocks = 0;
167 EmitAllDecls = 0;
Daniel Dunbaref2abfe2009-02-16 22:43:43 +0000168 MathErrno = 1;
Chris Lattnera4d71452010-06-26 21:25:03 +0000169 SignedOverflowBehavior = SOB_Undefined;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000170
Nuno Lopesfc284482009-12-16 16:59:22 +0000171 AssumeSaneOperatorNew = 1;
Chris Lattner1ea9c3d2010-06-28 17:11:58 +0000172 AccessControl = 1;
Anders Carlsson92f58222009-08-22 22:30:33 +0000173 ElideConstructors = 1;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000174
175 SignedOverflowBehavior = 0;
176 ObjCGCBitmapPrint = 0;
177
Douglas Gregore2e69ef2010-05-01 16:59:21 +0000178 InstantiationDepth = 1024;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000179
Argyrios Kyrtzidis3532fdd2010-11-17 23:11:54 +0000180 ArgumentLargerThan = 0;
181
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000182 Optimize = 0;
183 OptimizeSize = 0;
184
185 Static = 0;
186 PICLevel = 0;
187
188 GNUInline = 0;
189 NoInline = 0;
190
Eli Friedman15b91762009-06-05 07:05:05 +0000191 CharIsSigned = 1;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000192 ShortWChar = 0;
193 ShortEnums = 0;
194 CatchUndefined = 0;
195 DumpRecordLayouts = 0;
196 DumpVTableLayouts = 0;
Douglas Gregora0068fc2010-07-09 17:35:33 +0000197 SpellChecking = 1;
Ted Kremenek1b27ab32010-11-14 17:53:34 +0000198 NoBitFieldTypeAlign = 0;
Reid Spencer5f016e22007-07-11 17:01:13 +0000199 }
Mike Stump1eb44332009-09-09 15:08:12 +0000200
Ted Kremenek01d9dbf2008-04-29 04:37:03 +0000201 GCMode getGCMode() const { return (GCMode) GC; }
202 void setGCMode(GCMode m) { GC = (unsigned) m; }
Fariborz Jahanian7cd2e932009-04-03 03:28:57 +0000203
Bill Wendling4ebe3e42009-06-28 23:01:01 +0000204 StackProtectorMode getStackProtectorMode() const {
205 return static_cast<StackProtectorMode>(StackProtector);
206 }
207 void setStackProtectorMode(StackProtectorMode m) {
208 StackProtector = static_cast<unsigned>(m);
209 }
210
John McCall1fb0caa2010-10-22 21:05:15 +0000211 Visibility getVisibilityMode() const {
212 return (Visibility) SymbolVisibility;
Daniel Dunbar04d40782009-04-14 06:00:08 +0000213 }
John McCall1fb0caa2010-10-22 21:05:15 +0000214 void setVisibilityMode(Visibility v) { SymbolVisibility = (unsigned) v; }
Michael J. Spencer20249a12010-10-21 03:16:25 +0000215
Chris Lattnera4d71452010-06-26 21:25:03 +0000216 SignedOverflowBehaviorTy getSignedOverflowBehavior() const {
217 return (SignedOverflowBehaviorTy)SignedOverflowBehavior;
218 }
219 void setSignedOverflowBehavior(SignedOverflowBehaviorTy V) {
220 SignedOverflowBehavior = (unsigned)V;
221 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000222};
223
224} // end namespace clang
225
226#endif