OSDN Git Service

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