OSDN Git Service

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