OSDN Git Service

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