OSDN Git Service

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