OSDN Git Service

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