OSDN Git Service

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