OSDN Git Service

2007-02-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
[pf3gnuchains/gcc-fork.git] / gcc / doc / invoke.texi
1 @c Copyright (C) 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
2 @c 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
3 @c Free Software Foundation, Inc.
4 @c This is part of the GCC manual.
5 @c For copying conditions, see the file gcc.texi.
6
7 @ignore
8 @c man begin INCLUDE
9 @include gcc-vers.texi
10 @c man end
11
12 @c man begin COPYRIGHT
13 Copyright @copyright{} 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
14 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
15
16 Permission is granted to copy, distribute and/or modify this document
17 under the terms of the GNU Free Documentation License, Version 1.2 or
18 any later version published by the Free Software Foundation; with the
19 Invariant Sections being ``GNU General Public License'' and ``Funding
20 Free Software'', the Front-Cover texts being (a) (see below), and with
21 the Back-Cover Texts being (b) (see below).  A copy of the license is
22 included in the gfdl(7) man page.
23
24 (a) The FSF's Front-Cover Text is:
25
26      A GNU Manual
27
28 (b) The FSF's Back-Cover Text is:
29
30      You have freedom to copy and modify this GNU Manual, like GNU
31      software.  Copies published by the Free Software Foundation raise
32      funds for GNU development.
33 @c man end
34 @c Set file name and title for the man page.
35 @setfilename gcc
36 @settitle GNU project C and C++ compiler
37 @c man begin SYNOPSIS
38 gcc [@option{-c}|@option{-S}|@option{-E}] [@option{-std=}@var{standard}]
39     [@option{-g}] [@option{-pg}] [@option{-O}@var{level}]
40     [@option{-W}@var{warn}@dots{}] [@option{-pedantic}]
41     [@option{-I}@var{dir}@dots{}] [@option{-L}@var{dir}@dots{}]
42     [@option{-D}@var{macro}[=@var{defn}]@dots{}] [@option{-U}@var{macro}]
43     [@option{-f}@var{option}@dots{}] [@option{-m}@var{machine-option}@dots{}]
44     [@option{-o} @var{outfile}] [@@@var{file}] @var{infile}@dots{}
45
46 Only the most useful options are listed here; see below for the
47 remainder.  @samp{g++} accepts mostly the same options as @samp{gcc}.
48 @c man end
49 @c man begin SEEALSO
50 gpl(7), gfdl(7), fsf-funding(7),
51 cpp(1), gcov(1), as(1), ld(1), gdb(1), adb(1), dbx(1), sdb(1)
52 and the Info entries for @file{gcc}, @file{cpp}, @file{as},
53 @file{ld}, @file{binutils} and @file{gdb}.
54 @c man end
55 @c man begin BUGS
56 For instructions on reporting bugs, see
57 @w{@uref{http://gcc.gnu.org/bugs.html}}.
58 @c man end
59 @c man begin AUTHOR
60 See the Info entry for @command{gcc}, or
61 @w{@uref{http://gcc.gnu.org/onlinedocs/gcc/Contributors.html}},
62 for contributors to GCC@.
63 @c man end
64 @end ignore
65
66 @node Invoking GCC
67 @chapter GCC Command Options
68 @cindex GCC command options
69 @cindex command options
70 @cindex options, GCC command
71
72 @c man begin DESCRIPTION
73 When you invoke GCC, it normally does preprocessing, compilation,
74 assembly and linking.  The ``overall options'' allow you to stop this
75 process at an intermediate stage.  For example, the @option{-c} option
76 says not to run the linker.  Then the output consists of object files
77 output by the assembler.
78
79 Other options are passed on to one stage of processing.  Some options
80 control the preprocessor and others the compiler itself.  Yet other
81 options control the assembler and linker; most of these are not
82 documented here, since you rarely need to use any of them.
83
84 @cindex C compilation options
85 Most of the command line options that you can use with GCC are useful
86 for C programs; when an option is only useful with another language
87 (usually C++), the explanation says so explicitly.  If the description
88 for a particular option does not mention a source language, you can use
89 that option with all supported languages.
90
91 @cindex C++ compilation options
92 @xref{Invoking G++,,Compiling C++ Programs}, for a summary of special
93 options for compiling C++ programs.
94
95 @cindex grouping options
96 @cindex options, grouping
97 The @command{gcc} program accepts options and file names as operands.  Many
98 options have multi-letter names; therefore multiple single-letter options
99 may @emph{not} be grouped: @option{-dr} is very different from @w{@samp{-d
100 -r}}.
101
102 @cindex order of options
103 @cindex options, order
104 You can mix options and other arguments.  For the most part, the order
105 you use doesn't matter.  Order does matter when you use several options
106 of the same kind; for example, if you specify @option{-L} more than once,
107 the directories are searched in the order specified.
108
109 Many options have long names starting with @samp{-f} or with
110 @samp{-W}---for example, 
111 @option{-fmove-loop-invariants}, @option{-Wformat} and so on.  Most of
112 these have both positive and negative forms; the negative form of
113 @option{-ffoo} would be @option{-fno-foo}.  This manual documents
114 only one of these two forms, whichever one is not the default.
115
116 @c man end
117
118 @xref{Option Index}, for an index to GCC's options.
119
120 @menu
121 * Option Summary::      Brief list of all options, without explanations.
122 * Overall Options::     Controlling the kind of output:
123                         an executable, object files, assembler files,
124                         or preprocessed source.
125 * Invoking G++::        Compiling C++ programs.
126 * C Dialect Options::   Controlling the variant of C language compiled.
127 * C++ Dialect Options:: Variations on C++.
128 * Objective-C and Objective-C++ Dialect Options:: Variations on Objective-C
129                         and Objective-C++.
130 * Language Independent Options:: Controlling how diagnostics should be
131                         formatted.
132 * Warning Options::     How picky should the compiler be?
133 * Debugging Options::   Symbol tables, measurements, and debugging dumps.
134 * Optimize Options::    How much optimization?
135 * Preprocessor Options:: Controlling header files and macro definitions.
136                          Also, getting dependency information for Make.
137 * Assembler Options::   Passing options to the assembler.
138 * Link Options::        Specifying libraries and so on.
139 * Directory Options::   Where to find header files and libraries.
140                         Where to find the compiler executable files.
141 * Spec Files::          How to pass switches to sub-processes.
142 * Target Options::      Running a cross-compiler, or an old version of GCC.
143 * Submodel Options::    Specifying minor hardware or convention variations,
144                         such as 68010 vs 68020.
145 * Code Gen Options::    Specifying conventions for function calls, data layout
146                         and register usage.
147 * Environment Variables:: Env vars that affect GCC.
148 * Precompiled Headers:: Compiling a header once, and using it many times.
149 * Running Protoize::    Automatically adding or removing function prototypes.
150 @end menu
151
152 @c man begin OPTIONS
153
154 @node Option Summary
155 @section Option Summary
156
157 Here is a summary of all the options, grouped by type.  Explanations are
158 in the following sections.
159
160 @table @emph
161 @item Overall Options
162 @xref{Overall Options,,Options Controlling the Kind of Output}.
163 @gccoptlist{-c  -S  -E  -o @var{file}  -combine  -pipe  -pass-exit-codes  @gol
164 -x @var{language}  -v  -###  --help@r{[}=@var{class}@r{]}  --target-help  @gol 
165 --version @@@var{file}}
166
167 @item C Language Options
168 @xref{C Dialect Options,,Options Controlling C Dialect}.
169 @gccoptlist{-ansi  -std=@var{standard}  -aux-info @var{filename} @gol
170 -fno-asm  -fno-builtin  -fno-builtin-@var{function} @gol
171 -fhosted  -ffreestanding -fopenmp -fms-extensions @gol
172 -trigraphs  -no-integrated-cpp  -traditional  -traditional-cpp @gol
173 -fallow-single-precision  -fcond-mismatch -flax-vector-conversions @gol
174 -fsigned-bitfields  -fsigned-char @gol
175 -funsigned-bitfields  -funsigned-char}
176
177 @item C++ Language Options
178 @xref{C++ Dialect Options,,Options Controlling C++ Dialect}.
179 @gccoptlist{-fabi-version=@var{n}  -fno-access-control  -fcheck-new @gol
180 -fconserve-space  -ffriend-injection @gol
181 -fno-elide-constructors @gol
182 -fno-enforce-eh-specs @gol
183 -ffor-scope  -fno-for-scope  -fno-gnu-keywords @gol
184 -fno-implicit-templates @gol
185 -fno-implicit-inline-templates @gol
186 -fno-implement-inlines  -fms-extensions @gol
187 -fno-nonansi-builtins  -fno-operator-names @gol
188 -fno-optional-diags  -fpermissive @gol
189 -frepo  -fno-rtti  -fstats  -ftemplate-depth-@var{n} @gol
190 -fno-threadsafe-statics -fuse-cxa-atexit  -fno-weak  -nostdinc++ @gol
191 -fno-default-inline  -fvisibility-inlines-hidden @gol
192 -Wabi  -Wctor-dtor-privacy @gol
193 -Wnon-virtual-dtor  -Wreorder @gol
194 -Weffc++  -Wno-deprecated  -Wstrict-null-sentinel @gol
195 -Wno-non-template-friend  -Wold-style-cast @gol
196 -Woverloaded-virtual  -Wno-pmf-conversions @gol
197 -Wsign-promo}
198
199 @item Objective-C and Objective-C++ Language Options
200 @xref{Objective-C and Objective-C++ Dialect Options,,Options Controlling
201 Objective-C and Objective-C++ Dialects}.
202 @gccoptlist{-fconstant-string-class=@var{class-name} @gol
203 -fgnu-runtime  -fnext-runtime @gol
204 -fno-nil-receivers @gol
205 -fobjc-call-cxx-cdtors @gol
206 -fobjc-direct-dispatch @gol
207 -fobjc-exceptions @gol
208 -fobjc-gc @gol
209 -freplace-objc-classes @gol
210 -fzero-link @gol
211 -gen-decls @gol
212 -Wassign-intercept @gol
213 -Wno-protocol  -Wselector @gol
214 -Wstrict-selector-match @gol
215 -Wundeclared-selector}
216
217 @item Language Independent Options
218 @xref{Language Independent Options,,Options to Control Diagnostic Messages Formatting}.
219 @gccoptlist{-fmessage-length=@var{n}  @gol
220 -fdiagnostics-show-location=@r{[}once@r{|}every-line@r{]}  @gol
221 -fdiagnostics-show-option}
222
223 @item Warning Options
224 @xref{Warning Options,,Options to Request or Suppress Warnings}.
225 @gccoptlist{-fsyntax-only  -pedantic  -pedantic-errors @gol
226 -w  -Wextra  -Wall  -Waggregate-return -Walways-true -Warray-bounds @gol
227 -Wno-attributes -Wc++-compat -Wc++0x-compat -Wcast-align  -Wcast-qual  @gol
228 -Wchar-subscripts -Wclobbered  -Wcomment @gol
229 -Wconversion -Wcoverage-mismatch -Wno-deprecated-declarations @gol
230 -Wdisabled-optimization  -Wno-div-by-zero  @gol
231 -Wempty-body  -Wno-endif-labels @gol
232 -Werror  -Werror=* @gol
233 -Wfatal-errors  -Wfloat-equal  -Wformat  -Wformat=2 @gol
234 -Wno-format-extra-args -Wformat-nonliteral @gol
235 -Wformat-security  -Wformat-y2k @gol
236 -Wimplicit  -Wimplicit-function-declaration  -Wimplicit-int @gol
237 -Wimport  -Wno-import  -Winit-self  -Winline @gol
238 -Wno-int-to-pointer-cast @gol
239 -Wno-invalid-offsetof  -Winvalid-pch @gol
240 -Wlarger-than-@var{len}  -Wunsafe-loop-optimizations  -Wlong-long @gol
241 -Wmain  -Wmissing-braces  -Wmissing-field-initializers @gol
242 -Wmissing-format-attribute  -Wmissing-include-dirs @gol
243 -Wmissing-noreturn @gol
244 -Wno-multichar  -Wnonnull  -Wno-overflow @gol
245 -Woverlength-strings  -Wpacked  -Wpadded @gol
246 -Wparentheses  -Wpointer-arith  -Wno-pointer-to-int-cast @gol
247 -Wredundant-decls @gol
248 -Wreturn-type  -Wsequence-point  -Wshadow @gol
249 -Wsign-compare  -Wstack-protector @gol
250 -Wstrict-aliasing -Wstrict-aliasing=2 @gol
251 -Wstrict-overflow -Wstrict-overflow=@var{n} @gol
252 -Wstring-literal-comparison @gol
253 -Wswitch  -Wswitch-default  -Wswitch-enum @gol
254 -Wsystem-headers  -Wtrigraphs  -Wundef  -Wuninitialized @gol
255 -Wunknown-pragmas  -Wno-pragmas -Wunreachable-code @gol
256 -Wunused  -Wunused-function  -Wunused-label  -Wunused-parameter @gol
257 -Wunused-value  -Wunused-variable  -Wvariadic-macros @gol
258 -Wvolatile-register-var  -Wwrite-strings}
259
260 @item C-only Warning Options
261 @gccoptlist{-Wbad-function-cast  -Wmissing-declarations @gol
262 -Wmissing-parameter-type  -Wmissing-prototypes  -Wnested-externs @gol
263 -Wold-style-declaration  -Wold-style-definition @gol
264 -Wstrict-prototypes  -Wtraditional  -Wtraditional-conversion @gol
265 -Wdeclaration-after-statement -Wpointer-sign}
266
267 @item Debugging Options
268 @xref{Debugging Options,,Options for Debugging Your Program or GCC}.
269 @gccoptlist{-d@var{letters}  -dumpspecs  -dumpmachine  -dumpversion @gol
270 -fdump-noaddr -fdump-unnumbered  -fdump-translation-unit@r{[}-@var{n}@r{]} @gol
271 -fdump-class-hierarchy@r{[}-@var{n}@r{]} @gol
272 -fdump-ipa-all -fdump-ipa-cgraph @gol
273 -fdump-tree-all @gol
274 -fdump-tree-original@r{[}-@var{n}@r{]}  @gol
275 -fdump-tree-optimized@r{[}-@var{n}@r{]} @gol
276 -fdump-tree-inlined@r{[}-@var{n}@r{]} @gol
277 -fdump-tree-cfg -fdump-tree-vcg -fdump-tree-alias @gol
278 -fdump-tree-ch @gol
279 -fdump-tree-ssa@r{[}-@var{n}@r{]} -fdump-tree-pre@r{[}-@var{n}@r{]} @gol
280 -fdump-tree-ccp@r{[}-@var{n}@r{]} -fdump-tree-dce@r{[}-@var{n}@r{]} @gol
281 -fdump-tree-gimple@r{[}-raw@r{]} -fdump-tree-mudflap@r{[}-@var{n}@r{]} @gol
282 -fdump-tree-dom@r{[}-@var{n}@r{]} @gol
283 -fdump-tree-dse@r{[}-@var{n}@r{]} @gol
284 -fdump-tree-phiopt@r{[}-@var{n}@r{]} @gol
285 -fdump-tree-forwprop@r{[}-@var{n}@r{]} @gol
286 -fdump-tree-copyrename@r{[}-@var{n}@r{]} @gol
287 -fdump-tree-nrv -fdump-tree-vect @gol
288 -fdump-tree-sink @gol
289 -fdump-tree-sra@r{[}-@var{n}@r{]} @gol
290 -fdump-tree-salias @gol
291 -fdump-tree-fre@r{[}-@var{n}@r{]} @gol
292 -fdump-tree-vrp@r{[}-@var{n}@r{]} @gol
293 -ftree-vectorizer-verbose=@var{n} @gol
294 -fdump-tree-storeccp@r{[}-@var{n}@r{]} @gol
295 -feliminate-dwarf2-dups -feliminate-unused-debug-types @gol
296 -feliminate-unused-debug-symbols -femit-class-debug-always @gol
297 -fmem-report -fpre-ipa-mem-report -fpost-ipa-mem-report -fprofile-arcs @gol
298 -frandom-seed=@var{string} -fsched-verbose=@var{n} @gol
299 -ftest-coverage  -ftime-report -fvar-tracking @gol
300 -g  -g@var{level}  -gcoff -gdwarf-2 @gol
301 -ggdb  -gstabs  -gstabs+  -gvms  -gxcoff  -gxcoff+ @gol
302 -p  -pg  -print-file-name=@var{library}  -print-libgcc-file-name @gol
303 -print-multi-directory  -print-multi-lib @gol
304 -print-prog-name=@var{program}  -print-search-dirs  -Q @gol
305 -save-temps  -time}
306
307 @item Optimization Options
308 @xref{Optimize Options,,Options that Control Optimization}.
309 @gccoptlist{-falign-functions=@var{n}  -falign-jumps=@var{n} @gol
310 -falign-labels=@var{n}  -falign-loops=@var{n}  @gol
311 -fbounds-check -fmudflap -fmudflapth -fmudflapir @gol
312 -fbranch-probabilities -fprofile-values -fvpt -fbranch-target-load-optimize @gol
313 -fbranch-target-load-optimize2 -fbtr-bb-exclusive @gol
314 -fcaller-saves  -fcprop-registers  -fcse-follow-jumps @gol
315 -fcse-skip-blocks  -fcx-limited-range  -fdata-sections @gol
316 -fdelayed-branch  -fdelete-null-pointer-checks -fearly-inlining @gol
317 -fexpensive-optimizations  -ffast-math  -ffloat-store @gol
318 -fforce-addr  -fforward-propagate  -ffunction-sections @gol
319 -fgcse  -fgcse-lm  -fgcse-sm  -fgcse-las  -fgcse-after-reload @gol
320 -fcrossjumping  -fif-conversion  -fif-conversion2 @gol
321 -finline-functions  -finline-functions-called-once @gol
322 -finline-limit=@var{n}  -fkeep-inline-functions @gol
323 -fkeep-static-consts  -fmerge-constants  -fmerge-all-constants @gol
324 -fmodulo-sched -fno-branch-count-reg @gol
325 -fno-default-inline  -fno-defer-pop -fmove-loop-invariants @gol
326 -fno-function-cse  -fno-guess-branch-probability @gol
327 -fno-inline  -fno-math-errno  -fno-peephole  -fno-peephole2 @gol
328 -funsafe-math-optimizations  -funsafe-loop-optimizations @gol
329 -ffinite-math-only  -fno-signed-zeros @gol
330 -fno-toplevel-reorder -fno-trapping-math  -fno-zero-initialized-in-bss @gol
331 -fomit-frame-pointer  -foptimize-register-move @gol
332 -foptimize-sibling-calls  -fprefetch-loop-arrays @gol
333 -fprofile-generate -fprofile-use @gol
334 -fregmove  -frename-registers @gol
335 -freorder-blocks  -freorder-blocks-and-partition -freorder-functions @gol
336 -frerun-cse-after-loop @gol
337 -frounding-math -frtl-abstract-sequences @gol
338 -fschedule-insns  -fschedule-insns2 @gol
339 -fno-sched-interblock  -fno-sched-spec  -fsched-spec-load @gol
340 -fsched-spec-load-dangerous  @gol
341 -fsched-stalled-insns=@var{n} -fsched-stalled-insns-dep=@var{n} @gol
342 -fsched2-use-superblocks @gol
343 -fsched2-use-traces -fsee -freschedule-modulo-scheduled-loops @gol
344 -fsection-anchors  -fsignaling-nans  -fsingle-precision-constant @gol
345 -fno-split-wide-types -fstack-protector  -fstack-protector-all @gol
346 -fstrict-aliasing  -fstrict-overflow  -ftracer  -fthread-jumps @gol
347 -funroll-all-loops  -funroll-loops  -fpeel-loops @gol
348 -fsplit-ivs-in-unroller -funswitch-loops @gol
349 -fvariable-expansion-in-unroller @gol
350 -ftree-pre  -ftree-ccp  -ftree-dce -ftree-loop-optimize @gol
351 -ftree-loop-linear -ftree-loop-im -ftree-loop-ivcanon -fivopts @gol
352 -ftree-dominator-opts -ftree-dse -ftree-copyrename -ftree-sink @gol
353 -ftree-ch -ftree-sra -ftree-ter -ftree-lrs -ftree-fre -ftree-vectorize @gol
354 -ftree-vect-loop-version -ftree-salias -fipa-pta -fweb @gol
355 -ftree-copy-prop -ftree-store-ccp -ftree-store-copy-prop -fwhole-program @gol
356 --param @var{name}=@var{value}
357 -O  -O0  -O1  -O2  -O3  -Os}
358
359 @item Preprocessor Options
360 @xref{Preprocessor Options,,Options Controlling the Preprocessor}.
361 @gccoptlist{-A@var{question}=@var{answer} @gol
362 -A-@var{question}@r{[}=@var{answer}@r{]} @gol
363 -C  -dD  -dI  -dM  -dN @gol
364 -D@var{macro}@r{[}=@var{defn}@r{]}  -E  -H @gol
365 -idirafter @var{dir} @gol
366 -include @var{file}  -imacros @var{file} @gol
367 -iprefix @var{file}  -iwithprefix @var{dir} @gol
368 -iwithprefixbefore @var{dir}  -isystem @var{dir} @gol
369 -imultilib @var{dir} -isysroot @var{dir} @gol
370 -M  -MM  -MF  -MG  -MP  -MQ  -MT  -nostdinc  @gol
371 -P  -fworking-directory  -remap @gol
372 -trigraphs  -undef  -U@var{macro}  -Wp,@var{option} @gol
373 -Xpreprocessor @var{option}}
374
375 @item Assembler Option
376 @xref{Assembler Options,,Passing Options to the Assembler}.
377 @gccoptlist{-Wa,@var{option}  -Xassembler @var{option}}
378
379 @item Linker Options
380 @xref{Link Options,,Options for Linking}.
381 @gccoptlist{@var{object-file-name}  -l@var{library} @gol
382 -nostartfiles  -nodefaultlibs  -nostdlib -pie -rdynamic @gol
383 -s  -static  -static-libgcc  -shared  -shared-libgcc  -symbolic @gol
384 -Wl,@var{option}  -Xlinker @var{option} @gol
385 -u @var{symbol}}
386
387 @item Directory Options
388 @xref{Directory Options,,Options for Directory Search}.
389 @gccoptlist{-B@var{prefix}  -I@var{dir}  -iquote@var{dir}  -L@var{dir}
390 -specs=@var{file}  -I- --sysroot=@var{dir}}
391
392 @item Target Options
393 @c I wrote this xref this way to avoid overfull hbox. -- rms
394 @xref{Target Options}.
395 @gccoptlist{-V @var{version}  -b @var{machine}}
396
397 @item Machine Dependent Options
398 @xref{Submodel Options,,Hardware Models and Configurations}.
399 @c This list is ordered alphanumerically by subsection name.
400 @c Try and put the significant identifier (CPU or system) first,
401 @c so users have a clue at guessing where the ones they want will be.
402
403 @emph{ARC Options}
404 @gccoptlist{-EB  -EL @gol
405 -mmangle-cpu  -mcpu=@var{cpu}  -mtext=@var{text-section} @gol
406 -mdata=@var{data-section}  -mrodata=@var{readonly-data-section}}
407
408 @emph{ARM Options}
409 @gccoptlist{-mapcs-frame  -mno-apcs-frame @gol
410 -mabi=@var{name} @gol
411 -mapcs-stack-check  -mno-apcs-stack-check @gol
412 -mapcs-float  -mno-apcs-float @gol
413 -mapcs-reentrant  -mno-apcs-reentrant @gol
414 -msched-prolog  -mno-sched-prolog @gol
415 -mlittle-endian  -mbig-endian  -mwords-little-endian @gol
416 -mfloat-abi=@var{name}  -msoft-float  -mhard-float  -mfpe @gol
417 -mthumb-interwork  -mno-thumb-interwork @gol
418 -mcpu=@var{name}  -march=@var{name}  -mfpu=@var{name}  @gol
419 -mstructure-size-boundary=@var{n} @gol
420 -mabort-on-noreturn @gol
421 -mlong-calls  -mno-long-calls @gol
422 -msingle-pic-base  -mno-single-pic-base @gol
423 -mpic-register=@var{reg} @gol
424 -mnop-fun-dllimport @gol
425 -mcirrus-fix-invalid-insns -mno-cirrus-fix-invalid-insns @gol
426 -mpoke-function-name @gol
427 -mthumb  -marm @gol
428 -mtpcs-frame  -mtpcs-leaf-frame @gol
429 -mcaller-super-interworking  -mcallee-super-interworking @gol
430 -mtp=@var{name}}
431
432 @emph{AVR Options}
433 @gccoptlist{-mmcu=@var{mcu}  -msize  -minit-stack=@var{n}  -mno-interrupts @gol
434 -mcall-prologues  -mno-tablejump  -mtiny-stack  -mint8}
435
436 @emph{Blackfin Options}
437 @gccoptlist{-momit-leaf-frame-pointer -mno-omit-leaf-frame-pointer @gol
438 -mspecld-anomaly -mno-specld-anomaly -mcsync-anomaly -mno-csync-anomaly @gol
439 -mlow-64k  -mno-low64k  -mstack-check-l1  -mid-shared-library @gol
440 -mno-id-shared-library -mshared-library-id=@var{n} @gol
441 -mleaf-id-shared-library  -mno-leaf-id-shared-library @gol
442 -msep-data  -mno-sep-data  -mlong-calls  -mno-long-calls}
443
444 @emph{CRIS Options}
445 @gccoptlist{-mcpu=@var{cpu}  -march=@var{cpu}  -mtune=@var{cpu} @gol
446 -mmax-stack-frame=@var{n}  -melinux-stacksize=@var{n} @gol
447 -metrax4  -metrax100  -mpdebug  -mcc-init  -mno-side-effects @gol
448 -mstack-align  -mdata-align  -mconst-align @gol
449 -m32-bit  -m16-bit  -m8-bit  -mno-prologue-epilogue  -mno-gotplt @gol
450 -melf  -maout  -melinux  -mlinux  -sim  -sim2 @gol
451 -mmul-bug-workaround  -mno-mul-bug-workaround}
452
453 @emph{CRX Options}
454 @gccoptlist{-mmac -mpush-args}
455
456 @emph{Darwin Options}
457 @gccoptlist{-all_load  -allowable_client  -arch  -arch_errors_fatal @gol
458 -arch_only  -bind_at_load  -bundle  -bundle_loader @gol
459 -client_name  -compatibility_version  -current_version @gol
460 -dead_strip @gol
461 -dependency-file  -dylib_file  -dylinker_install_name @gol
462 -dynamic  -dynamiclib  -exported_symbols_list @gol
463 -filelist  -flat_namespace  -force_cpusubtype_ALL @gol
464 -force_flat_namespace  -headerpad_max_install_names @gol
465 -image_base  -init  -install_name  -keep_private_externs @gol
466 -multi_module  -multiply_defined  -multiply_defined_unused @gol
467 -noall_load   -no_dead_strip_inits_and_terms @gol
468 -nofixprebinding -nomultidefs  -noprebind  -noseglinkedit @gol
469 -pagezero_size  -prebind  -prebind_all_twolevel_modules @gol
470 -private_bundle  -read_only_relocs  -sectalign @gol
471 -sectobjectsymbols  -whyload  -seg1addr @gol
472 -sectcreate  -sectobjectsymbols  -sectorder @gol
473 -segaddr -segs_read_only_addr -segs_read_write_addr @gol
474 -seg_addr_table  -seg_addr_table_filename  -seglinkedit @gol
475 -segprot  -segs_read_only_addr  -segs_read_write_addr @gol
476 -single_module  -static  -sub_library  -sub_umbrella @gol
477 -twolevel_namespace  -umbrella  -undefined @gol
478 -unexported_symbols_list  -weak_reference_mismatches @gol
479 -whatsloaded -F -gused -gfull -mmacosx-version-min=@var{version} @gol
480 -mkernel -mone-byte-bool}
481
482 @emph{DEC Alpha Options}
483 @gccoptlist{-mno-fp-regs  -msoft-float  -malpha-as  -mgas @gol
484 -mieee  -mieee-with-inexact  -mieee-conformant @gol
485 -mfp-trap-mode=@var{mode}  -mfp-rounding-mode=@var{mode} @gol
486 -mtrap-precision=@var{mode}  -mbuild-constants @gol
487 -mcpu=@var{cpu-type}  -mtune=@var{cpu-type} @gol
488 -mbwx  -mmax  -mfix  -mcix @gol
489 -mfloat-vax  -mfloat-ieee @gol
490 -mexplicit-relocs  -msmall-data  -mlarge-data @gol
491 -msmall-text  -mlarge-text @gol
492 -mmemory-latency=@var{time}}
493
494 @emph{DEC Alpha/VMS Options}
495 @gccoptlist{-mvms-return-codes}
496
497 @emph{FRV Options}
498 @gccoptlist{-mgpr-32  -mgpr-64  -mfpr-32  -mfpr-64 @gol
499 -mhard-float  -msoft-float @gol
500 -malloc-cc  -mfixed-cc  -mdword  -mno-dword @gol
501 -mdouble  -mno-double @gol
502 -mmedia  -mno-media  -mmuladd  -mno-muladd @gol
503 -mfdpic  -minline-plt -mgprel-ro  -multilib-library-pic @gol
504 -mlinked-fp  -mlong-calls  -malign-labels @gol
505 -mlibrary-pic  -macc-4  -macc-8 @gol
506 -mpack  -mno-pack  -mno-eflags  -mcond-move  -mno-cond-move @gol
507 -moptimize-membar -mno-optimize-membar @gol
508 -mscc  -mno-scc  -mcond-exec  -mno-cond-exec @gol
509 -mvliw-branch  -mno-vliw-branch @gol
510 -mmulti-cond-exec  -mno-multi-cond-exec  -mnested-cond-exec @gol
511 -mno-nested-cond-exec  -mtomcat-stats @gol
512 -mTLS -mtls @gol
513 -mcpu=@var{cpu}}
514
515 @emph{GNU/Linux Options}
516 @gccoptlist{-muclibc}
517
518 @emph{H8/300 Options}
519 @gccoptlist{-mrelax  -mh  -ms  -mn  -mint32  -malign-300}
520
521 @emph{HPPA Options}
522 @gccoptlist{-march=@var{architecture-type} @gol
523 -mbig-switch  -mdisable-fpregs  -mdisable-indexing @gol
524 -mfast-indirect-calls  -mgas  -mgnu-ld   -mhp-ld @gol
525 -mfixed-range=@var{register-range} @gol
526 -mjump-in-delay -mlinker-opt -mlong-calls @gol
527 -mlong-load-store  -mno-big-switch  -mno-disable-fpregs @gol
528 -mno-disable-indexing  -mno-fast-indirect-calls  -mno-gas @gol
529 -mno-jump-in-delay  -mno-long-load-store @gol
530 -mno-portable-runtime  -mno-soft-float @gol
531 -mno-space-regs  -msoft-float  -mpa-risc-1-0 @gol
532 -mpa-risc-1-1  -mpa-risc-2-0  -mportable-runtime @gol
533 -mschedule=@var{cpu-type}  -mspace-regs  -msio  -mwsio @gol
534 -munix=@var{unix-std}  -nolibdld  -static  -threads}
535
536 @emph{i386 and x86-64 Options}
537 @gccoptlist{-mtune=@var{cpu-type}  -march=@var{cpu-type} @gol
538 -mfpmath=@var{unit} @gol
539 -masm=@var{dialect}  -mno-fancy-math-387 @gol
540 -mno-fp-ret-in-387  -msoft-float  -msvr3-shlib @gol
541 -mno-wide-multiply  -mrtd  -malign-double @gol
542 -mpreferred-stack-boundary=@var{num} @gol
543 -mmmx  -msse  -msse2 -msse3 -mssse3 -msse4a -m3dnow -mpopcnt -mabm @gol
544 -mthreads  -mno-align-stringops  -minline-all-stringops @gol
545 -mpush-args  -maccumulate-outgoing-args  -m128bit-long-double @gol
546 -m96bit-long-double  -mregparm=@var{num}  -msseregparm @gol
547 -mstackrealign @gol
548 -momit-leaf-frame-pointer  -mno-red-zone -mno-tls-direct-seg-refs @gol
549 -mcmodel=@var{code-model} @gol
550 -m32  -m64 -mlarge-data-threshold=@var{num}}
551
552 @emph{IA-64 Options}
553 @gccoptlist{-mbig-endian  -mlittle-endian  -mgnu-as  -mgnu-ld  -mno-pic @gol
554 -mvolatile-asm-stop  -mregister-names  -mno-sdata @gol
555 -mconstant-gp  -mauto-pic  -minline-float-divide-min-latency @gol
556 -minline-float-divide-max-throughput @gol
557 -minline-int-divide-min-latency @gol
558 -minline-int-divide-max-throughput  @gol
559 -minline-sqrt-min-latency -minline-sqrt-max-throughput @gol
560 -mno-dwarf2-asm -mearly-stop-bits @gol
561 -mfixed-range=@var{register-range} -mtls-size=@var{tls-size} @gol
562 -mtune=@var{cpu-type} -mt -pthread -milp32 -mlp64 @gol
563 -mno-sched-br-data-spec -msched-ar-data-spec -mno-sched-control-spec @gol
564 -msched-br-in-data-spec -msched-ar-in-data-spec -msched-in-control-spec @gol
565 -msched-ldc -mno-sched-control-ldc -mno-sched-spec-verbose @gol
566 -mno-sched-prefer-non-data-spec-insns @gol
567 -mno-sched-prefer-non-control-spec-insns @gol
568 -mno-sched-count-spec-in-critical-path}
569
570 @emph{M32R/D Options}
571 @gccoptlist{-m32r2 -m32rx -m32r @gol
572 -mdebug @gol
573 -malign-loops -mno-align-loops @gol
574 -missue-rate=@var{number} @gol
575 -mbranch-cost=@var{number} @gol
576 -mmodel=@var{code-size-model-type} @gol
577 -msdata=@var{sdata-type} @gol
578 -mno-flush-func -mflush-func=@var{name} @gol
579 -mno-flush-trap -mflush-trap=@var{number} @gol
580 -G @var{num}}
581
582 @emph{M32C Options}
583 @gccoptlist{-mcpu=@var{cpu} -msim -memregs=@var{number}}
584
585 @emph{M680x0 Options}
586 @gccoptlist{-march=@var{arch}  -mcpu=@var{cpu}  -mtune=@var{tune}
587 -m68000  -m68020  -m68020-40  -m68020-60  -m68030  -m68040 @gol
588 -m68060  -mcpu32  -m5200  -m5206e  -m528x  -m5307  -m5407 @gol
589 -mcfv4e  -mbitfield  -mno-bitfield  -mc68000  -mc68020 @gol
590 -mnobitfield  -mrtd  -mno-rtd  -mdiv  -mno-div  -mshort @gol
591 -mno-short  -mhard-float  -m68881  -msoft-float  -mpcrel @gol
592 -malign-int  -mstrict-align  -msep-data  -mno-sep-data @gol
593 -mshared-library-id=n  -mid-shared-library  -mno-id-shared-library}
594
595 @emph{M68hc1x Options}
596 @gccoptlist{-m6811  -m6812  -m68hc11  -m68hc12   -m68hcs12 @gol
597 -mauto-incdec  -minmax  -mlong-calls  -mshort @gol
598 -msoft-reg-count=@var{count}}
599
600 @emph{MCore Options}
601 @gccoptlist{-mhardlit  -mno-hardlit  -mdiv  -mno-div  -mrelax-immediates @gol
602 -mno-relax-immediates  -mwide-bitfields  -mno-wide-bitfields @gol
603 -m4byte-functions  -mno-4byte-functions  -mcallgraph-data @gol
604 -mno-callgraph-data  -mslow-bytes  -mno-slow-bytes  -mno-lsim @gol
605 -mlittle-endian  -mbig-endian  -m210  -m340  -mstack-increment}
606
607 @emph{MIPS Options}
608 @gccoptlist{-EL  -EB  -march=@var{arch}  -mtune=@var{arch} @gol
609 -mips1  -mips2  -mips3  -mips4  -mips32  -mips32r2  -mips64 @gol
610 -mips16  -mno-mips16  -mabi=@var{abi}  -mabicalls  -mno-abicalls @gol
611 -mshared  -mno-shared  -mxgot  -mno-xgot  -mgp32  -mgp64  @gol
612 -mfp32  -mfp64  -mhard-float  -msoft-float  @gol
613 -msingle-float  -mdouble-float  -mdsp  -mpaired-single  -mips3d @gol
614 -mlong64  -mlong32  -msym32  -mno-sym32 @gol
615 -G@var{num}  -membedded-data  -mno-embedded-data @gol
616 -muninit-const-in-rodata  -mno-uninit-const-in-rodata @gol
617 -msplit-addresses  -mno-split-addresses  @gol
618 -mexplicit-relocs  -mno-explicit-relocs  @gol
619 -mcheck-zero-division  -mno-check-zero-division @gol
620 -mdivide-traps  -mdivide-breaks @gol
621 -mmemcpy  -mno-memcpy  -mlong-calls  -mno-long-calls @gol
622 -mmad  -mno-mad  -mfused-madd  -mno-fused-madd  -nocpp @gol
623 -mfix-r4000  -mno-fix-r4000  -mfix-r4400  -mno-fix-r4400 @gol
624 -mfix-vr4120  -mno-fix-vr4120  -mfix-vr4130 @gol
625 -mfix-sb1  -mno-fix-sb1 @gol
626 -mflush-func=@var{func}  -mno-flush-func @gol
627 -mbranch-likely  -mno-branch-likely @gol
628 -mfp-exceptions -mno-fp-exceptions @gol
629 -mvr4130-align -mno-vr4130-align}
630
631 @emph{MMIX Options}
632 @gccoptlist{-mlibfuncs  -mno-libfuncs  -mepsilon  -mno-epsilon  -mabi=gnu @gol
633 -mabi=mmixware  -mzero-extend  -mknuthdiv  -mtoplevel-symbols @gol
634 -melf  -mbranch-predict  -mno-branch-predict  -mbase-addresses @gol
635 -mno-base-addresses  -msingle-exit  -mno-single-exit}
636
637 @emph{MN10300 Options}
638 @gccoptlist{-mmult-bug  -mno-mult-bug @gol
639 -mam33  -mno-am33 @gol
640 -mam33-2  -mno-am33-2 @gol
641 -mreturn-pointer-on-d0 @gol
642 -mno-crt0  -mrelax}
643
644 @emph{MT Options}
645 @gccoptlist{-mno-crt0 -mbacc -msim @gol
646 -march=@var{cpu-type} }
647
648 @emph{PDP-11 Options}
649 @gccoptlist{-mfpu  -msoft-float  -mac0  -mno-ac0  -m40  -m45  -m10 @gol
650 -mbcopy  -mbcopy-builtin  -mint32  -mno-int16 @gol
651 -mint16  -mno-int32  -mfloat32  -mno-float64 @gol
652 -mfloat64  -mno-float32  -mabshi  -mno-abshi @gol
653 -mbranch-expensive  -mbranch-cheap @gol
654 -msplit  -mno-split  -munix-asm  -mdec-asm}
655
656 @emph{PowerPC Options}
657 See RS/6000 and PowerPC Options.
658
659 @emph{RS/6000 and PowerPC Options}
660 @gccoptlist{-mcpu=@var{cpu-type} @gol
661 -mtune=@var{cpu-type} @gol
662 -mpower  -mno-power  -mpower2  -mno-power2 @gol
663 -mpowerpc  -mpowerpc64  -mno-powerpc @gol
664 -maltivec  -mno-altivec @gol
665 -mpowerpc-gpopt  -mno-powerpc-gpopt @gol
666 -mpowerpc-gfxopt  -mno-powerpc-gfxopt @gol
667 -mmfcrf  -mno-mfcrf  -mpopcntb  -mno-popcntb  -mfprnd  -mno-fprnd @gol
668 -mmfpgpr -mno-mfpgpr @gol
669 -mnew-mnemonics  -mold-mnemonics @gol
670 -mfull-toc   -mminimal-toc  -mno-fp-in-toc  -mno-sum-in-toc @gol
671 -m64  -m32  -mxl-compat  -mno-xl-compat  -mpe @gol
672 -malign-power  -malign-natural @gol
673 -msoft-float  -mhard-float  -mmultiple  -mno-multiple @gol
674 -mstring  -mno-string  -mupdate  -mno-update @gol
675 -mfused-madd  -mno-fused-madd  -mbit-align  -mno-bit-align @gol
676 -mstrict-align  -mno-strict-align  -mrelocatable @gol
677 -mno-relocatable  -mrelocatable-lib  -mno-relocatable-lib @gol
678 -mtoc  -mno-toc  -mlittle  -mlittle-endian  -mbig  -mbig-endian @gol
679 -mdynamic-no-pic  -maltivec  -mswdiv @gol
680 -mprioritize-restricted-insns=@var{priority} @gol
681 -msched-costly-dep=@var{dependence_type} @gol
682 -minsert-sched-nops=@var{scheme} @gol
683 -mcall-sysv  -mcall-netbsd @gol
684 -maix-struct-return  -msvr4-struct-return @gol
685 -mabi=@var{abi-type} -msecure-plt -mbss-plt @gol
686 -misel -mno-isel @gol
687 -misel=yes  -misel=no @gol
688 -mspe -mno-spe @gol
689 -mspe=yes  -mspe=no @gol
690 -mvrsave -mno-vrsave @gol
691 -mmulhw -mno-mulhw @gol
692 -mdlmzb -mno-dlmzb @gol
693 -mfloat-gprs=yes  -mfloat-gprs=no -mfloat-gprs=single -mfloat-gprs=double @gol
694 -mprototype  -mno-prototype @gol
695 -msim  -mmvme  -mads  -myellowknife  -memb  -msdata @gol
696 -msdata=@var{opt}  -mvxworks  -mwindiss  -G @var{num}  -pthread}
697
698 @emph{S/390 and zSeries Options}
699 @gccoptlist{-mtune=@var{cpu-type}  -march=@var{cpu-type} @gol
700 -mhard-float  -msoft-float -mlong-double-64 -mlong-double-128 @gol
701 -mbackchain  -mno-backchain -mpacked-stack  -mno-packed-stack @gol
702 -msmall-exec  -mno-small-exec  -mmvcle -mno-mvcle @gol
703 -m64  -m31  -mdebug  -mno-debug  -mesa  -mzarch @gol
704 -mtpf-trace -mno-tpf-trace  -mfused-madd  -mno-fused-madd @gol
705 -mwarn-framesize  -mwarn-dynamicstack  -mstack-size -mstack-guard}
706
707 @emph{Score Options}
708 @gccoptlist{-mel -mel @gol
709 -mmac @gol
710 -mscore5u -mscore7}
711  
712 @emph{SH Options}
713 @gccoptlist{-m1  -m2  -m2e  -m3  -m3e @gol
714 -m4-nofpu  -m4-single-only  -m4-single  -m4 @gol
715 -m4a-nofpu -m4a-single-only -m4a-single -m4a -m4al @gol
716 -m5-64media  -m5-64media-nofpu @gol
717 -m5-32media  -m5-32media-nofpu @gol
718 -m5-compact  -m5-compact-nofpu @gol
719 -mb  -ml  -mdalign  -mrelax @gol
720 -mbigtable  -mfmovd  -mhitachi -mrenesas -mno-renesas -mnomacsave @gol
721 -mieee  -misize  -minline-ic_invalidate -mpadstruct  -mspace @gol
722 -mprefergot  -musermode -multcost=@var{number} -mdiv=@var{strategy} @gol
723 -mdivsi3_libfunc=@var{name}  @gol
724 -madjust-unroll -mindexed-addressing -mgettrcost=@var{number} -mpt-fixed @gol
725  -minvalid-symbols}
726
727 @emph{SPARC Options}
728 @gccoptlist{-mcpu=@var{cpu-type} @gol
729 -mtune=@var{cpu-type} @gol
730 -mcmodel=@var{code-model} @gol
731 -m32  -m64  -mapp-regs  -mno-app-regs @gol
732 -mfaster-structs  -mno-faster-structs @gol
733 -mfpu  -mno-fpu  -mhard-float  -msoft-float @gol
734 -mhard-quad-float  -msoft-quad-float @gol
735 -mimpure-text  -mno-impure-text  -mlittle-endian @gol
736 -mstack-bias  -mno-stack-bias @gol
737 -munaligned-doubles  -mno-unaligned-doubles @gol
738 -mv8plus  -mno-v8plus  -mvis  -mno-vis
739 -threads -pthreads -pthread}
740
741 @emph{SPU Options}
742 @gccoptlist{-mwarn-reloc -merror-reloc @gol
743 -msafe-dma -munsafe-dma @gol
744 -mbranch-hints @gol
745 -msmall-mem -mlarge-mem -mstdmain @gol
746 -mfixed-range=@var{register-range}}
747
748 @emph{System V Options}
749 @gccoptlist{-Qy  -Qn  -YP,@var{paths}  -Ym,@var{dir}}
750
751 @emph{TMS320C3x/C4x Options}
752 @gccoptlist{-mcpu=@var{cpu}  -mbig  -msmall  -mregparm  -mmemparm @gol
753 -mfast-fix  -mmpyi  -mbk  -mti  -mdp-isr-reload @gol
754 -mrpts=@var{count}  -mrptb  -mdb  -mloop-unsigned @gol
755 -mparallel-insns  -mparallel-mpy  -mpreserve-float}
756
757 @emph{V850 Options}
758 @gccoptlist{-mlong-calls  -mno-long-calls  -mep  -mno-ep @gol
759 -mprolog-function  -mno-prolog-function  -mspace @gol
760 -mtda=@var{n}  -msda=@var{n}  -mzda=@var{n} @gol
761 -mapp-regs  -mno-app-regs @gol
762 -mdisable-callt  -mno-disable-callt @gol
763 -mv850e1 @gol
764 -mv850e @gol
765 -mv850  -mbig-switch}
766
767 @emph{VAX Options}
768 @gccoptlist{-mg  -mgnu  -munix}
769
770 @emph{x86-64 Options}
771 See i386 and x86-64 Options.
772
773 @emph{Xstormy16 Options}
774 @gccoptlist{-msim}
775
776 @emph{Xtensa Options}
777 @gccoptlist{-mconst16 -mno-const16 @gol
778 -mfused-madd  -mno-fused-madd @gol
779 -mtext-section-literals  -mno-text-section-literals @gol
780 -mtarget-align  -mno-target-align @gol
781 -mlongcalls  -mno-longcalls}
782
783 @emph{zSeries Options}
784 See S/390 and zSeries Options.
785
786 @item Code Generation Options
787 @xref{Code Gen Options,,Options for Code Generation Conventions}.
788 @gccoptlist{-fcall-saved-@var{reg}  -fcall-used-@var{reg} @gol
789 -ffixed-@var{reg}  -fexceptions @gol
790 -fnon-call-exceptions  -funwind-tables @gol
791 -fasynchronous-unwind-tables @gol
792 -finhibit-size-directive  -finstrument-functions @gol
793 -fno-common  -fno-ident @gol
794 -fpcc-struct-return  -fpic  -fPIC -fpie -fPIE @gol
795 -fno-jump-tables @gol
796 -frecord-gcc-switches @gol
797 -freg-struct-return  -fshort-enums @gol
798 -fshort-double  -fshort-wchar @gol
799 -fverbose-asm  -fpack-struct[=@var{n}]  -fstack-check @gol
800 -fstack-limit-register=@var{reg}  -fstack-limit-symbol=@var{sym} @gol
801 -fargument-alias  -fargument-noalias @gol
802 -fargument-noalias-global  -fargument-noalias-anything
803 -fleading-underscore  -ftls-model=@var{model} @gol
804 -ftrapv  -fwrapv  -fbounds-check @gol
805 -fvisibility}
806 @end table
807
808 @menu
809 * Overall Options::     Controlling the kind of output:
810                         an executable, object files, assembler files,
811                         or preprocessed source.
812 * C Dialect Options::   Controlling the variant of C language compiled.
813 * C++ Dialect Options:: Variations on C++.
814 * Objective-C and Objective-C++ Dialect Options:: Variations on Objective-C
815                         and Objective-C++.
816 * Language Independent Options:: Controlling how diagnostics should be
817                         formatted.
818 * Warning Options::     How picky should the compiler be?
819 * Debugging Options::   Symbol tables, measurements, and debugging dumps.
820 * Optimize Options::    How much optimization?
821 * Preprocessor Options:: Controlling header files and macro definitions.
822                          Also, getting dependency information for Make.
823 * Assembler Options::   Passing options to the assembler.
824 * Link Options::        Specifying libraries and so on.
825 * Directory Options::   Where to find header files and libraries.
826                         Where to find the compiler executable files.
827 * Spec Files::          How to pass switches to sub-processes.
828 * Target Options::      Running a cross-compiler, or an old version of GCC.
829 @end menu
830
831 @node Overall Options
832 @section Options Controlling the Kind of Output
833
834 Compilation can involve up to four stages: preprocessing, compilation
835 proper, assembly and linking, always in that order.  GCC is capable of
836 preprocessing and compiling several files either into several
837 assembler input files, or into one assembler input file; then each
838 assembler input file produces an object file, and linking combines all
839 the object files (those newly compiled, and those specified as input)
840 into an executable file.
841
842 @cindex file name suffix
843 For any given input file, the file name suffix determines what kind of
844 compilation is done:
845
846 @table @gcctabopt
847 @item @var{file}.c
848 C source code which must be preprocessed.
849
850 @item @var{file}.i
851 C source code which should not be preprocessed.
852
853 @item @var{file}.ii
854 C++ source code which should not be preprocessed.
855
856 @item @var{file}.m
857 Objective-C source code.  Note that you must link with the @file{libobjc}
858 library to make an Objective-C program work.
859
860 @item @var{file}.mi
861 Objective-C source code which should not be preprocessed.
862
863 @item @var{file}.mm
864 @itemx @var{file}.M
865 Objective-C++ source code.  Note that you must link with the @file{libobjc}
866 library to make an Objective-C++ program work.  Note that @samp{.M} refers
867 to a literal capital M@.
868
869 @item @var{file}.mii
870 Objective-C++ source code which should not be preprocessed.
871
872 @item @var{file}.h
873 C, C++, Objective-C or Objective-C++ header file to be turned into a
874 precompiled header.
875
876 @item @var{file}.cc
877 @itemx @var{file}.cp
878 @itemx @var{file}.cxx
879 @itemx @var{file}.cpp
880 @itemx @var{file}.CPP
881 @itemx @var{file}.c++
882 @itemx @var{file}.C
883 C++ source code which must be preprocessed.  Note that in @samp{.cxx},
884 the last two letters must both be literally @samp{x}.  Likewise,
885 @samp{.C} refers to a literal capital C@.
886
887 @item @var{file}.mm
888 @itemx @var{file}.M
889 Objective-C++ source code which must be preprocessed.
890
891 @item @var{file}.mii
892 Objective-C++ source code which should not be preprocessed.
893
894 @item @var{file}.hh
895 @itemx @var{file}.H
896 C++ header file to be turned into a precompiled header.
897
898 @item @var{file}.f
899 @itemx @var{file}.for
900 @itemx @var{file}.FOR
901 Fixed form Fortran source code which should not be preprocessed.
902
903 @item @var{file}.F
904 @itemx @var{file}.fpp
905 @itemx @var{file}.FPP
906 Fixed form Fortran source code which must be preprocessed (with the traditional
907 preprocessor).
908
909 @item @var{file}.f90
910 @itemx @var{file}.f95
911 Free form Fortran source code which should not be preprocessed.
912
913 @item @var{file}.F90
914 @itemx @var{file}.F95
915 Free form Fortran source code which must be preprocessed (with the
916 traditional preprocessor).
917
918 @c FIXME: Descriptions of Java file types.
919 @c @var{file}.java
920 @c @var{file}.class
921 @c @var{file}.zip
922 @c @var{file}.jar
923
924 @item @var{file}.ads
925 Ada source code file which contains a library unit declaration (a
926 declaration of a package, subprogram, or generic, or a generic
927 instantiation), or a library unit renaming declaration (a package,
928 generic, or subprogram renaming declaration).  Such files are also
929 called @dfn{specs}.
930
931 @itemx @var{file}.adb
932 Ada source code file containing a library unit body (a subprogram or
933 package body).  Such files are also called @dfn{bodies}.
934
935 @c GCC also knows about some suffixes for languages not yet included:
936 @c Pascal:
937 @c @var{file}.p
938 @c @var{file}.pas
939 @c Ratfor:
940 @c @var{file}.r
941
942 @item @var{file}.s
943 Assembler code.
944
945 @item @var{file}.S
946 Assembler code which must be preprocessed.
947
948 @item @var{other}
949 An object file to be fed straight into linking.
950 Any file name with no recognized suffix is treated this way.
951 @end table
952
953 @opindex x
954 You can specify the input language explicitly with the @option{-x} option:
955
956 @table @gcctabopt
957 @item -x @var{language}
958 Specify explicitly the @var{language} for the following input files
959 (rather than letting the compiler choose a default based on the file
960 name suffix).  This option applies to all following input files until
961 the next @option{-x} option.  Possible values for @var{language} are:
962 @smallexample
963 c  c-header  c-cpp-output
964 c++  c++-header  c++-cpp-output
965 objective-c  objective-c-header  objective-c-cpp-output
966 objective-c++ objective-c++-header objective-c++-cpp-output
967 assembler  assembler-with-cpp
968 ada
969 f95  f95-cpp-input
970 java
971 treelang
972 @end smallexample
973
974 @item -x none
975 Turn off any specification of a language, so that subsequent files are
976 handled according to their file name suffixes (as they are if @option{-x}
977 has not been used at all).
978
979 @item -pass-exit-codes
980 @opindex pass-exit-codes
981 Normally the @command{gcc} program will exit with the code of 1 if any
982 phase of the compiler returns a non-success return code.  If you specify
983 @option{-pass-exit-codes}, the @command{gcc} program will instead return with
984 numerically highest error produced by any phase that returned an error
985 indication.  The C, C++, and Fortran frontends return 4, if an internal
986 compiler error is encountered.
987 @end table
988
989 If you only want some of the stages of compilation, you can use
990 @option{-x} (or filename suffixes) to tell @command{gcc} where to start, and
991 one of the options @option{-c}, @option{-S}, or @option{-E} to say where
992 @command{gcc} is to stop.  Note that some combinations (for example,
993 @samp{-x cpp-output -E}) instruct @command{gcc} to do nothing at all.
994
995 @table @gcctabopt
996 @item -c
997 @opindex c
998 Compile or assemble the source files, but do not link.  The linking
999 stage simply is not done.  The ultimate output is in the form of an
1000 object file for each source file.
1001
1002 By default, the object file name for a source file is made by replacing
1003 the suffix @samp{.c}, @samp{.i}, @samp{.s}, etc., with @samp{.o}.
1004
1005 Unrecognized input files, not requiring compilation or assembly, are
1006 ignored.
1007
1008 @item -S
1009 @opindex S
1010 Stop after the stage of compilation proper; do not assemble.  The output
1011 is in the form of an assembler code file for each non-assembler input
1012 file specified.
1013
1014 By default, the assembler file name for a source file is made by
1015 replacing the suffix @samp{.c}, @samp{.i}, etc., with @samp{.s}.
1016
1017 Input files that don't require compilation are ignored.
1018
1019 @item -E
1020 @opindex E
1021 Stop after the preprocessing stage; do not run the compiler proper.  The
1022 output is in the form of preprocessed source code, which is sent to the
1023 standard output.
1024
1025 Input files which don't require preprocessing are ignored.
1026
1027 @cindex output file option
1028 @item -o @var{file}
1029 @opindex o
1030 Place output in file @var{file}.  This applies regardless to whatever
1031 sort of output is being produced, whether it be an executable file,
1032 an object file, an assembler file or preprocessed C code.
1033
1034 If @option{-o} is not specified, the default is to put an executable
1035 file in @file{a.out}, the object file for
1036 @file{@var{source}.@var{suffix}} in @file{@var{source}.o}, its
1037 assembler file in @file{@var{source}.s}, a precompiled header file in
1038 @file{@var{source}.@var{suffix}.gch}, and all preprocessed C source on
1039 standard output.
1040
1041 @item -v
1042 @opindex v
1043 Print (on standard error output) the commands executed to run the stages
1044 of compilation.  Also print the version number of the compiler driver
1045 program and of the preprocessor and the compiler proper.
1046
1047 @item -###
1048 @opindex ###
1049 Like @option{-v} except the commands are not executed and all command
1050 arguments are quoted.  This is useful for shell scripts to capture the
1051 driver-generated command lines.
1052
1053 @item -pipe
1054 @opindex pipe
1055 Use pipes rather than temporary files for communication between the
1056 various stages of compilation.  This fails to work on some systems where
1057 the assembler is unable to read from a pipe; but the GNU assembler has
1058 no trouble.
1059
1060 @item -combine
1061 @opindex combine
1062 If you are compiling multiple source files, this option tells the driver
1063 to pass all the source files to the compiler at once (for those
1064 languages for which the compiler can handle this).  This will allow
1065 intermodule analysis (IMA) to be performed by the compiler.  Currently the only
1066 language for which this is supported is C@.  If you pass source files for
1067 multiple languages to the driver, using this option, the driver will invoke
1068 the compiler(s) that support IMA once each, passing each compiler all the
1069 source files appropriate for it.  For those languages that do not support
1070 IMA this option will be ignored, and the compiler will be invoked once for
1071 each source file in that language.  If you use this option in conjunction
1072 with @option{-save-temps}, the compiler will generate multiple
1073 pre-processed files
1074 (one for each source file), but only one (combined) @file{.o} or
1075 @file{.s} file.
1076
1077 @item --help
1078 @opindex help
1079 Print (on the standard output) a description of the command line options
1080 understood by @command{gcc}.  If the @option{-v} option is also specified
1081 then @option{--help} will also be passed on to the various processes
1082 invoked by @command{gcc}, so that they can display the command line options
1083 they accept.  If the @option{-Wextra} option has also been specified
1084 (prior to the @option{--help} option), then command line options which
1085 have no documentation associated with them will also be displayed.
1086
1087 @item --target-help
1088 @opindex target-help
1089 Print (on the standard output) a description of target-specific command
1090 line options for each tool.
1091
1092 @item --help=@var{class}@r{[},@var{qualifier}@r{]}
1093 Print (on the standard output) a description of the command line
1094 options understood by the compiler that fit into a specific class.
1095 The class can be one of @var{optimizers}, @var{warnings}, @var{target}
1096 or @var{params}:
1097
1098 @table @gcctabopt
1099 @item @var{optimizers}
1100 This will display all of the optimization options supported by the
1101 compiler.
1102
1103 @item @var{warnings}
1104 This will display all of the options controlling warning messages
1105 produced by the compiler.
1106
1107 @item @var{target}
1108 This will display target-specific options.  Unlike the
1109 @option{--target-help} option however, target-specific options of the
1110 linker and assembler will not be displayed.  This is because those
1111 tools do not currently support the extended @option{--help=} syntax.
1112
1113 @item @var{params}
1114 This will display the values recognized by the @option{--param}
1115 option.
1116 @end table
1117
1118 It is possible to further refine the output of the @option{--help=}
1119 option by adding a comma separated list of qualifiers after the
1120 class.  These can be any from the following list:
1121
1122 @table @gcctabopt
1123 @item undocumented
1124 Display only those options which are undocumented.
1125
1126 @item joined
1127 Display options which take an argument that appears after an equal
1128 sign in the same continuous piece of text, such as:
1129 @samp{--help=target}.
1130
1131 @item separate
1132 Display options which take an argument that appears as a separate word
1133 following the original option, such as: @samp{-o output-file}.
1134 @end table
1135
1136 Thus for example to display all the undocumented target-specific
1137 switches supported by the compiler the following can be used:
1138
1139 @smallexample
1140 --help=target,undocumented
1141 @end smallexample
1142
1143 The sense of a qualifier can be inverted by prefixing it with the
1144 @var{^} character, so for example to display all binary warning
1145 options (i.e. ones that are either on or off and that do not take an
1146 argument), which have a description the following can be used:
1147
1148 @smallexample
1149 --help=warnings,^joined,^undocumented
1150 @end smallexample
1151
1152 A class can also be used as a qualifier, although this usually
1153 restricts the output by so much that there is nothing to display.  One
1154 case where it does work however is when one of the classes is
1155 @var{target}.  So for example to display all the target-specific
1156 optimization options the following can be used:
1157
1158 @smallexample
1159 --help=target,optimizers
1160 @end smallexample
1161
1162 The @option{--help=} option can be repeated on the command line.  Each
1163 successive use will display its requested class of options, skipping
1164 those that have already been displayed.
1165
1166 If the @option{-Q} option appears on the command line before the
1167 @option{--help=} option, then the descriptive text displayed by
1168 @option{--help=} is changed.  Instead of describing the displayed
1169 options, an indication is given as to whether the option is enabled,
1170 disabled or set to a specific value (assuming that the compiler
1171 knows this at the point where the @option{--help=} option is used).
1172
1173 Here is a truncated example from the ARM port of @command{gcc}:
1174
1175 @smallexample
1176   % gcc -Q -mabi=2 --help=target -c
1177   The following options are target specific:
1178   -mabi=                                2
1179   -mabort-on-noreturn                   [disabled]
1180   -mapcs                                [disabled]
1181 @end smallexample
1182
1183 The output is sensitive to the effects of previous command line
1184 options, so for example it is possible to find out which optimizations
1185 are enabled at @option{-O2} by using:
1186
1187 @smallexample
1188 -O2 --help=optimizers
1189 @end smallexample
1190
1191 Alternatively you can discover which binary optimizations are enabled
1192 by @option{-O3} by using:
1193
1194 @smallexample
1195 gcc -c -Q -O3 --help=optimizers > /tmp/O3-opts
1196 gcc -c -Q -O2 --help=optimizers > /tmp/O2-opts
1197 diff /tmp/O2-opts /tmp/O3-opts | grep enabled
1198 @end smallexample
1199
1200 @item --version
1201 @opindex version
1202 Display the version number and copyrights of the invoked GCC@.
1203
1204 @include @value{srcdir}/../libiberty/at-file.texi
1205 @end table
1206
1207 @node Invoking G++
1208 @section Compiling C++ Programs
1209
1210 @cindex suffixes for C++ source
1211 @cindex C++ source file suffixes
1212 C++ source files conventionally use one of the suffixes @samp{.C},
1213 @samp{.cc}, @samp{.cpp}, @samp{.CPP}, @samp{.c++}, @samp{.cp}, or
1214 @samp{.cxx}; C++ header files often use @samp{.hh} or @samp{.H}; and
1215 preprocessed C++ files use the suffix @samp{.ii}.  GCC recognizes
1216 files with these names and compiles them as C++ programs even if you
1217 call the compiler the same way as for compiling C programs (usually
1218 with the name @command{gcc}).
1219
1220 @findex g++
1221 @findex c++
1222 However, the use of @command{gcc} does not add the C++ library.
1223 @command{g++} is a program that calls GCC and treats @samp{.c},
1224 @samp{.h} and @samp{.i} files as C++ source files instead of C source
1225 files unless @option{-x} is used, and automatically specifies linking
1226 against the C++ library.  This program is also useful when
1227 precompiling a C header file with a @samp{.h} extension for use in C++
1228 compilations.  On many systems, @command{g++} is also installed with
1229 the name @command{c++}.
1230
1231 @cindex invoking @command{g++}
1232 When you compile C++ programs, you may specify many of the same
1233 command-line options that you use for compiling programs in any
1234 language; or command-line options meaningful for C and related
1235 languages; or options that are meaningful only for C++ programs.
1236 @xref{C Dialect Options,,Options Controlling C Dialect}, for
1237 explanations of options for languages related to C@.
1238 @xref{C++ Dialect Options,,Options Controlling C++ Dialect}, for
1239 explanations of options that are meaningful only for C++ programs.
1240
1241 @node C Dialect Options
1242 @section Options Controlling C Dialect
1243 @cindex dialect options
1244 @cindex language dialect options
1245 @cindex options, dialect
1246
1247 The following options control the dialect of C (or languages derived
1248 from C, such as C++, Objective-C and Objective-C++) that the compiler
1249 accepts:
1250
1251 @table @gcctabopt
1252 @cindex ANSI support
1253 @cindex ISO support
1254 @item -ansi
1255 @opindex ansi
1256 In C mode, support all ISO C90 programs.  In C++ mode,
1257 remove GNU extensions that conflict with ISO C++.
1258
1259 This turns off certain features of GCC that are incompatible with ISO
1260 C90 (when compiling C code), or of standard C++ (when compiling C++ code),
1261 such as the @code{asm} and @code{typeof} keywords, and
1262 predefined macros such as @code{unix} and @code{vax} that identify the
1263 type of system you are using.  It also enables the undesirable and
1264 rarely used ISO trigraph feature.  For the C compiler,
1265 it disables recognition of C++ style @samp{//} comments as well as
1266 the @code{inline} keyword.
1267
1268 The alternate keywords @code{__asm__}, @code{__extension__},
1269 @code{__inline__} and @code{__typeof__} continue to work despite
1270 @option{-ansi}.  You would not want to use them in an ISO C program, of
1271 course, but it is useful to put them in header files that might be included
1272 in compilations done with @option{-ansi}.  Alternate predefined macros
1273 such as @code{__unix__} and @code{__vax__} are also available, with or
1274 without @option{-ansi}.
1275
1276 The @option{-ansi} option does not cause non-ISO programs to be
1277 rejected gratuitously.  For that, @option{-pedantic} is required in
1278 addition to @option{-ansi}.  @xref{Warning Options}.
1279
1280 The macro @code{__STRICT_ANSI__} is predefined when the @option{-ansi}
1281 option is used.  Some header files may notice this macro and refrain
1282 from declaring certain functions or defining certain macros that the
1283 ISO standard doesn't call for; this is to avoid interfering with any
1284 programs that might use these names for other things.
1285
1286 Functions which would normally be built in but do not have semantics
1287 defined by ISO C (such as @code{alloca} and @code{ffs}) are not built-in
1288 functions with @option{-ansi} is used.  @xref{Other Builtins,,Other
1289 built-in functions provided by GCC}, for details of the functions
1290 affected.
1291
1292 @item -std=
1293 @opindex std
1294 Determine the language standard.  This option is currently only
1295 supported when compiling C or C++.  A value for this option must be
1296 provided; possible values are
1297
1298 @table @samp
1299 @item c89
1300 @itemx iso9899:1990
1301 ISO C90 (same as @option{-ansi}).
1302
1303 @item iso9899:199409
1304 ISO C90 as modified in amendment 1.
1305
1306 @item c99
1307 @itemx c9x
1308 @itemx iso9899:1999
1309 @itemx iso9899:199x
1310 ISO C99.  Note that this standard is not yet fully supported; see
1311 @w{@uref{http://gcc.gnu.org/c99status.html}} for more information.  The
1312 names @samp{c9x} and @samp{iso9899:199x} are deprecated.
1313
1314 @item gnu89
1315 Default, ISO C90 plus GNU extensions (including some C99 features).
1316
1317 @item gnu99
1318 @itemx gnu9x
1319 ISO C99 plus GNU extensions.  When ISO C99 is fully implemented in GCC,
1320 this will become the default.  The name @samp{gnu9x} is deprecated.
1321
1322 @item c++98
1323 The 1998 ISO C++ standard plus amendments.
1324
1325 @item gnu++98
1326 The same as @option{-std=c++98} plus GNU extensions.  This is the
1327 default for C++ code.
1328
1329 @item c++0x
1330 The working draft of the upcoming ISO C++0x standard. This option
1331 enables experimental features that are likely to be included in
1332 C++0x. The working draft is constantly changing, and any feature that is
1333 enabled by this flag may be removed from future versions of GCC if it is
1334 not part of the C++0x standard.
1335
1336 @item gnu++0x
1337 The same as @option{-std=c++0x} plus GNU extensions. As with
1338 @option{-std=c++0x}, this option enables experimental features that may
1339 be removed in future versions of GCC.
1340 @end table
1341
1342 Even when this option is not specified, you can still use some of the
1343 features of newer standards in so far as they do not conflict with
1344 previous C standards.  For example, you may use @code{__restrict__} even
1345 when @option{-std=c99} is not specified.
1346
1347 The @option{-std} options specifying some version of ISO C have the same
1348 effects as @option{-ansi}, except that features that were not in ISO C90
1349 but are in the specified version (for example, @samp{//} comments and
1350 the @code{inline} keyword in ISO C99) are not disabled.
1351
1352 @xref{Standards,,Language Standards Supported by GCC}, for details of
1353 these standard versions.
1354
1355 @item -aux-info @var{filename}
1356 @opindex aux-info
1357 Output to the given filename prototyped declarations for all functions
1358 declared and/or defined in a translation unit, including those in header
1359 files.  This option is silently ignored in any language other than C@.
1360
1361 Besides declarations, the file indicates, in comments, the origin of
1362 each declaration (source file and line), whether the declaration was
1363 implicit, prototyped or unprototyped (@samp{I}, @samp{N} for new or
1364 @samp{O} for old, respectively, in the first character after the line
1365 number and the colon), and whether it came from a declaration or a
1366 definition (@samp{C} or @samp{F}, respectively, in the following
1367 character).  In the case of function definitions, a K&R-style list of
1368 arguments followed by their declarations is also provided, inside
1369 comments, after the declaration.
1370
1371 @item -fno-asm
1372 @opindex fno-asm
1373 Do not recognize @code{asm}, @code{inline} or @code{typeof} as a
1374 keyword, so that code can use these words as identifiers.  You can use
1375 the keywords @code{__asm__}, @code{__inline__} and @code{__typeof__}
1376 instead.  @option{-ansi} implies @option{-fno-asm}.
1377
1378 In C++, this switch only affects the @code{typeof} keyword, since
1379 @code{asm} and @code{inline} are standard keywords.  You may want to
1380 use the @option{-fno-gnu-keywords} flag instead, which has the same
1381 effect.  In C99 mode (@option{-std=c99} or @option{-std=gnu99}), this
1382 switch only affects the @code{asm} and @code{typeof} keywords, since
1383 @code{inline} is a standard keyword in ISO C99.
1384
1385 @item -fno-builtin
1386 @itemx -fno-builtin-@var{function}
1387 @opindex fno-builtin
1388 @cindex built-in functions
1389 Don't recognize built-in functions that do not begin with
1390 @samp{__builtin_} as prefix.  @xref{Other Builtins,,Other built-in
1391 functions provided by GCC}, for details of the functions affected,
1392 including those which are not built-in functions when @option{-ansi} or
1393 @option{-std} options for strict ISO C conformance are used because they
1394 do not have an ISO standard meaning.
1395
1396 GCC normally generates special code to handle certain built-in functions
1397 more efficiently; for instance, calls to @code{alloca} may become single
1398 instructions that adjust the stack directly, and calls to @code{memcpy}
1399 may become inline copy loops.  The resulting code is often both smaller
1400 and faster, but since the function calls no longer appear as such, you
1401 cannot set a breakpoint on those calls, nor can you change the behavior
1402 of the functions by linking with a different library.  In addition,
1403 when a function is recognized as a built-in function, GCC may use
1404 information about that function to warn about problems with calls to
1405 that function, or to generate more efficient code, even if the
1406 resulting code still contains calls to that function.  For example,
1407 warnings are given with @option{-Wformat} for bad calls to
1408 @code{printf}, when @code{printf} is built in, and @code{strlen} is
1409 known not to modify global memory.
1410
1411 With the @option{-fno-builtin-@var{function}} option
1412 only the built-in function @var{function} is
1413 disabled.  @var{function} must not begin with @samp{__builtin_}.  If a
1414 function is named this is not built-in in this version of GCC, this
1415 option is ignored.  There is no corresponding
1416 @option{-fbuiltin-@var{function}} option; if you wish to enable
1417 built-in functions selectively when using @option{-fno-builtin} or
1418 @option{-ffreestanding}, you may define macros such as:
1419
1420 @smallexample
1421 #define abs(n)          __builtin_abs ((n))
1422 #define strcpy(d, s)    __builtin_strcpy ((d), (s))
1423 @end smallexample
1424
1425 @item -fhosted
1426 @opindex fhosted
1427 @cindex hosted environment
1428
1429 Assert that compilation takes place in a hosted environment.  This implies
1430 @option{-fbuiltin}.  A hosted environment is one in which the
1431 entire standard library is available, and in which @code{main} has a return
1432 type of @code{int}.  Examples are nearly everything except a kernel.
1433 This is equivalent to @option{-fno-freestanding}.
1434
1435 @item -ffreestanding
1436 @opindex ffreestanding
1437 @cindex hosted environment
1438
1439 Assert that compilation takes place in a freestanding environment.  This
1440 implies @option{-fno-builtin}.  A freestanding environment
1441 is one in which the standard library may not exist, and program startup may
1442 not necessarily be at @code{main}.  The most obvious example is an OS kernel.
1443 This is equivalent to @option{-fno-hosted}.
1444
1445 @xref{Standards,,Language Standards Supported by GCC}, for details of
1446 freestanding and hosted environments.
1447
1448 @item -fopenmp
1449 @opindex fopenmp
1450 @cindex openmp parallel
1451 Enable handling of OpenMP directives @code{#pragma omp} in C/C++ and
1452 @code{!$omp} in Fortran.  When @option{-fopenmp} is specified, the
1453 compiler generates parallel code according to the OpenMP Application
1454 Program Interface v2.5 @w{@uref{http://www.openmp.org/}}.
1455
1456 @item -fms-extensions
1457 @opindex fms-extensions
1458 Accept some non-standard constructs used in Microsoft header files.
1459
1460 Some cases of unnamed fields in structures and unions are only
1461 accepted with this option.  @xref{Unnamed Fields,,Unnamed struct/union
1462 fields within structs/unions}, for details.
1463
1464 @item -trigraphs
1465 @opindex trigraphs
1466 Support ISO C trigraphs.  The @option{-ansi} option (and @option{-std}
1467 options for strict ISO C conformance) implies @option{-trigraphs}.
1468
1469 @item -no-integrated-cpp
1470 @opindex no-integrated-cpp
1471 Performs a compilation in two passes: preprocessing and compiling.  This
1472 option allows a user supplied "cc1", "cc1plus", or "cc1obj" via the
1473 @option{-B} option.  The user supplied compilation step can then add in
1474 an additional preprocessing step after normal preprocessing but before
1475 compiling.  The default is to use the integrated cpp (internal cpp)
1476
1477 The semantics of this option will change if "cc1", "cc1plus", and
1478 "cc1obj" are merged.
1479
1480 @cindex traditional C language
1481 @cindex C language, traditional
1482 @item -traditional
1483 @itemx -traditional-cpp
1484 @opindex traditional-cpp
1485 @opindex traditional
1486 Formerly, these options caused GCC to attempt to emulate a pre-standard
1487 C compiler.  They are now only supported with the @option{-E} switch.
1488 The preprocessor continues to support a pre-standard mode.  See the GNU
1489 CPP manual for details.
1490
1491 @item -fcond-mismatch
1492 @opindex fcond-mismatch
1493 Allow conditional expressions with mismatched types in the second and
1494 third arguments.  The value of such an expression is void.  This option
1495 is not supported for C++.
1496
1497 @item -flax-vector-conversions
1498 @opindex flax-vector-conversions
1499 Allow implicit conversions between vectors with differing numbers of
1500 elements and/or incompatible element types.  This option should not be
1501 used for new code.
1502
1503 @item -funsigned-char
1504 @opindex funsigned-char
1505 Let the type @code{char} be unsigned, like @code{unsigned char}.
1506
1507 Each kind of machine has a default for what @code{char} should
1508 be.  It is either like @code{unsigned char} by default or like
1509 @code{signed char} by default.
1510
1511 Ideally, a portable program should always use @code{signed char} or
1512 @code{unsigned char} when it depends on the signedness of an object.
1513 But many programs have been written to use plain @code{char} and
1514 expect it to be signed, or expect it to be unsigned, depending on the
1515 machines they were written for.  This option, and its inverse, let you
1516 make such a program work with the opposite default.
1517
1518 The type @code{char} is always a distinct type from each of
1519 @code{signed char} or @code{unsigned char}, even though its behavior
1520 is always just like one of those two.
1521
1522 @item -fsigned-char
1523 @opindex fsigned-char
1524 Let the type @code{char} be signed, like @code{signed char}.
1525
1526 Note that this is equivalent to @option{-fno-unsigned-char}, which is
1527 the negative form of @option{-funsigned-char}.  Likewise, the option
1528 @option{-fno-signed-char} is equivalent to @option{-funsigned-char}.
1529
1530 @item -fsigned-bitfields
1531 @itemx -funsigned-bitfields
1532 @itemx -fno-signed-bitfields
1533 @itemx -fno-unsigned-bitfields
1534 @opindex fsigned-bitfields
1535 @opindex funsigned-bitfields
1536 @opindex fno-signed-bitfields
1537 @opindex fno-unsigned-bitfields
1538 These options control whether a bit-field is signed or unsigned, when the
1539 declaration does not use either @code{signed} or @code{unsigned}.  By
1540 default, such a bit-field is signed, because this is consistent: the
1541 basic integer types such as @code{int} are signed types.
1542 @end table
1543
1544 @node C++ Dialect Options
1545 @section Options Controlling C++ Dialect
1546
1547 @cindex compiler options, C++
1548 @cindex C++ options, command line
1549 @cindex options, C++
1550 This section describes the command-line options that are only meaningful
1551 for C++ programs; but you can also use most of the GNU compiler options
1552 regardless of what language your program is in.  For example, you
1553 might compile a file @code{firstClass.C} like this:
1554
1555 @smallexample
1556 g++ -g -frepo -O -c firstClass.C
1557 @end smallexample
1558
1559 @noindent
1560 In this example, only @option{-frepo} is an option meant
1561 only for C++ programs; you can use the other options with any
1562 language supported by GCC@.
1563
1564 Here is a list of options that are @emph{only} for compiling C++ programs:
1565
1566 @table @gcctabopt
1567
1568 @item -fabi-version=@var{n}
1569 @opindex fabi-version
1570 Use version @var{n} of the C++ ABI@.  Version 2 is the version of the
1571 C++ ABI that first appeared in G++ 3.4.  Version 1 is the version of
1572 the C++ ABI that first appeared in G++ 3.2.  Version 0 will always be
1573 the version that conforms most closely to the C++ ABI specification.
1574 Therefore, the ABI obtained using version 0 will change as ABI bugs
1575 are fixed.
1576
1577 The default is version 2.
1578
1579 @item -fno-access-control
1580 @opindex fno-access-control
1581 Turn off all access checking.  This switch is mainly useful for working
1582 around bugs in the access control code.
1583
1584 @item -fcheck-new
1585 @opindex fcheck-new
1586 Check that the pointer returned by @code{operator new} is non-null
1587 before attempting to modify the storage allocated.  This check is
1588 normally unnecessary because the C++ standard specifies that
1589 @code{operator new} will only return @code{0} if it is declared
1590 @samp{throw()}, in which case the compiler will always check the
1591 return value even without this option.  In all other cases, when
1592 @code{operator new} has a non-empty exception specification, memory
1593 exhaustion is signalled by throwing @code{std::bad_alloc}.  See also
1594 @samp{new (nothrow)}.
1595
1596 @item -fconserve-space
1597 @opindex fconserve-space
1598 Put uninitialized or runtime-initialized global variables into the
1599 common segment, as C does.  This saves space in the executable at the
1600 cost of not diagnosing duplicate definitions.  If you compile with this
1601 flag and your program mysteriously crashes after @code{main()} has
1602 completed, you may have an object that is being destroyed twice because
1603 two definitions were merged.
1604
1605 This option is no longer useful on most targets, now that support has
1606 been added for putting variables into BSS without making them common.
1607
1608 @item -ffriend-injection
1609 @opindex ffriend-injection
1610 Inject friend functions into the enclosing namespace, so that they are
1611 visible outside the scope of the class in which they are declared.
1612 Friend functions were documented to work this way in the old Annotated
1613 C++ Reference Manual, and versions of G++ before 4.1 always worked
1614 that way.  However, in ISO C++ a friend function which is not declared
1615 in an enclosing scope can only be found using argument dependent
1616 lookup.  This option causes friends to be injected as they were in
1617 earlier releases.
1618
1619 This option is for compatibility, and may be removed in a future
1620 release of G++.
1621
1622 @item -fno-elide-constructors
1623 @opindex fno-elide-constructors
1624 The C++ standard allows an implementation to omit creating a temporary
1625 which is only used to initialize another object of the same type.
1626 Specifying this option disables that optimization, and forces G++ to
1627 call the copy constructor in all cases.
1628
1629 @item -fno-enforce-eh-specs
1630 @opindex fno-enforce-eh-specs
1631 Don't generate code to check for violation of exception specifications
1632 at runtime.  This option violates the C++ standard, but may be useful
1633 for reducing code size in production builds, much like defining
1634 @samp{NDEBUG}.  This does not give user code permission to throw
1635 exceptions in violation of the exception specifications; the compiler
1636 will still optimize based on the specifications, so throwing an
1637 unexpected exception will result in undefined behavior.
1638
1639 @item -ffor-scope
1640 @itemx -fno-for-scope
1641 @opindex ffor-scope
1642 @opindex fno-for-scope
1643 If @option{-ffor-scope} is specified, the scope of variables declared in
1644 a @i{for-init-statement} is limited to the @samp{for} loop itself,
1645 as specified by the C++ standard.
1646 If @option{-fno-for-scope} is specified, the scope of variables declared in
1647 a @i{for-init-statement} extends to the end of the enclosing scope,
1648 as was the case in old versions of G++, and other (traditional)
1649 implementations of C++.
1650
1651 The default if neither flag is given to follow the standard,
1652 but to allow and give a warning for old-style code that would
1653 otherwise be invalid, or have different behavior.
1654
1655 @item -fno-gnu-keywords
1656 @opindex fno-gnu-keywords
1657 Do not recognize @code{typeof} as a keyword, so that code can use this
1658 word as an identifier.  You can use the keyword @code{__typeof__} instead.
1659 @option{-ansi} implies @option{-fno-gnu-keywords}.
1660
1661 @item -fno-implicit-templates
1662 @opindex fno-implicit-templates
1663 Never emit code for non-inline templates which are instantiated
1664 implicitly (i.e.@: by use); only emit code for explicit instantiations.
1665 @xref{Template Instantiation}, for more information.
1666
1667 @item -fno-implicit-inline-templates
1668 @opindex fno-implicit-inline-templates
1669 Don't emit code for implicit instantiations of inline templates, either.
1670 The default is to handle inlines differently so that compiles with and
1671 without optimization will need the same set of explicit instantiations.
1672
1673 @item -fno-implement-inlines
1674 @opindex fno-implement-inlines
1675 To save space, do not emit out-of-line copies of inline functions
1676 controlled by @samp{#pragma implementation}.  This will cause linker
1677 errors if these functions are not inlined everywhere they are called.
1678
1679 @item -fms-extensions
1680 @opindex fms-extensions
1681 Disable pedantic warnings about constructs used in MFC, such as implicit
1682 int and getting a pointer to member function via non-standard syntax.
1683
1684 @item -fno-nonansi-builtins
1685 @opindex fno-nonansi-builtins
1686 Disable built-in declarations of functions that are not mandated by
1687 ANSI/ISO C@.  These include @code{ffs}, @code{alloca}, @code{_exit},
1688 @code{index}, @code{bzero}, @code{conjf}, and other related functions.
1689
1690 @item -fno-operator-names
1691 @opindex fno-operator-names
1692 Do not treat the operator name keywords @code{and}, @code{bitand},
1693 @code{bitor}, @code{compl}, @code{not}, @code{or} and @code{xor} as
1694 synonyms as keywords.
1695
1696 @item -fno-optional-diags
1697 @opindex fno-optional-diags
1698 Disable diagnostics that the standard says a compiler does not need to
1699 issue.  Currently, the only such diagnostic issued by G++ is the one for
1700 a name having multiple meanings within a class.
1701
1702 @item -fpermissive
1703 @opindex fpermissive
1704 Downgrade some diagnostics about nonconformant code from errors to
1705 warnings.  Thus, using @option{-fpermissive} will allow some
1706 nonconforming code to compile.
1707
1708 @item -frepo
1709 @opindex frepo
1710 Enable automatic template instantiation at link time.  This option also
1711 implies @option{-fno-implicit-templates}.  @xref{Template
1712 Instantiation}, for more information.
1713
1714 @item -fno-rtti
1715 @opindex fno-rtti
1716 Disable generation of information about every class with virtual
1717 functions for use by the C++ runtime type identification features
1718 (@samp{dynamic_cast} and @samp{typeid}).  If you don't use those parts
1719 of the language, you can save some space by using this flag.  Note that
1720 exception handling uses the same information, but it will generate it as
1721 needed. The @samp{dynamic_cast} operator can still be used for casts that
1722 do not require runtime type information, i.e. casts to @code{void *} or to
1723 unambiguous base classes.
1724
1725 @item -fstats
1726 @opindex fstats
1727 Emit statistics about front-end processing at the end of the compilation.
1728 This information is generally only useful to the G++ development team.
1729
1730 @item -ftemplate-depth-@var{n}
1731 @opindex ftemplate-depth
1732 Set the maximum instantiation depth for template classes to @var{n}.
1733 A limit on the template instantiation depth is needed to detect
1734 endless recursions during template class instantiation.  ANSI/ISO C++
1735 conforming programs must not rely on a maximum depth greater than 17.
1736
1737 @item -fno-threadsafe-statics
1738 @opindex fno-threadsafe-statics
1739 Do not emit the extra code to use the routines specified in the C++
1740 ABI for thread-safe initialization of local statics.  You can use this
1741 option to reduce code size slightly in code that doesn't need to be
1742 thread-safe.
1743
1744 @item -fuse-cxa-atexit
1745 @opindex fuse-cxa-atexit
1746 Register destructors for objects with static storage duration with the
1747 @code{__cxa_atexit} function rather than the @code{atexit} function.
1748 This option is required for fully standards-compliant handling of static
1749 destructors, but will only work if your C library supports
1750 @code{__cxa_atexit}.
1751
1752 @item -fno-use-cxa-get-exception-ptr
1753 @opindex fno-use-cxa-get-exception-ptr
1754 Don't use the @code{__cxa_get_exception_ptr} runtime routine.  This
1755 will cause @code{std::uncaught_exception} to be incorrect, but is necessary
1756 if the runtime routine is not available.
1757
1758 @item -fvisibility-inlines-hidden
1759 @opindex fvisibility-inlines-hidden
1760 This switch declares that the user does not attempt to compare
1761 pointers to inline methods where the addresses of the two functions
1762 were taken in different shared objects.
1763
1764 The effect of this is that GCC may, effectively, mark inline methods with
1765 @code{__attribute__ ((visibility ("hidden")))} so that they do not
1766 appear in the export table of a DSO and do not require a PLT indirection
1767 when used within the DSO@.  Enabling this option can have a dramatic effect
1768 on load and link times of a DSO as it massively reduces the size of the
1769 dynamic export table when the library makes heavy use of templates.
1770
1771 The behavior of this switch is not quite the same as marking the
1772 methods as hidden directly, because it does not affect static variables
1773 local to the function or cause the compiler to deduce that
1774 the function is defined in only one shared object.
1775
1776 You may mark a method as having a visibility explicitly to negate the
1777 effect of the switch for that method.  For example, if you do want to
1778 compare pointers to a particular inline method, you might mark it as
1779 having default visibility.  Marking the enclosing class with explicit
1780 visibility will have no effect.
1781
1782 Explicitly instantiated inline methods are unaffected by this option
1783 as their linkage might otherwise cross a shared library boundary.
1784 @xref{Template Instantiation}.
1785
1786 @item -fno-weak
1787 @opindex fno-weak
1788 Do not use weak symbol support, even if it is provided by the linker.
1789 By default, G++ will use weak symbols if they are available.  This
1790 option exists only for testing, and should not be used by end-users;
1791 it will result in inferior code and has no benefits.  This option may
1792 be removed in a future release of G++.
1793
1794 @item -nostdinc++
1795 @opindex nostdinc++
1796 Do not search for header files in the standard directories specific to
1797 C++, but do still search the other standard directories.  (This option
1798 is used when building the C++ library.)
1799 @end table
1800
1801 In addition, these optimization, warning, and code generation options
1802 have meanings only for C++ programs:
1803
1804 @table @gcctabopt
1805 @item -fno-default-inline
1806 @opindex fno-default-inline
1807 Do not assume @samp{inline} for functions defined inside a class scope.
1808 @xref{Optimize Options,,Options That Control Optimization}.  Note that these
1809 functions will have linkage like inline functions; they just won't be
1810 inlined by default.
1811
1812 @item -Wabi @r{(C++ only)}
1813 @opindex Wabi
1814 Warn when G++ generates code that is probably not compatible with the
1815 vendor-neutral C++ ABI@.  Although an effort has been made to warn about
1816 all such cases, there are probably some cases that are not warned about,
1817 even though G++ is generating incompatible code.  There may also be
1818 cases where warnings are emitted even though the code that is generated
1819 will be compatible.
1820
1821 You should rewrite your code to avoid these warnings if you are
1822 concerned about the fact that code generated by G++ may not be binary
1823 compatible with code generated by other compilers.
1824
1825 The known incompatibilities at this point include:
1826
1827 @itemize @bullet
1828
1829 @item
1830 Incorrect handling of tail-padding for bit-fields.  G++ may attempt to
1831 pack data into the same byte as a base class.  For example:
1832
1833 @smallexample
1834 struct A @{ virtual void f(); int f1 : 1; @};
1835 struct B : public A @{ int f2 : 1; @};
1836 @end smallexample
1837
1838 @noindent
1839 In this case, G++ will place @code{B::f2} into the same byte
1840 as@code{A::f1}; other compilers will not.  You can avoid this problem
1841 by explicitly padding @code{A} so that its size is a multiple of the
1842 byte size on your platform; that will cause G++ and other compilers to
1843 layout @code{B} identically.
1844
1845 @item
1846 Incorrect handling of tail-padding for virtual bases.  G++ does not use
1847 tail padding when laying out virtual bases.  For example:
1848
1849 @smallexample
1850 struct A @{ virtual void f(); char c1; @};
1851 struct B @{ B(); char c2; @};
1852 struct C : public A, public virtual B @{@};
1853 @end smallexample
1854
1855 @noindent
1856 In this case, G++ will not place @code{B} into the tail-padding for
1857 @code{A}; other compilers will.  You can avoid this problem by
1858 explicitly padding @code{A} so that its size is a multiple of its
1859 alignment (ignoring virtual base classes); that will cause G++ and other
1860 compilers to layout @code{C} identically.
1861
1862 @item
1863 Incorrect handling of bit-fields with declared widths greater than that
1864 of their underlying types, when the bit-fields appear in a union.  For
1865 example:
1866
1867 @smallexample
1868 union U @{ int i : 4096; @};
1869 @end smallexample
1870
1871 @noindent
1872 Assuming that an @code{int} does not have 4096 bits, G++ will make the
1873 union too small by the number of bits in an @code{int}.
1874
1875 @item
1876 Empty classes can be placed at incorrect offsets.  For example:
1877
1878 @smallexample
1879 struct A @{@};
1880
1881 struct B @{
1882   A a;
1883   virtual void f ();
1884 @};
1885
1886 struct C : public B, public A @{@};
1887 @end smallexample
1888
1889 @noindent
1890 G++ will place the @code{A} base class of @code{C} at a nonzero offset;
1891 it should be placed at offset zero.  G++ mistakenly believes that the
1892 @code{A} data member of @code{B} is already at offset zero.
1893
1894 @item
1895 Names of template functions whose types involve @code{typename} or
1896 template template parameters can be mangled incorrectly.
1897
1898 @smallexample
1899 template <typename Q>
1900 void f(typename Q::X) @{@}
1901
1902 template <template <typename> class Q>
1903 void f(typename Q<int>::X) @{@}
1904 @end smallexample
1905
1906 @noindent
1907 Instantiations of these templates may be mangled incorrectly.
1908
1909 @end itemize
1910
1911 @item -Wctor-dtor-privacy @r{(C++ only)}
1912 @opindex Wctor-dtor-privacy
1913 Warn when a class seems unusable because all the constructors or
1914 destructors in that class are private, and it has neither friends nor
1915 public static member functions.
1916
1917 @item -Wnon-virtual-dtor @r{(C++ only)}
1918 @opindex Wnon-virtual-dtor
1919 Warn when a class appears to be polymorphic, thereby requiring a virtual
1920 destructor, yet it declares a non-virtual one.  This warning is also
1921 enabled if -Weffc++ is specified.
1922
1923 @item -Wreorder @r{(C++ only)}
1924 @opindex Wreorder
1925 @cindex reordering, warning
1926 @cindex warning for reordering of member initializers
1927 Warn when the order of member initializers given in the code does not
1928 match the order in which they must be executed.  For instance:
1929
1930 @smallexample
1931 struct A @{
1932   int i;
1933   int j;
1934   A(): j (0), i (1) @{ @}
1935 @};
1936 @end smallexample
1937
1938 The compiler will rearrange the member initializers for @samp{i}
1939 and @samp{j} to match the declaration order of the members, emitting
1940 a warning to that effect.  This warning is enabled by @option{-Wall}.
1941 @end table
1942
1943 The following @option{-W@dots{}} options are not affected by @option{-Wall}.
1944
1945 @table @gcctabopt
1946 @item -Weffc++ @r{(C++ only)}
1947 @opindex Weffc++
1948 Warn about violations of the following style guidelines from Scott Meyers'
1949 @cite{Effective C++} book:
1950
1951 @itemize @bullet
1952 @item
1953 Item 11:  Define a copy constructor and an assignment operator for classes
1954 with dynamically allocated memory.
1955
1956 @item
1957 Item 12:  Prefer initialization to assignment in constructors.
1958
1959 @item
1960 Item 14:  Make destructors virtual in base classes.
1961
1962 @item
1963 Item 15:  Have @code{operator=} return a reference to @code{*this}.
1964
1965 @item
1966 Item 23:  Don't try to return a reference when you must return an object.
1967
1968 @end itemize
1969
1970 Also warn about violations of the following style guidelines from
1971 Scott Meyers' @cite{More Effective C++} book:
1972
1973 @itemize @bullet
1974 @item
1975 Item 6:  Distinguish between prefix and postfix forms of increment and
1976 decrement operators.
1977
1978 @item
1979 Item 7:  Never overload @code{&&}, @code{||}, or @code{,}.
1980
1981 @end itemize
1982
1983 When selecting this option, be aware that the standard library
1984 headers do not obey all of these guidelines; use @samp{grep -v}
1985 to filter out those warnings.
1986
1987 @item -Wno-deprecated @r{(C++ only)}
1988 @opindex Wno-deprecated
1989 Do not warn about usage of deprecated features.  @xref{Deprecated Features}.
1990
1991 @item -Wstrict-null-sentinel @r{(C++ only)}
1992 @opindex Wstrict-null-sentinel
1993 Warn also about the use of an uncasted @code{NULL} as sentinel.  When
1994 compiling only with GCC this is a valid sentinel, as @code{NULL} is defined
1995 to @code{__null}.  Although it is a null pointer constant not a null pointer,
1996 it is guaranteed to of the same size as a pointer.  But this use is
1997 not portable across different compilers.
1998
1999 @item -Wno-non-template-friend @r{(C++ only)}
2000 @opindex Wno-non-template-friend
2001 Disable warnings when non-templatized friend functions are declared
2002 within a template.  Since the advent of explicit template specification
2003 support in G++, if the name of the friend is an unqualified-id (i.e.,
2004 @samp{friend foo(int)}), the C++ language specification demands that the
2005 friend declare or define an ordinary, nontemplate function.  (Section
2006 14.5.3).  Before G++ implemented explicit specification, unqualified-ids
2007 could be interpreted as a particular specialization of a templatized
2008 function.  Because this non-conforming behavior is no longer the default
2009 behavior for G++, @option{-Wnon-template-friend} allows the compiler to
2010 check existing code for potential trouble spots and is on by default.
2011 This new compiler behavior can be turned off with
2012 @option{-Wno-non-template-friend} which keeps the conformant compiler code
2013 but disables the helpful warning.
2014
2015 @item -Wold-style-cast @r{(C++ only)}
2016 @opindex Wold-style-cast
2017 Warn if an old-style (C-style) cast to a non-void type is used within
2018 a C++ program.  The new-style casts (@samp{dynamic_cast},
2019 @samp{static_cast}, @samp{reinterpret_cast}, and @samp{const_cast}) are
2020 less vulnerable to unintended effects and much easier to search for.
2021
2022 @item -Woverloaded-virtual @r{(C++ only)}
2023 @opindex Woverloaded-virtual
2024 @cindex overloaded virtual fn, warning
2025 @cindex warning for overloaded virtual fn
2026 Warn when a function declaration hides virtual functions from a
2027 base class.  For example, in:
2028
2029 @smallexample
2030 struct A @{
2031   virtual void f();
2032 @};
2033
2034 struct B: public A @{
2035   void f(int);
2036 @};
2037 @end smallexample
2038
2039 the @code{A} class version of @code{f} is hidden in @code{B}, and code
2040 like:
2041
2042 @smallexample
2043 B* b;
2044 b->f();
2045 @end smallexample
2046
2047 will fail to compile.
2048
2049 @item -Wno-pmf-conversions @r{(C++ only)}
2050 @opindex Wno-pmf-conversions
2051 Disable the diagnostic for converting a bound pointer to member function
2052 to a plain pointer.
2053
2054 @item -Wsign-promo @r{(C++ only)}
2055 @opindex Wsign-promo
2056 Warn when overload resolution chooses a promotion from unsigned or
2057 enumerated type to a signed type, over a conversion to an unsigned type of
2058 the same size.  Previous versions of G++ would try to preserve
2059 unsignedness, but the standard mandates the current behavior.
2060
2061 @smallexample
2062 struct A @{
2063   operator int ();
2064   A& operator = (int);
2065 @};
2066
2067 main ()
2068 @{
2069   A a,b;
2070   a = b;
2071 @}
2072 @end smallexample
2073
2074 In this example, G++ will synthesize a default @samp{A& operator =
2075 (const A&);}, while cfront will use the user-defined @samp{operator =}.
2076 @end table
2077
2078 @node Objective-C and Objective-C++ Dialect Options
2079 @section Options Controlling Objective-C and Objective-C++ Dialects
2080
2081 @cindex compiler options, Objective-C and Objective-C++
2082 @cindex Objective-C and Objective-C++ options, command line
2083 @cindex options, Objective-C and Objective-C++
2084 (NOTE: This manual does not describe the Objective-C and Objective-C++
2085 languages themselves.  See @xref{Standards,,Language Standards
2086 Supported by GCC}, for references.)
2087
2088 This section describes the command-line options that are only meaningful
2089 for Objective-C and Objective-C++ programs, but you can also use most of
2090 the language-independent GNU compiler options.
2091 For example, you might compile a file @code{some_class.m} like this:
2092
2093 @smallexample
2094 gcc -g -fgnu-runtime -O -c some_class.m
2095 @end smallexample
2096
2097 @noindent
2098 In this example, @option{-fgnu-runtime} is an option meant only for
2099 Objective-C and Objective-C++ programs; you can use the other options with
2100 any language supported by GCC@.
2101
2102 Note that since Objective-C is an extension of the C language, Objective-C
2103 compilations may also use options specific to the C front-end (e.g.,
2104 @option{-Wtraditional}).  Similarly, Objective-C++ compilations may use
2105 C++-specific options (e.g., @option{-Wabi}).
2106
2107 Here is a list of options that are @emph{only} for compiling Objective-C
2108 and Objective-C++ programs:
2109
2110 @table @gcctabopt
2111 @item -fconstant-string-class=@var{class-name}
2112 @opindex fconstant-string-class
2113 Use @var{class-name} as the name of the class to instantiate for each
2114 literal string specified with the syntax @code{@@"@dots{}"}.  The default
2115 class name is @code{NXConstantString} if the GNU runtime is being used, and
2116 @code{NSConstantString} if the NeXT runtime is being used (see below).  The
2117 @option{-fconstant-cfstrings} option, if also present, will override the
2118 @option{-fconstant-string-class} setting and cause @code{@@"@dots{}"} literals
2119 to be laid out as constant CoreFoundation strings.
2120
2121 @item -fgnu-runtime
2122 @opindex fgnu-runtime
2123 Generate object code compatible with the standard GNU Objective-C
2124 runtime.  This is the default for most types of systems.
2125
2126 @item -fnext-runtime
2127 @opindex fnext-runtime
2128 Generate output compatible with the NeXT runtime.  This is the default
2129 for NeXT-based systems, including Darwin and Mac OS X@.  The macro
2130 @code{__NEXT_RUNTIME__} is predefined if (and only if) this option is
2131 used.
2132
2133 @item -fno-nil-receivers
2134 @opindex fno-nil-receivers
2135 Assume that all Objective-C message dispatches (e.g.,
2136 @code{[receiver message:arg]}) in this translation unit ensure that the receiver
2137 is not @code{nil}.  This allows for more efficient entry points in the runtime
2138 to be used.  Currently, this option is only available in conjunction with
2139 the NeXT runtime on Mac OS X 10.3 and later.
2140
2141 @item -fobjc-call-cxx-cdtors
2142 @opindex fobjc-call-cxx-cdtors
2143 For each Objective-C class, check if any of its instance variables is a
2144 C++ object with a non-trivial default constructor.  If so, synthesize a
2145 special @code{- (id) .cxx_construct} instance method that will run
2146 non-trivial default constructors on any such instance variables, in order,
2147 and then return @code{self}.  Similarly, check if any instance variable
2148 is a C++ object with a non-trivial destructor, and if so, synthesize a
2149 special @code{- (void) .cxx_destruct} method that will run
2150 all such default destructors, in reverse order.
2151
2152 The @code{- (id) .cxx_construct} and/or @code{- (void) .cxx_destruct} methods
2153 thusly generated will only operate on instance variables declared in the
2154 current Objective-C class, and not those inherited from superclasses.  It
2155 is the responsibility of the Objective-C runtime to invoke all such methods
2156 in an object's inheritance hierarchy.  The @code{- (id) .cxx_construct} methods
2157 will be invoked by the runtime immediately after a new object
2158 instance is allocated; the @code{- (void) .cxx_destruct} methods will
2159 be invoked immediately before the runtime deallocates an object instance.
2160
2161 As of this writing, only the NeXT runtime on Mac OS X 10.4 and later has
2162 support for invoking the @code{- (id) .cxx_construct} and
2163 @code{- (void) .cxx_destruct} methods.
2164
2165 @item -fobjc-direct-dispatch
2166 @opindex fobjc-direct-dispatch
2167 Allow fast jumps to the message dispatcher.  On Darwin this is
2168 accomplished via the comm page.
2169
2170 @item -fobjc-exceptions
2171 @opindex fobjc-exceptions
2172 Enable syntactic support for structured exception handling in Objective-C,
2173 similar to what is offered by C++ and Java.  This option is
2174 unavailable in conjunction with the NeXT runtime on Mac OS X 10.2 and
2175 earlier.
2176
2177 @smallexample
2178   @@try @{
2179     @dots{}
2180        @@throw expr;
2181     @dots{}
2182   @}
2183   @@catch (AnObjCClass *exc) @{
2184     @dots{}
2185       @@throw expr;
2186     @dots{}
2187       @@throw;
2188     @dots{}
2189   @}
2190   @@catch (AnotherClass *exc) @{
2191     @dots{}
2192   @}
2193   @@catch (id allOthers) @{
2194     @dots{}
2195   @}
2196   @@finally @{
2197     @dots{}
2198       @@throw expr;
2199     @dots{}
2200   @}
2201 @end smallexample
2202
2203 The @code{@@throw} statement may appear anywhere in an Objective-C or
2204 Objective-C++ program; when used inside of a @code{@@catch} block, the
2205 @code{@@throw} may appear without an argument (as shown above), in which case
2206 the object caught by the @code{@@catch} will be rethrown.
2207
2208 Note that only (pointers to) Objective-C objects may be thrown and
2209 caught using this scheme.  When an object is thrown, it will be caught
2210 by the nearest @code{@@catch} clause capable of handling objects of that type,
2211 analogously to how @code{catch} blocks work in C++ and Java.  A
2212 @code{@@catch(id @dots{})} clause (as shown above) may also be provided to catch
2213 any and all Objective-C exceptions not caught by previous @code{@@catch}
2214 clauses (if any).
2215
2216 The @code{@@finally} clause, if present, will be executed upon exit from the
2217 immediately preceding @code{@@try @dots{} @@catch} section.  This will happen
2218 regardless of whether any exceptions are thrown, caught or rethrown
2219 inside the @code{@@try @dots{} @@catch} section, analogously to the behavior
2220 of the @code{finally} clause in Java.
2221
2222 There are several caveats to using the new exception mechanism:
2223
2224 @itemize @bullet
2225 @item
2226 Although currently designed to be binary compatible with @code{NS_HANDLER}-style
2227 idioms provided by the @code{NSException} class, the new
2228 exceptions can only be used on Mac OS X 10.3 (Panther) and later
2229 systems, due to additional functionality needed in the (NeXT) Objective-C
2230 runtime.
2231
2232 @item
2233 As mentioned above, the new exceptions do not support handling
2234 types other than Objective-C objects.   Furthermore, when used from
2235 Objective-C++, the Objective-C exception model does not interoperate with C++
2236 exceptions at this time.  This means you cannot @code{@@throw} an exception
2237 from Objective-C and @code{catch} it in C++, or vice versa
2238 (i.e., @code{throw @dots{} @@catch}).
2239 @end itemize
2240
2241 The @option{-fobjc-exceptions} switch also enables the use of synchronization
2242 blocks for thread-safe execution:
2243
2244 @smallexample
2245   @@synchronized (ObjCClass *guard) @{
2246     @dots{}
2247   @}
2248 @end smallexample
2249
2250 Upon entering the @code{@@synchronized} block, a thread of execution shall
2251 first check whether a lock has been placed on the corresponding @code{guard}
2252 object by another thread.  If it has, the current thread shall wait until
2253 the other thread relinquishes its lock.  Once @code{guard} becomes available,
2254 the current thread will place its own lock on it, execute the code contained in
2255 the @code{@@synchronized} block, and finally relinquish the lock (thereby
2256 making @code{guard} available to other threads).
2257
2258 Unlike Java, Objective-C does not allow for entire methods to be marked
2259 @code{@@synchronized}.  Note that throwing exceptions out of
2260 @code{@@synchronized} blocks is allowed, and will cause the guarding object
2261 to be unlocked properly.
2262
2263 @item -fobjc-gc
2264 @opindex fobjc-gc
2265 Enable garbage collection (GC) in Objective-C and Objective-C++ programs.
2266
2267 @item -freplace-objc-classes
2268 @opindex freplace-objc-classes
2269 Emit a special marker instructing @command{ld(1)} not to statically link in
2270 the resulting object file, and allow @command{dyld(1)} to load it in at
2271 run time instead.  This is used in conjunction with the Fix-and-Continue
2272 debugging mode, where the object file in question may be recompiled and
2273 dynamically reloaded in the course of program execution, without the need
2274 to restart the program itself.  Currently, Fix-and-Continue functionality
2275 is only available in conjunction with the NeXT runtime on Mac OS X 10.3
2276 and later.
2277
2278 @item -fzero-link
2279 @opindex fzero-link
2280 When compiling for the NeXT runtime, the compiler ordinarily replaces calls
2281 to @code{objc_getClass("@dots{}")} (when the name of the class is known at
2282 compile time) with static class references that get initialized at load time,
2283 which improves run-time performance.  Specifying the @option{-fzero-link} flag
2284 suppresses this behavior and causes calls to @code{objc_getClass("@dots{}")}
2285 to be retained.  This is useful in Zero-Link debugging mode, since it allows
2286 for individual class implementations to be modified during program execution.
2287
2288 @item -gen-decls
2289 @opindex gen-decls
2290 Dump interface declarations for all classes seen in the source file to a
2291 file named @file{@var{sourcename}.decl}.
2292
2293 @item -Wassign-intercept
2294 @opindex Wassign-intercept
2295 Warn whenever an Objective-C assignment is being intercepted by the
2296 garbage collector.
2297
2298 @item -Wno-protocol
2299 @opindex Wno-protocol
2300 If a class is declared to implement a protocol, a warning is issued for
2301 every method in the protocol that is not implemented by the class.  The
2302 default behavior is to issue a warning for every method not explicitly
2303 implemented in the class, even if a method implementation is inherited
2304 from the superclass.  If you use the @option{-Wno-protocol} option, then
2305 methods inherited from the superclass are considered to be implemented,
2306 and no warning is issued for them.
2307
2308 @item -Wselector
2309 @opindex Wselector
2310 Warn if multiple methods of different types for the same selector are
2311 found during compilation.  The check is performed on the list of methods
2312 in the final stage of compilation.  Additionally, a check is performed
2313 for each selector appearing in a @code{@@selector(@dots{})}
2314 expression, and a corresponding method for that selector has been found
2315 during compilation.  Because these checks scan the method table only at
2316 the end of compilation, these warnings are not produced if the final
2317 stage of compilation is not reached, for example because an error is
2318 found during compilation, or because the @option{-fsyntax-only} option is
2319 being used.
2320
2321 @item -Wstrict-selector-match
2322 @opindex Wstrict-selector-match
2323 Warn if multiple methods with differing argument and/or return types are
2324 found for a given selector when attempting to send a message using this
2325 selector to a receiver of type @code{id} or @code{Class}.  When this flag
2326 is off (which is the default behavior), the compiler will omit such warnings
2327 if any differences found are confined to types which share the same size
2328 and alignment.
2329
2330 @item -Wundeclared-selector
2331 @opindex Wundeclared-selector
2332 Warn if a @code{@@selector(@dots{})} expression referring to an
2333 undeclared selector is found.  A selector is considered undeclared if no
2334 method with that name has been declared before the
2335 @code{@@selector(@dots{})} expression, either explicitly in an
2336 @code{@@interface} or @code{@@protocol} declaration, or implicitly in
2337 an @code{@@implementation} section.  This option always performs its
2338 checks as soon as a @code{@@selector(@dots{})} expression is found,
2339 while @option{-Wselector} only performs its checks in the final stage of
2340 compilation.  This also enforces the coding style convention
2341 that methods and selectors must be declared before being used.
2342
2343 @item -print-objc-runtime-info
2344 @opindex print-objc-runtime-info
2345 Generate C header describing the largest structure that is passed by
2346 value, if any.
2347
2348 @end table
2349
2350 @node Language Independent Options
2351 @section Options to Control Diagnostic Messages Formatting
2352 @cindex options to control diagnostics formatting
2353 @cindex diagnostic messages
2354 @cindex message formatting
2355
2356 Traditionally, diagnostic messages have been formatted irrespective of
2357 the output device's aspect (e.g.@: its width, @dots{}).  The options described
2358 below can be used to control the diagnostic messages formatting
2359 algorithm, e.g.@: how many characters per line, how often source location
2360 information should be reported.  Right now, only the C++ front end can
2361 honor these options.  However it is expected, in the near future, that
2362 the remaining front ends would be able to digest them correctly.
2363
2364 @table @gcctabopt
2365 @item -fmessage-length=@var{n}
2366 @opindex fmessage-length
2367 Try to format error messages so that they fit on lines of about @var{n}
2368 characters.  The default is 72 characters for @command{g++} and 0 for the rest of
2369 the front ends supported by GCC@.  If @var{n} is zero, then no
2370 line-wrapping will be done; each error message will appear on a single
2371 line.
2372
2373 @opindex fdiagnostics-show-location
2374 @item -fdiagnostics-show-location=once
2375 Only meaningful in line-wrapping mode.  Instructs the diagnostic messages
2376 reporter to emit @emph{once} source location information; that is, in
2377 case the message is too long to fit on a single physical line and has to
2378 be wrapped, the source location won't be emitted (as prefix) again,
2379 over and over, in subsequent continuation lines.  This is the default
2380 behavior.
2381
2382 @item -fdiagnostics-show-location=every-line
2383 Only meaningful in line-wrapping mode.  Instructs the diagnostic
2384 messages reporter to emit the same source location information (as
2385 prefix) for physical lines that result from the process of breaking
2386 a message which is too long to fit on a single line.
2387
2388 @item -fdiagnostics-show-option
2389 @opindex fdiagnostics-show-option
2390 This option instructs the diagnostic machinery to add text to each
2391 diagnostic emitted, which indicates which command line option directly
2392 controls that diagnostic, when such an option is known to the
2393 diagnostic machinery.
2394
2395 @item -Wcoverage-mismatch
2396 @opindex Wcoverage-mismatch
2397 Warn if feedback profiles do not match when using the
2398 @option{-fprofile-use} option.
2399 If a source file was changed between @option{-fprofile-gen} and
2400 @option{-fprofile-use}, the files with the profile feedback can fail
2401 to match the source file and GCC can not use the profile feedback
2402 information.  By default, GCC emits an error message in this case.
2403 The option @option{-Wcoverage-mismatch} emits a warning instead of an
2404 error.  GCC does not use appropriate feedback profiles, so using this
2405 option can result in poorly optimized code.  This option is useful
2406 only in the case of very minor changes such as bug fixes to an
2407 existing code-base.
2408
2409 @end table
2410
2411 @node Warning Options
2412 @section Options to Request or Suppress Warnings
2413 @cindex options to control warnings
2414 @cindex warning messages
2415 @cindex messages, warning
2416 @cindex suppressing warnings
2417
2418 Warnings are diagnostic messages that report constructions which
2419 are not inherently erroneous but which are risky or suggest there
2420 may have been an error.
2421
2422 You can request many specific warnings with options beginning @samp{-W},
2423 for example @option{-Wimplicit} to request warnings on implicit
2424 declarations.  Each of these specific warning options also has a
2425 negative form beginning @samp{-Wno-} to turn off warnings;
2426 for example, @option{-Wno-implicit}.  This manual lists only one of the
2427 two forms, whichever is not the default.
2428
2429 The following options control the amount and kinds of warnings produced
2430 by GCC; for further, language-specific options also refer to
2431 @ref{C++ Dialect Options} and @ref{Objective-C and Objective-C++ Dialect
2432 Options}.
2433
2434 @table @gcctabopt
2435 @cindex syntax checking
2436 @item -fsyntax-only
2437 @opindex fsyntax-only
2438 Check the code for syntax errors, but don't do anything beyond that.
2439
2440 @item -pedantic
2441 @opindex pedantic
2442 Issue all the warnings demanded by strict ISO C and ISO C++;
2443 reject all programs that use forbidden extensions, and some other
2444 programs that do not follow ISO C and ISO C++.  For ISO C, follows the
2445 version of the ISO C standard specified by any @option{-std} option used.
2446
2447 Valid ISO C and ISO C++ programs should compile properly with or without
2448 this option (though a rare few will require @option{-ansi} or a
2449 @option{-std} option specifying the required version of ISO C)@.  However,
2450 without this option, certain GNU extensions and traditional C and C++
2451 features are supported as well.  With this option, they are rejected.
2452
2453 @option{-pedantic} does not cause warning messages for use of the
2454 alternate keywords whose names begin and end with @samp{__}.  Pedantic
2455 warnings are also disabled in the expression that follows
2456 @code{__extension__}.  However, only system header files should use
2457 these escape routes; application programs should avoid them.
2458 @xref{Alternate Keywords}.
2459
2460 Some users try to use @option{-pedantic} to check programs for strict ISO
2461 C conformance.  They soon find that it does not do quite what they want:
2462 it finds some non-ISO practices, but not all---only those for which
2463 ISO C @emph{requires} a diagnostic, and some others for which
2464 diagnostics have been added.
2465
2466 A feature to report any failure to conform to ISO C might be useful in
2467 some instances, but would require considerable additional work and would
2468 be quite different from @option{-pedantic}.  We don't have plans to
2469 support such a feature in the near future.
2470
2471 Where the standard specified with @option{-std} represents a GNU
2472 extended dialect of C, such as @samp{gnu89} or @samp{gnu99}, there is a
2473 corresponding @dfn{base standard}, the version of ISO C on which the GNU
2474 extended dialect is based.  Warnings from @option{-pedantic} are given
2475 where they are required by the base standard.  (It would not make sense
2476 for such warnings to be given only for features not in the specified GNU
2477 C dialect, since by definition the GNU dialects of C include all
2478 features the compiler supports with the given option, and there would be
2479 nothing to warn about.)
2480
2481 @item -pedantic-errors
2482 @opindex pedantic-errors
2483 Like @option{-pedantic}, except that errors are produced rather than
2484 warnings.
2485
2486 @item -w
2487 @opindex w
2488 Inhibit all warning messages.
2489
2490 @item -Wno-import
2491 @opindex Wno-import
2492 Inhibit warning messages about the use of @samp{#import}.
2493
2494 @item -Wchar-subscripts
2495 @opindex Wchar-subscripts
2496 Warn if an array subscript has type @code{char}.  This is a common cause
2497 of error, as programmers often forget that this type is signed on some
2498 machines.
2499 This warning is enabled by @option{-Wall}.
2500
2501 @item -Wcomment
2502 @opindex Wcomment
2503 Warn whenever a comment-start sequence @samp{/*} appears in a @samp{/*}
2504 comment, or whenever a Backslash-Newline appears in a @samp{//} comment.
2505 This warning is enabled by @option{-Wall}.
2506
2507 @item -Wfatal-errors
2508 @opindex Wfatal-errors
2509 This option causes the compiler to abort compilation on the first error
2510 occurred rather than trying to keep going and printing further error
2511 messages.
2512
2513 @item -Wformat
2514 @opindex Wformat
2515 @opindex ffreestanding
2516 @opindex fno-builtin
2517 Check calls to @code{printf} and @code{scanf}, etc., to make sure that
2518 the arguments supplied have types appropriate to the format string
2519 specified, and that the conversions specified in the format string make
2520 sense.  This includes standard functions, and others specified by format
2521 attributes (@pxref{Function Attributes}), in the @code{printf},
2522 @code{scanf}, @code{strftime} and @code{strfmon} (an X/Open extension,
2523 not in the C standard) families (or other target-specific families).
2524 Which functions are checked without format attributes having been
2525 specified depends on the standard version selected, and such checks of
2526 functions without the attribute specified are disabled by
2527 @option{-ffreestanding} or @option{-fno-builtin}.
2528
2529 The formats are checked against the format features supported by GNU
2530 libc version 2.2.  These include all ISO C90 and C99 features, as well
2531 as features from the Single Unix Specification and some BSD and GNU
2532 extensions.  Other library implementations may not support all these
2533 features; GCC does not support warning about features that go beyond a
2534 particular library's limitations.  However, if @option{-pedantic} is used
2535 with @option{-Wformat}, warnings will be given about format features not
2536 in the selected standard version (but not for @code{strfmon} formats,
2537 since those are not in any version of the C standard).  @xref{C Dialect
2538 Options,,Options Controlling C Dialect}.
2539
2540 Since @option{-Wformat} also checks for null format arguments for
2541 several functions, @option{-Wformat} also implies @option{-Wnonnull}.
2542
2543 @option{-Wformat} is included in @option{-Wall}.  For more control over some
2544 aspects of format checking, the options @option{-Wformat-y2k},
2545 @option{-Wno-format-extra-args}, @option{-Wno-format-zero-length},
2546 @option{-Wformat-nonliteral}, @option{-Wformat-security}, and
2547 @option{-Wformat=2} are available, but are not included in @option{-Wall}.
2548
2549 @item -Wformat-y2k
2550 @opindex Wformat-y2k
2551 If @option{-Wformat} is specified, also warn about @code{strftime}
2552 formats which may yield only a two-digit year.
2553
2554 @item -Wno-format-extra-args
2555 @opindex Wno-format-extra-args
2556 If @option{-Wformat} is specified, do not warn about excess arguments to a
2557 @code{printf} or @code{scanf} format function.  The C standard specifies
2558 that such arguments are ignored.
2559
2560 Where the unused arguments lie between used arguments that are
2561 specified with @samp{$} operand number specifications, normally
2562 warnings are still given, since the implementation could not know what
2563 type to pass to @code{va_arg} to skip the unused arguments.  However,
2564 in the case of @code{scanf} formats, this option will suppress the
2565 warning if the unused arguments are all pointers, since the Single
2566 Unix Specification says that such unused arguments are allowed.
2567
2568 @item -Wno-format-zero-length
2569 @opindex Wno-format-zero-length
2570 If @option{-Wformat} is specified, do not warn about zero-length formats.
2571 The C standard specifies that zero-length formats are allowed.
2572
2573 @item -Wformat-nonliteral
2574 @opindex Wformat-nonliteral
2575 If @option{-Wformat} is specified, also warn if the format string is not a
2576 string literal and so cannot be checked, unless the format function
2577 takes its format arguments as a @code{va_list}.
2578
2579 @item -Wformat-security
2580 @opindex Wformat-security
2581 If @option{-Wformat} is specified, also warn about uses of format
2582 functions that represent possible security problems.  At present, this
2583 warns about calls to @code{printf} and @code{scanf} functions where the
2584 format string is not a string literal and there are no format arguments,
2585 as in @code{printf (foo);}.  This may be a security hole if the format
2586 string came from untrusted input and contains @samp{%n}.  (This is
2587 currently a subset of what @option{-Wformat-nonliteral} warns about, but
2588 in future warnings may be added to @option{-Wformat-security} that are not
2589 included in @option{-Wformat-nonliteral}.)
2590
2591 @item -Wformat=2
2592 @opindex Wformat=2
2593 Enable @option{-Wformat} plus format checks not included in
2594 @option{-Wformat}.  Currently equivalent to @samp{-Wformat
2595 -Wformat-nonliteral -Wformat-security -Wformat-y2k}.
2596
2597 @item -Wnonnull
2598 @opindex Wnonnull
2599 Warn about passing a null pointer for arguments marked as
2600 requiring a non-null value by the @code{nonnull} function attribute.
2601
2602 @option{-Wnonnull} is included in @option{-Wall} and @option{-Wformat}.  It
2603 can be disabled with the @option{-Wno-nonnull} option.
2604
2605 @item -Winit-self @r{(C, C++, Objective-C and Objective-C++ only)}
2606 @opindex Winit-self
2607 Warn about uninitialized variables which are initialized with themselves.
2608 Note this option can only be used with the @option{-Wuninitialized} option,
2609 which in turn only works with @option{-O1} and above.
2610
2611 For example, GCC will warn about @code{i} being uninitialized in the
2612 following snippet only when @option{-Winit-self} has been specified:
2613 @smallexample
2614 @group
2615 int f()
2616 @{
2617   int i = i;
2618   return i;
2619 @}
2620 @end group
2621 @end smallexample
2622
2623 @item -Wimplicit-int
2624 @opindex Wimplicit-int
2625 Warn when a declaration does not specify a type.
2626 This warning is enabled by @option{-Wall}.
2627
2628 @item -Wimplicit-function-declaration
2629 @opindex Wimplicit-function-declaration
2630 @opindex Wno-implicit-function-declaration
2631 Give a warning whenever a function is used before being declared. In
2632 C99 mode (@option{-std=c99} or @option{-std=gnu99}), this warning is
2633 enabled by default and it is made into an error by
2634 @option{-pedantic-errors}. This warning is also enabled by
2635 @option{-Wall}.
2636
2637 @item -Wimplicit
2638 @opindex Wimplicit
2639 Same as @option{-Wimplicit-int} and @option{-Wimplicit-function-declaration}.
2640 This warning is enabled by @option{-Wall}.
2641
2642 @item -Wmain
2643 @opindex Wmain
2644 Warn if the type of @samp{main} is suspicious.  @samp{main} should be a
2645 function with external linkage, returning int, taking either zero
2646 arguments, two, or three arguments of appropriate types.
2647 This warning is enabled by @option{-Wall}.
2648
2649 @item -Wmissing-braces
2650 @opindex Wmissing-braces
2651 Warn if an aggregate or union initializer is not fully bracketed.  In
2652 the following example, the initializer for @samp{a} is not fully
2653 bracketed, but that for @samp{b} is fully bracketed.
2654
2655 @smallexample
2656 int a[2][2] = @{ 0, 1, 2, 3 @};
2657 int b[2][2] = @{ @{ 0, 1 @}, @{ 2, 3 @} @};
2658 @end smallexample
2659
2660 This warning is enabled by @option{-Wall}.
2661
2662 @item -Wmissing-include-dirs @r{(C, C++, Objective-C and Objective-C++ only)}
2663 @opindex Wmissing-include-dirs
2664 Warn if a user-supplied include directory does not exist.
2665
2666 @item -Wparentheses
2667 @opindex Wparentheses
2668 Warn if parentheses are omitted in certain contexts, such
2669 as when there is an assignment in a context where a truth value
2670 is expected, or when operators are nested whose precedence people
2671 often get confused about.
2672
2673 Also warn if a comparison like @samp{x<=y<=z} appears; this is
2674 equivalent to @samp{(x<=y ? 1 : 0) <= z}, which is a different
2675 interpretation from that of ordinary mathematical notation.
2676
2677 Also warn about constructions where there may be confusion to which
2678 @code{if} statement an @code{else} branch belongs.  Here is an example of
2679 such a case:
2680
2681 @smallexample
2682 @group
2683 @{
2684   if (a)
2685     if (b)
2686       foo ();
2687   else
2688     bar ();
2689 @}
2690 @end group
2691 @end smallexample
2692
2693 In C/C++, every @code{else} branch belongs to the innermost possible
2694 @code{if} statement, which in this example is @code{if (b)}.  This is
2695 often not what the programmer expected, as illustrated in the above
2696 example by indentation the programmer chose.  When there is the
2697 potential for this confusion, GCC will issue a warning when this flag
2698 is specified.  To eliminate the warning, add explicit braces around
2699 the innermost @code{if} statement so there is no way the @code{else}
2700 could belong to the enclosing @code{if}.  The resulting code would
2701 look like this:
2702
2703 @smallexample
2704 @group
2705 @{
2706   if (a)
2707     @{
2708       if (b)
2709         foo ();
2710       else
2711         bar ();
2712     @}
2713 @}
2714 @end group
2715 @end smallexample
2716
2717 This warning is enabled by @option{-Wall}.
2718
2719 @item -Wsequence-point
2720 @opindex Wsequence-point
2721 Warn about code that may have undefined semantics because of violations
2722 of sequence point rules in the C and C++ standards.
2723
2724 The C and C++ standards defines the order in which expressions in a C/C++
2725 program are evaluated in terms of @dfn{sequence points}, which represent
2726 a partial ordering between the execution of parts of the program: those
2727 executed before the sequence point, and those executed after it.  These
2728 occur after the evaluation of a full expression (one which is not part
2729 of a larger expression), after the evaluation of the first operand of a
2730 @code{&&}, @code{||}, @code{? :} or @code{,} (comma) operator, before a
2731 function is called (but after the evaluation of its arguments and the
2732 expression denoting the called function), and in certain other places.
2733 Other than as expressed by the sequence point rules, the order of
2734 evaluation of subexpressions of an expression is not specified.  All
2735 these rules describe only a partial order rather than a total order,
2736 since, for example, if two functions are called within one expression
2737 with no sequence point between them, the order in which the functions
2738 are called is not specified.  However, the standards committee have
2739 ruled that function calls do not overlap.
2740
2741 It is not specified when between sequence points modifications to the
2742 values of objects take effect.  Programs whose behavior depends on this
2743 have undefined behavior; the C and C++ standards specify that ``Between
2744 the previous and next sequence point an object shall have its stored
2745 value modified at most once by the evaluation of an expression.  
2746 Furthermore, the prior value shall be read only to determine the value
2747 to be stored.''.  If a program breaks these rules, the results on any
2748 particular implementation are entirely unpredictable.
2749
2750 Examples of code with undefined behavior are @code{a = a++;}, @code{a[n]
2751 = b[n++]} and @code{a[i++] = i;}.  Some more complicated cases are not
2752 diagnosed by this option, and it may give an occasional false positive
2753 result, but in general it has been found fairly effective at detecting
2754 this sort of problem in programs.
2755
2756 The standard is worded confusingly, therefore there is some debate
2757 over the precise meaning of the sequence point rules in subtle cases.
2758 Links to discussions of the problem, including proposed formal
2759 definitions, may be found on the GCC readings page, at
2760 @w{@uref{http://gcc.gnu.org/readings.html}}.
2761
2762 This warning is enabled by @option{-Wall} for C and C++.
2763
2764 @item -Wreturn-type
2765 @opindex Wreturn-type
2766 Warn whenever a function is defined with a return-type that defaults to
2767 @code{int}.  Also warn about any @code{return} statement with no
2768 return-value in a function whose return-type is not @code{void}.
2769
2770 Also warn if the return type of a function has a type qualifier
2771 such as @code{const}.  For ISO C such a type qualifier has no effect,
2772 since the value returned by a function is not an lvalue.
2773 For C++, the warning is only emitted for scalar types or @code{void}.
2774 ISO C prohibits qualified @code{void} return types on function
2775 definitions, so such return types always receive a warning
2776 even without this option.
2777
2778 For C++, a function without return type always produces a diagnostic
2779 message, even when @option{-Wno-return-type} is specified.  The only
2780 exceptions are @samp{main} and functions defined in system headers.
2781
2782 This warning is enabled by @option{-Wall}.
2783
2784 @item -Wswitch
2785 @opindex Wswitch
2786 Warn whenever a @code{switch} statement has an index of enumerated type
2787 and lacks a @code{case} for one or more of the named codes of that
2788 enumeration.  (The presence of a @code{default} label prevents this
2789 warning.)  @code{case} labels outside the enumeration range also
2790 provoke warnings when this option is used.
2791 This warning is enabled by @option{-Wall}.
2792
2793 @item -Wswitch-default
2794 @opindex Wswitch-switch
2795 Warn whenever a @code{switch} statement does not have a @code{default}
2796 case.
2797
2798 @item -Wswitch-enum
2799 @opindex Wswitch-enum
2800 Warn whenever a @code{switch} statement has an index of enumerated type
2801 and lacks a @code{case} for one or more of the named codes of that
2802 enumeration.  @code{case} labels outside the enumeration range also
2803 provoke warnings when this option is used.
2804
2805 @item -Wtrigraphs
2806 @opindex Wtrigraphs
2807 Warn if any trigraphs are encountered that might change the meaning of
2808 the program (trigraphs within comments are not warned about).
2809 This warning is enabled by @option{-Wall}.
2810
2811 @item -Wunused-function
2812 @opindex Wunused-function
2813 Warn whenever a static function is declared but not defined or a
2814 non-inline static function is unused.
2815 This warning is enabled by @option{-Wall}.
2816
2817 @item -Wunused-label
2818 @opindex Wunused-label
2819 Warn whenever a label is declared but not used.
2820 This warning is enabled by @option{-Wall}.
2821
2822 To suppress this warning use the @samp{unused} attribute
2823 (@pxref{Variable Attributes}).
2824
2825 @item -Wunused-parameter
2826 @opindex Wunused-parameter
2827 Warn whenever a function parameter is unused aside from its declaration.
2828
2829 To suppress this warning use the @samp{unused} attribute
2830 (@pxref{Variable Attributes}).
2831
2832 @item -Wunused-variable
2833 @opindex Wunused-variable
2834 Warn whenever a local variable or non-constant static variable is unused
2835 aside from its declaration.
2836 This warning is enabled by @option{-Wall}.
2837
2838 To suppress this warning use the @samp{unused} attribute
2839 (@pxref{Variable Attributes}).
2840
2841 @item -Wunused-value
2842 @opindex Wunused-value
2843 Warn whenever a statement computes a result that is explicitly not
2844 used. To suppress this warning cast the unused expression to
2845 @samp{void}. This includes an expression-statement or the left-hand
2846 side of a comma expression that contains no side effects. For example,
2847 an expression such as @samp{x[i,j]} will cause a warning, while
2848 @samp{x[(void)i,j]} will not.
2849
2850 This warning is enabled by @option{-Wall}.
2851
2852 @item -Wunused
2853 @opindex Wunused
2854 All the above @option{-Wunused} options combined.
2855
2856 In order to get a warning about an unused function parameter, you must
2857 either specify @samp{-Wextra -Wunused} (note that @samp{-Wall} implies
2858 @samp{-Wunused}), or separately specify @option{-Wunused-parameter}.
2859
2860 @item -Wuninitialized
2861 @opindex Wuninitialized
2862 Warn if an automatic variable is used without first being initialized or
2863 if a variable may be clobbered by a @code{setjmp} call.
2864
2865 These warnings are possible only in optimizing compilation,
2866 because they require data flow information that is computed only
2867 when optimizing.  If you do not specify @option{-O}, you will not get
2868 these warnings. Instead, GCC will issue a warning about @option{-Wuninitialized}
2869 requiring @option{-O}.
2870
2871 If you want to warn about code which uses the uninitialized value of the
2872 variable in its own initializer, use the @option{-Winit-self} option.
2873
2874 These warnings occur for individual uninitialized or clobbered
2875 elements of structure, union or array variables as well as for
2876 variables which are uninitialized or clobbered as a whole.  They do
2877 not occur for variables or elements declared @code{volatile}.  Because
2878 these warnings depend on optimization, the exact variables or elements
2879 for which there are warnings will depend on the precise optimization
2880 options and version of GCC used.
2881
2882 Note that there may be no warning about a variable that is used only
2883 to compute a value that itself is never used, because such
2884 computations may be deleted by data flow analysis before the warnings
2885 are printed.
2886
2887 These warnings are made optional because GCC is not smart
2888 enough to see all the reasons why the code might be correct
2889 despite appearing to have an error.  Here is one example of how
2890 this can happen:
2891
2892 @smallexample
2893 @group
2894 @{
2895   int x;
2896   switch (y)
2897     @{
2898     case 1: x = 1;
2899       break;
2900     case 2: x = 4;
2901       break;
2902     case 3: x = 5;
2903     @}
2904   foo (x);
2905 @}
2906 @end group
2907 @end smallexample
2908
2909 @noindent
2910 If the value of @code{y} is always 1, 2 or 3, then @code{x} is
2911 always initialized, but GCC doesn't know this.  Here is
2912 another common case:
2913
2914 @smallexample
2915 @{
2916   int save_y;
2917   if (change_y) save_y = y, y = new_y;
2918   @dots{}
2919   if (change_y) y = save_y;
2920 @}
2921 @end smallexample
2922
2923 @noindent
2924 This has no bug because @code{save_y} is used only if it is set.
2925
2926 @cindex @code{longjmp} warnings
2927 This option also warns when a non-volatile automatic variable might be
2928 changed by a call to @code{longjmp}.  These warnings as well are possible
2929 only in optimizing compilation.
2930
2931 The compiler sees only the calls to @code{setjmp}.  It cannot know
2932 where @code{longjmp} will be called; in fact, a signal handler could
2933 call it at any point in the code.  As a result, you may get a warning
2934 even when there is in fact no problem because @code{longjmp} cannot
2935 in fact be called at the place which would cause a problem.
2936
2937 Some spurious warnings can be avoided if you declare all the functions
2938 you use that never return as @code{noreturn}.  @xref{Function
2939 Attributes}.
2940
2941 This warning is enabled by @option{-Wall}.
2942
2943 @item -Wunknown-pragmas
2944 @opindex Wunknown-pragmas
2945 @cindex warning for unknown pragmas
2946 @cindex unknown pragmas, warning
2947 @cindex pragmas, warning of unknown
2948 Warn when a #pragma directive is encountered which is not understood by
2949 GCC@.  If this command line option is used, warnings will even be issued
2950 for unknown pragmas in system header files.  This is not the case if
2951 the warnings were only enabled by the @option{-Wall} command line option.
2952
2953 @item -Wno-pragmas
2954 @opindex Wno-pragmas
2955 @opindex Wpragmas
2956 Do not warn about misuses of pragmas, such as incorrect parameters,
2957 invalid syntax, or conflicts between pragmas.  See also
2958 @samp{-Wunknown-pragmas}.
2959
2960 @item -Wstrict-aliasing
2961 @opindex Wstrict-aliasing
2962 This option is only active when @option{-fstrict-aliasing} is active.
2963 It warns about code which might break the strict aliasing rules that the
2964 compiler is using for optimization.  The warning does not catch all
2965 cases, but does attempt to catch the more common pitfalls.  It is
2966 included in @option{-Wall}.
2967
2968 @item -Wstrict-aliasing=2
2969 @opindex Wstrict-aliasing=2
2970 This option is only active when @option{-fstrict-aliasing} is active.
2971 It warns about code which might break the strict aliasing rules that the
2972 compiler is using for optimization.  This warning catches more cases than
2973 @option{-Wstrict-aliasing}, but it will also give a warning for some ambiguous
2974 cases that are safe.
2975
2976 @item -Wstrict-overflow
2977 @item -Wstrict-overflow=@var{n}
2978 @opindex -Wstrict-overflow
2979 This option is only active when @option{-fstrict-overflow} is active.
2980 It warns about cases where the compiler optimizes based on the
2981 assumption that signed overflow does not occur.  Note that it does not
2982 warn about all cases where the code might overflow: it only warns
2983 about cases where the compiler implements some optimization.  Thus
2984 this warning depends on the optimization level.
2985
2986 An optimization which assumes that signed overflow does not occur is
2987 perfectly safe if the values of the variables involved are such that
2988 overflow never does, in fact, occur.  Therefore this warning can
2989 easily give a false positive: a warning about code which is not
2990 actually a problem.  To help focus on important issues, several
2991 warning levels are defined.
2992
2993 @table @option
2994 @item -Wstrict-overflow=1
2995 Warn about cases which are both questionable and easy to avoid.  For
2996 example: @code{x + 1 > x}; with @option{-fstrict-overflow}, the
2997 compiler will simplify this to @code{1}.  @option{-Wstrict-overflow}
2998 (with no level) is the same as @option{-Wstrict-overflow=1}.  This
2999 level of @option{-Wstrict-overflow} is enabled by @option{-Wall};
3000 higher levels are not, and must be explicitly requested.
3001
3002 @item -Wstrict-overflow=2
3003 Also warn about other cases where a comparison is simplified to a
3004 constant.  For example: @code{abs (x) >= 0}.  This can only be
3005 simplified when @option{-fstrict-overflow} is in effect, because
3006 @code{abs (INT_MIN)} overflows to @code{INT_MIN}, which is less than
3007 zero.
3008
3009 @item -Wstrict-overflow=3
3010 Also warn about other cases where a comparison is simplified.  For
3011 example: @code{x + 1 > 1} will be simplified to @code{x > 0}.
3012
3013 @item -Wstrict-overflow=4
3014 Also warn about other simplifications not covered by the above cases.
3015 For example: @code{(x * 10) / 5} will be simplified to @code{x * 2}.
3016
3017 @item -Wstrict-overflow=5
3018 Also warn about cases where the compiler reduces the magnitude of a
3019 constant involved in a comparison.  For example: @code{x + 2 > y} will
3020 be simplified to @code{x + 1 >= y}.  This is reported only at the
3021 highest warning level because this simplification applies to many
3022 comparisons, so this warning level will give a very large number of
3023 false positives.
3024 @end table
3025
3026 @item -Warray-bounds
3027 @opindex Wno-array-bounds
3028 @opindex Warray-bounds
3029 This option is only active when @option{-ftree-vrp} is active
3030 (default for -O2 and above). It warns about subscripts to arrays
3031 that are always out of bounds. This warning is enabled by @option{-Wall}.
3032
3033 @item -Wall
3034 @opindex Wall
3035 All of the above @samp{-W} options combined.  This enables all the
3036 warnings about constructions that some users consider questionable, and
3037 that are easy to avoid (or modify to prevent the warning), even in
3038 conjunction with macros.  This also enables some language-specific
3039 warnings described in @ref{C++ Dialect Options} and
3040 @ref{Objective-C and Objective-C++ Dialect Options}.
3041 @end table
3042
3043 The following @option{-W@dots{}} options are not implied by @option{-Wall}.
3044 Some of them warn about constructions that users generally do not
3045 consider questionable, but which occasionally you might wish to check
3046 for; others warn about constructions that are necessary or hard to avoid
3047 in some cases, and there is no simple way to modify the code to suppress
3048 the warning.
3049
3050 @table @gcctabopt
3051 @item -Wextra
3052 @opindex W
3053 @opindex Wextra
3054 (This option used to be called @option{-W}.  The older name is still
3055 supported, but the newer name is more descriptive.)  Print extra warning
3056 messages for these events:
3057
3058 @itemize @bullet
3059 @item
3060 A function can return either with or without a value.  (Falling
3061 off the end of the function body is considered returning without
3062 a value.)  For example, this function would evoke such a
3063 warning:
3064
3065 @smallexample
3066 @group
3067 foo (a)
3068 @{
3069   if (a > 0)
3070     return a;
3071 @}
3072 @end group
3073 @end smallexample
3074
3075 @item
3076 An unsigned value is compared against zero with @samp{<} or @samp{>=}.
3077
3078 @item @r{(C only)}
3079 Storage-class specifiers like @code{static} are not the first things
3080 in a declaration.  According to the C Standard, this usage is
3081 obsolescent.  This warning can be independently controlled by
3082 @option{-Wold-style-declaration}.
3083
3084 @item
3085 If @option{-Wall} or @option{-Wunused} is also specified, warn about unused
3086 arguments.
3087
3088 @item
3089 A comparison between signed and unsigned values could produce an
3090 incorrect result when the signed value is converted to unsigned.
3091 (But don't warn if @option{-Wno-sign-compare} is also specified.)
3092
3093 @item
3094 An aggregate has an initializer which does not initialize all members.
3095 This warning can be independently controlled by
3096 @option{-Wmissing-field-initializers}.
3097
3098 @item
3099 An initialized field without side effects is overridden when using
3100 designated initializers (@pxref{Designated Inits, , Designated
3101 Initializers}).  This warning can be independently controlled by
3102 @option{-Woverride-init}.
3103
3104 @item @r{(C only)}
3105 A function parameter is declared without a type specifier in K&R-style
3106 functions.  This warning can be independently controlled by
3107 @option{-Wmissing-parameter-type}.
3108
3109 @item
3110 An empty body occurs in an @samp{if} or @samp{else} statement. This
3111 warning can be independently controlled by @option{-Wempty-body}.
3112
3113 @item
3114 A pointer is compared against integer zero with @samp{<}, @samp{<=},
3115 @samp{>}, or @samp{>=}.
3116
3117 @item
3118 A variable might be changed by @samp{longjmp} or @samp{vfork}.
3119 This warning can be independently controlled by @option{-Wclobbered}.
3120
3121 @item @r{(C++ only)}
3122 An enumerator and a non-enumerator both appear in a conditional expression.
3123
3124 @item @r{(C++ only)}
3125 A non-static reference or non-static @samp{const} member appears in a
3126 class without constructors.
3127
3128 @item @r{(C++ only)}
3129 Ambiguous virtual bases.
3130
3131 @item @r{(C++ only)}
3132 Subscripting an array which has been declared @samp{register}.
3133
3134 @item @r{(C++ only)}
3135 Taking the address of a variable which has been declared @samp{register}.
3136
3137 @item @r{(C++ only)}
3138 A base class is not initialized in a derived class' copy constructor.
3139 @end itemize
3140
3141 @item -Wno-div-by-zero
3142 @opindex Wno-div-by-zero
3143 @opindex Wdiv-by-zero
3144 Do not warn about compile-time integer division by zero.  Floating point
3145 division by zero is not warned about, as it can be a legitimate way of
3146 obtaining infinities and NaNs.
3147
3148 @item -Wsystem-headers
3149 @opindex Wsystem-headers
3150 @cindex warnings from system headers
3151 @cindex system headers, warnings from
3152 Print warning messages for constructs found in system header files.
3153 Warnings from system headers are normally suppressed, on the assumption
3154 that they usually do not indicate real problems and would only make the
3155 compiler output harder to read.  Using this command line option tells
3156 GCC to emit warnings from system headers as if they occurred in user
3157 code.  However, note that using @option{-Wall} in conjunction with this
3158 option will @emph{not} warn about unknown pragmas in system
3159 headers---for that, @option{-Wunknown-pragmas} must also be used.
3160
3161 @item -Wfloat-equal
3162 @opindex Wfloat-equal
3163 Warn if floating point values are used in equality comparisons.
3164
3165 The idea behind this is that sometimes it is convenient (for the
3166 programmer) to consider floating-point values as approximations to
3167 infinitely precise real numbers.  If you are doing this, then you need
3168 to compute (by analyzing the code, or in some other way) the maximum or
3169 likely maximum error that the computation introduces, and allow for it
3170 when performing comparisons (and when producing output, but that's a
3171 different problem).  In particular, instead of testing for equality, you
3172 would check to see whether the two values have ranges that overlap; and
3173 this is done with the relational operators, so equality comparisons are
3174 probably mistaken.
3175
3176 @item -Wtraditional @r{(C only)}
3177 @opindex Wtraditional
3178 Warn about certain constructs that behave differently in traditional and
3179 ISO C@.  Also warn about ISO C constructs that have no traditional C
3180 equivalent, and/or problematic constructs which should be avoided.
3181
3182 @itemize @bullet
3183 @item
3184 Macro parameters that appear within string literals in the macro body.
3185 In traditional C macro replacement takes place within string literals,
3186 but does not in ISO C@.
3187
3188 @item
3189 In traditional C, some preprocessor directives did not exist.
3190 Traditional preprocessors would only consider a line to be a directive
3191 if the @samp{#} appeared in column 1 on the line.  Therefore
3192 @option{-Wtraditional} warns about directives that traditional C
3193 understands but would ignore because the @samp{#} does not appear as the
3194 first character on the line.  It also suggests you hide directives like
3195 @samp{#pragma} not understood by traditional C by indenting them.  Some
3196 traditional implementations would not recognize @samp{#elif}, so it
3197 suggests avoiding it altogether.
3198
3199 @item
3200 A function-like macro that appears without arguments.
3201
3202 @item
3203 The unary plus operator.
3204
3205 @item
3206 The @samp{U} integer constant suffix, or the @samp{F} or @samp{L} floating point
3207 constant suffixes.  (Traditional C does support the @samp{L} suffix on integer
3208 constants.)  Note, these suffixes appear in macros defined in the system
3209 headers of most modern systems, e.g.@: the @samp{_MIN}/@samp{_MAX} macros in @code{<limits.h>}.
3210 Use of these macros in user code might normally lead to spurious
3211 warnings, however GCC's integrated preprocessor has enough context to
3212 avoid warning in these cases.
3213
3214 @item
3215 A function declared external in one block and then used after the end of
3216 the block.
3217
3218 @item
3219 A @code{switch} statement has an operand of type @code{long}.
3220
3221 @item
3222 A non-@code{static} function declaration follows a @code{static} one.
3223 This construct is not accepted by some traditional C compilers.
3224
3225 @item
3226 The ISO type of an integer constant has a different width or
3227 signedness from its traditional type.  This warning is only issued if
3228 the base of the constant is ten.  I.e.@: hexadecimal or octal values, which
3229 typically represent bit patterns, are not warned about.
3230
3231 @item
3232 Usage of ISO string concatenation is detected.
3233
3234 @item
3235 Initialization of automatic aggregates.
3236
3237 @item
3238 Identifier conflicts with labels.  Traditional C lacks a separate
3239 namespace for labels.
3240
3241 @item
3242 Initialization of unions.  If the initializer is zero, the warning is
3243 omitted.  This is done under the assumption that the zero initializer in
3244 user code appears conditioned on e.g.@: @code{__STDC__} to avoid missing
3245 initializer warnings and relies on default initialization to zero in the
3246 traditional C case.
3247
3248 @item
3249 Conversions by prototypes between fixed/floating point values and vice
3250 versa.  The absence of these prototypes when compiling with traditional
3251 C would cause serious problems.  This is a subset of the possible
3252 conversion warnings, for the full set use @option{-Wtraditional-conversion}.
3253
3254 @item
3255 Use of ISO C style function definitions.  This warning intentionally is
3256 @emph{not} issued for prototype declarations or variadic functions
3257 because these ISO C features will appear in your code when using
3258 libiberty's traditional C compatibility macros, @code{PARAMS} and
3259 @code{VPARAMS}.  This warning is also bypassed for nested functions
3260 because that feature is already a GCC extension and thus not relevant to
3261 traditional C compatibility.
3262 @end itemize
3263
3264 @item -Wtraditional-conversion @r{(C only)}
3265 @opindex Wtraditional-conversion
3266 Warn if a prototype causes a type conversion that is different from what
3267 would happen to the same argument in the absence of a prototype.  This
3268 includes conversions of fixed point to floating and vice versa, and
3269 conversions changing the width or signedness of a fixed point argument
3270 except when the same as the default promotion.
3271
3272 @item -Wdeclaration-after-statement @r{(C only)}
3273 @opindex Wdeclaration-after-statement
3274 Warn when a declaration is found after a statement in a block.  This
3275 construct, known from C++, was introduced with ISO C99 and is by default
3276 allowed in GCC@.  It is not supported by ISO C90 and was not supported by
3277 GCC versions before GCC 3.0.  @xref{Mixed Declarations}.
3278
3279 @item -Wundef
3280 @opindex Wundef
3281 Warn if an undefined identifier is evaluated in an @samp{#if} directive.
3282
3283 @item -Wno-endif-labels
3284 @opindex Wno-endif-labels
3285 @opindex Wendif-labels
3286 Do not warn whenever an @samp{#else} or an @samp{#endif} are followed by text.
3287
3288 @item -Wshadow
3289 @opindex Wshadow
3290 Warn whenever a local variable shadows another local variable, parameter or
3291 global variable or whenever a built-in function is shadowed.
3292
3293 @item -Wlarger-than-@var{len}
3294 @opindex Wlarger-than
3295 Warn whenever an object of larger than @var{len} bytes is defined.
3296
3297 @item -Wunsafe-loop-optimizations
3298 @opindex Wunsafe-loop-optimizations
3299 Warn if the loop cannot be optimized because the compiler could not
3300 assume anything on the bounds of the loop indices.  With
3301 @option{-funsafe-loop-optimizations} warn if the compiler made
3302 such assumptions.
3303
3304 @item -Wpointer-arith
3305 @opindex Wpointer-arith
3306 Warn about anything that depends on the ``size of'' a function type or
3307 of @code{void}.  GNU C assigns these types a size of 1, for
3308 convenience in calculations with @code{void *} pointers and pointers
3309 to functions.  In C++, warn also when an arithmetic operation involves
3310 @code{NULL}.  This warning is also enabled by @option{-pedantic}.
3311
3312 @item -Wbad-function-cast @r{(C only)}
3313 @opindex Wbad-function-cast
3314 Warn whenever a function call is cast to a non-matching type.
3315 For example, warn if @code{int malloc()} is cast to @code{anything *}.
3316
3317 @item -Wc++-compat
3318 Warn about ISO C constructs that are outside of the common subset of
3319 ISO C and ISO C++, e.g.@: request for implicit conversion from
3320 @code{void *} to a pointer to non-@code{void} type.
3321
3322 @item -Wc++0x-compat @r{(C++ and Objective-C++ only)}
3323 Warn about C++ constructs whose meaning differs between ISO C++ 1998 and
3324 ISO C++ 200x, e.g., identifiers in ISO C++ 1998 that will become keywords 
3325 in ISO C++ 200x.  This warning is enabled by @option{-Wall}.
3326
3327 @item -Wcast-qual
3328 @opindex Wcast-qual
3329 Warn whenever a pointer is cast so as to remove a type qualifier from
3330 the target type.  For example, warn if a @code{const char *} is cast
3331 to an ordinary @code{char *}.
3332
3333 @item -Wcast-align
3334 @opindex Wcast-align
3335 Warn whenever a pointer is cast such that the required alignment of the
3336 target is increased.  For example, warn if a @code{char *} is cast to
3337 an @code{int *} on machines where integers can only be accessed at
3338 two- or four-byte boundaries.
3339
3340 @item -Wwrite-strings
3341 @opindex Wwrite-strings
3342 When compiling C, give string constants the type @code{const
3343 char[@var{length}]} so that
3344 copying the address of one into a non-@code{const} @code{char *}
3345 pointer will get a warning; when compiling C++, warn about the
3346 deprecated conversion from string literals to @code{char *}.  This
3347 warning, by default, is enabled for C++ programs.
3348 These warnings will help you find at
3349 compile time code that can try to write into a string constant, but
3350 only if you have been very careful about using @code{const} in
3351 declarations and prototypes.  Otherwise, it will just be a nuisance;
3352 this is why we did not make @option{-Wall} request these warnings.
3353
3354 @item -Wclobbered
3355 @opindex Wclobbered
3356 Warn for variables that might be changed by @samp{longjmp} or
3357 @samp{vfork}.  This warning is also enabled by @option{-Wextra}.
3358
3359 @item -Wconversion
3360 @opindex Wconversion
3361 Warn for implicit conversions that may alter a value. This includes
3362 conversions between real and integer, like @code{abs (x)} when
3363 @code{x} is @code{double}; conversions between signed and unsigned,
3364 like @code{unsigned ui = -1}; and conversions to smaller types, like
3365 @code{sqrtf (M_PI)}. Do not warn for explicit casts like @code{abs
3366 ((int) x)} and @code{ui = (unsigned) -1}, or if the value is not
3367 changed by the conversion like in @code{abs (2.0)}.
3368
3369 @item -Wempty-body
3370 @opindex Wempty-body
3371 An empty body occurs in an @samp{if} or @samp{else} statement. 
3372 This warning is also enabled by @option{-Wextra}.
3373
3374 @item -Wsign-compare
3375 @opindex Wsign-compare
3376 @cindex warning for comparison of signed and unsigned values
3377 @cindex comparison of signed and unsigned values, warning
3378 @cindex signed and unsigned values, comparison warning
3379 Warn when a comparison between signed and unsigned values could produce
3380 an incorrect result when the signed value is converted to unsigned.
3381 This warning is also enabled by @option{-Wextra}; to get the other warnings
3382 of @option{-Wextra} without this warning, use @samp{-Wextra -Wno-sign-compare}.
3383
3384 @item -Waggregate-return
3385 @opindex Waggregate-return
3386 Warn if any functions that return structures or unions are defined or
3387 called.  (In languages where you can return an array, this also elicits
3388 a warning.)
3389
3390 @item -Walways-true
3391 @opindex Walways-true
3392 Warn about comparisons which are always true such as testing if
3393 unsigned values are greater than or equal to zero.  This warning is
3394 enabled by @option{-Wall}.
3395
3396 @item -Wno-attributes
3397 @opindex Wno-attributes
3398 @opindex Wattributes
3399 Do not warn if an unexpected @code{__attribute__} is used, such as
3400 unrecognized attributes, function attributes applied to variables,
3401 etc.  This will not stop errors for incorrect use of supported
3402 attributes.
3403
3404 @item -Wstrict-prototypes @r{(C only)}
3405 @opindex Wstrict-prototypes
3406 Warn if a function is declared or defined without specifying the
3407 argument types.  (An old-style function definition is permitted without
3408 a warning if preceded by a declaration which specifies the argument
3409 types.)
3410
3411 @item -Wold-style-declaration @r{(C only)}
3412 @opindex Wold-style-declaration
3413 Warn for obsolescent usages, according to the C Standard, in a
3414 declaration. For example, warn if storage-class specifiers like
3415 @code{static} are not the first things in a declaration.  This warning
3416 is also enabled by @option{-Wextra}.
3417
3418 @item -Wold-style-definition @r{(C only)}
3419 @opindex Wold-style-definition
3420 Warn if an old-style function definition is used.  A warning is given
3421 even if there is a previous prototype.
3422
3423 @item -Wmissing-parameter-type @r{(C only)}
3424 @opindex Wmissing-parameter-type
3425 A function parameter is declared without a type specifier in K&R-style
3426 functions:
3427
3428 @smallexample
3429 void foo(bar) @{ @}
3430 @end smallexample
3431
3432 This warning is also enabled by @option{-Wextra}.
3433
3434 @item -Wmissing-prototypes @r{(C only)}
3435 @opindex Wmissing-prototypes
3436 Warn if a global function is defined without a previous prototype
3437 declaration.  This warning is issued even if the definition itself
3438 provides a prototype.  The aim is to detect global functions that fail
3439 to be declared in header files.
3440
3441 @item -Wmissing-declarations @r{(C and C++ only)}
3442 @opindex Wmissing-declarations
3443 Warn if a global function is defined without a previous declaration.
3444 Do so even if the definition itself provides a prototype.
3445 Use this option to detect global functions that are not declared in
3446 header files.  In C++, no warnings are issued for function templates,
3447 or for inline functions, or for functions in anonymous namespaces.
3448
3449 @item -Wmissing-field-initializers
3450 @opindex Wmissing-field-initializers
3451 @opindex W
3452 @opindex Wextra
3453 Warn if a structure's initializer has some fields missing.  For
3454 example, the following code would cause such a warning, because
3455 @code{x.h} is implicitly zero:
3456
3457 @smallexample
3458 struct s @{ int f, g, h; @};
3459 struct s x = @{ 3, 4 @};
3460 @end smallexample
3461
3462 This option does not warn about designated initializers, so the following
3463 modification would not trigger a warning:
3464
3465 @smallexample
3466 struct s @{ int f, g, h; @};
3467 struct s x = @{ .f = 3, .g = 4 @};
3468 @end smallexample
3469
3470 This warning is included in @option{-Wextra}.  To get other @option{-Wextra}
3471 warnings without this one, use @samp{-Wextra -Wno-missing-field-initializers}.
3472
3473 @item -Wmissing-noreturn
3474 @opindex Wmissing-noreturn
3475 Warn about functions which might be candidates for attribute @code{noreturn}.
3476 Note these are only possible candidates, not absolute ones.  Care should
3477 be taken to manually verify functions actually do not ever return before
3478 adding the @code{noreturn} attribute, otherwise subtle code generation
3479 bugs could be introduced.  You will not get a warning for @code{main} in
3480 hosted C environments.
3481
3482 @item -Wmissing-format-attribute
3483 @opindex Wmissing-format-attribute
3484 @opindex Wformat
3485 Warn about function pointers which might be candidates for @code{format}
3486 attributes.  Note these are only possible candidates, not absolute ones.
3487 GCC will guess that function pointers with @code{format} attributes that
3488 are used in assignment, initialization, parameter passing or return
3489 statements should have a corresponding @code{format} attribute in the
3490 resulting type.  I.e.@: the left-hand side of the assignment or
3491 initialization, the type of the parameter variable, or the return type
3492 of the containing function respectively should also have a @code{format}
3493 attribute to avoid the warning.
3494
3495 GCC will also warn about function definitions which might be
3496 candidates for @code{format} attributes.  Again, these are only
3497 possible candidates.  GCC will guess that @code{format} attributes
3498 might be appropriate for any function that calls a function like
3499 @code{vprintf} or @code{vscanf}, but this might not always be the
3500 case, and some functions for which @code{format} attributes are
3501 appropriate may not be detected.
3502
3503 @item -Wno-multichar
3504 @opindex Wno-multichar
3505 @opindex Wmultichar
3506 Do not warn if a multicharacter constant (@samp{'FOOF'}) is used.
3507 Usually they indicate a typo in the user's code, as they have
3508 implementation-defined values, and should not be used in portable code.
3509
3510 @item -Wnormalized=<none|id|nfc|nfkc>
3511 @opindex Wnormalized
3512 @cindex NFC
3513 @cindex NFKC
3514 @cindex character set, input normalization
3515 In ISO C and ISO C++, two identifiers are different if they are
3516 different sequences of characters.  However, sometimes when characters
3517 outside the basic ASCII character set are used, you can have two
3518 different character sequences that look the same.  To avoid confusion,
3519 the ISO 10646 standard sets out some @dfn{normalization rules} which
3520 when applied ensure that two sequences that look the same are turned into
3521 the same sequence.  GCC can warn you if you are using identifiers which
3522 have not been normalized; this option controls that warning.
3523
3524 There are four levels of warning that GCC supports.  The default is
3525 @option{-Wnormalized=nfc}, which warns about any identifier which is
3526 not in the ISO 10646 ``C'' normalized form, @dfn{NFC}.  NFC is the
3527 recommended form for most uses.
3528
3529 Unfortunately, there are some characters which ISO C and ISO C++ allow
3530 in identifiers that when turned into NFC aren't allowable as
3531 identifiers.  That is, there's no way to use these symbols in portable
3532 ISO C or C++ and have all your identifiers in NFC.
3533 @option{-Wnormalized=id} suppresses the warning for these characters.
3534 It is hoped that future versions of the standards involved will correct
3535 this, which is why this option is not the default.
3536
3537 You can switch the warning off for all characters by writing
3538 @option{-Wnormalized=none}.  You would only want to do this if you
3539 were using some other normalization scheme (like ``D''), because
3540 otherwise you can easily create bugs that are literally impossible to see.
3541
3542 Some characters in ISO 10646 have distinct meanings but look identical
3543 in some fonts or display methodologies, especially once formatting has
3544 been applied.  For instance @code{\u207F}, ``SUPERSCRIPT LATIN SMALL
3545 LETTER N'', will display just like a regular @code{n} which has been
3546 placed in a superscript.  ISO 10646 defines the @dfn{NFKC}
3547 normalization scheme to convert all these into a standard form as
3548 well, and GCC will warn if your code is not in NFKC if you use
3549 @option{-Wnormalized=nfkc}.  This warning is comparable to warning
3550 about every identifier that contains the letter O because it might be
3551 confused with the digit 0, and so is not the default, but may be
3552 useful as a local coding convention if the programming environment is
3553 unable to be fixed to display these characters distinctly.
3554
3555 @item -Wno-deprecated-declarations
3556 @opindex Wno-deprecated-declarations
3557 Do not warn about uses of functions (@pxref{Function Attributes}),
3558 variables (@pxref{Variable Attributes}), and types (@pxref{Type
3559 Attributes}) marked as deprecated by using the @code{deprecated}
3560 attribute.
3561
3562 @item -Wno-overflow
3563 @opindex Wno-overflow
3564 Do not warn about compile-time overflow in constant expressions.
3565
3566 @item -Woverride-init
3567 @opindex Woverride-init
3568 @opindex W
3569 @opindex Wextra
3570 Warn if an initialized field without side effects is overridden when
3571 using designated initializers (@pxref{Designated Inits, , Designated
3572 Initializers}).
3573
3574 This warning is included in @option{-Wextra}.  To get other
3575 @option{-Wextra} warnings without this one, use @samp{-Wextra
3576 -Wno-override-init}.
3577
3578 @item -Wpacked
3579 @opindex Wpacked
3580 Warn if a structure is given the packed attribute, but the packed
3581 attribute has no effect on the layout or size of the structure.
3582 Such structures may be mis-aligned for little benefit.  For
3583 instance, in this code, the variable @code{f.x} in @code{struct bar}
3584 will be misaligned even though @code{struct bar} does not itself
3585 have the packed attribute:
3586
3587 @smallexample
3588 @group
3589 struct foo @{
3590   int x;
3591   char a, b, c, d;
3592 @} __attribute__((packed));
3593 struct bar @{
3594   char z;
3595   struct foo f;
3596 @};
3597 @end group
3598 @end smallexample
3599
3600 @item -Wpadded
3601 @opindex Wpadded
3602 Warn if padding is included in a structure, either to align an element
3603 of the structure or to align the whole structure.  Sometimes when this
3604 happens it is possible to rearrange the fields of the structure to
3605 reduce the padding and so make the structure smaller.
3606
3607 @item -Wredundant-decls
3608 @opindex Wredundant-decls
3609 Warn if anything is declared more than once in the same scope, even in
3610 cases where multiple declaration is valid and changes nothing.
3611
3612 @item -Wnested-externs @r{(C only)}
3613 @opindex Wnested-externs
3614 Warn if an @code{extern} declaration is encountered within a function.
3615
3616 @item -Wunreachable-code
3617 @opindex Wunreachable-code
3618 Warn if the compiler detects that code will never be executed.
3619
3620 This option is intended to warn when the compiler detects that at
3621 least a whole line of source code will never be exe