OSDN Git Service

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