OSDN Git Service

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