OSDN Git Service

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