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