OSDN Git Service

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