OSDN Git Service

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