OSDN Git Service

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