OSDN Git Service

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