OSDN Git Service

3836bc0efd2ac66e31b460247929adaa6b28248e
[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 -fopenmp -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-option
221
222 @item Warning Options
223 @xref{Warning Options,,Options to Request or Suppress Warnings}.
224 @gccoptlist{-fsyntax-only  -pedantic  -pedantic-errors @gol
225 -w  -Wextra  -Wall  -Waggregate-return -Walways-true -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-noaddr -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 -mkernel -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}
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 f95  f95-cpp-input
947 java
948 treelang
949 @end smallexample
950
951 @item -x none
952 Turn off any specification of a language, so that subsequent files are
953 handled according to their file name suffixes (as they are if @option{-x}
954 has not been used at all).
955
956 @item -pass-exit-codes
957 @opindex pass-exit-codes
958 Normally the @command{gcc} program will exit with the code of 1 if any
959 phase of the compiler returns a non-success return code.  If you specify
960 @option{-pass-exit-codes}, the @command{gcc} program will instead return with
961 numerically highest error produced by any phase that returned an error
962 indication.  The C, C++, and Fortran frontends return 4, if an internal
963 compiler error is encountered.
964 @end table
965
966 If you only want some of the stages of compilation, you can use
967 @option{-x} (or filename suffixes) to tell @command{gcc} where to start, and
968 one of the options @option{-c}, @option{-S}, or @option{-E} to say where
969 @command{gcc} is to stop.  Note that some combinations (for example,
970 @samp{-x cpp-output -E}) instruct @command{gcc} to do nothing at all.
971
972 @table @gcctabopt
973 @item -c
974 @opindex c
975 Compile or assemble the source files, but do not link.  The linking
976 stage simply is not done.  The ultimate output is in the form of an
977 object file for each source file.
978
979 By default, the object file name for a source file is made by replacing
980 the suffix @samp{.c}, @samp{.i}, @samp{.s}, etc., with @samp{.o}.
981
982 Unrecognized input files, not requiring compilation or assembly, are
983 ignored.
984
985 @item -S
986 @opindex S
987 Stop after the stage of compilation proper; do not assemble.  The output
988 is in the form of an assembler code file for each non-assembler input
989 file specified.
990
991 By default, the assembler file name for a source file is made by
992 replacing the suffix @samp{.c}, @samp{.i}, etc., with @samp{.s}.
993
994 Input files that don't require compilation are ignored.
995
996 @item -E
997 @opindex E
998 Stop after the preprocessing stage; do not run the compiler proper.  The
999 output is in the form of preprocessed source code, which is sent to the
1000 standard output.
1001
1002 Input files which don't require preprocessing are ignored.
1003
1004 @cindex output file option
1005 @item -o @var{file}
1006 @opindex o
1007 Place output in file @var{file}.  This applies regardless to whatever
1008 sort of output is being produced, whether it be an executable file,
1009 an object file, an assembler file or preprocessed C code.
1010
1011 If @option{-o} is not specified, the default is to put an executable
1012 file in @file{a.out}, the object file for
1013 @file{@var{source}.@var{suffix}} in @file{@var{source}.o}, its
1014 assembler file in @file{@var{source}.s}, a precompiled header file in
1015 @file{@var{source}.@var{suffix}.gch}, and all preprocessed C source on
1016 standard output.
1017
1018 @item -v
1019 @opindex v
1020 Print (on standard error output) the commands executed to run the stages
1021 of compilation.  Also print the version number of the compiler driver
1022 program and of the preprocessor and the compiler proper.
1023
1024 @item -###
1025 @opindex ###
1026 Like @option{-v} except the commands are not executed and all command
1027 arguments are quoted.  This is useful for shell scripts to capture the
1028 driver-generated command lines.
1029
1030 @item -pipe
1031 @opindex pipe
1032 Use pipes rather than temporary files for communication between the
1033 various stages of compilation.  This fails to work on some systems where
1034 the assembler is unable to read from a pipe; but the GNU assembler has
1035 no trouble.
1036
1037 @item -combine
1038 @opindex combine
1039 If you are compiling multiple source files, this option tells the driver
1040 to pass all the source files to the compiler at once (for those
1041 languages for which the compiler can handle this).  This will allow
1042 intermodule analysis (IMA) to be performed by the compiler.  Currently the only
1043 language for which this is supported is C@.  If you pass source files for
1044 multiple languages to the driver, using this option, the driver will invoke
1045 the compiler(s) that support IMA once each, passing each compiler all the
1046 source files appropriate for it.  For those languages that do not support
1047 IMA this option will be ignored, and the compiler will be invoked once for
1048 each source file in that language.  If you use this option in conjunction
1049 with @option{-save-temps}, the compiler will generate multiple
1050 pre-processed files
1051 (one for each source file), but only one (combined) @file{.o} or
1052 @file{.s} file.
1053
1054 @item --help
1055 @opindex help
1056 Print (on the standard output) a description of the command line options
1057 understood by @command{gcc}.  If the @option{-v} option is also specified
1058 then @option{--help} will also be passed on to the various processes
1059 invoked by @command{gcc}, so that they can display the command line options
1060 they accept.  If the @option{-Wextra} option is also specified then command
1061 line options which have no documentation associated with them will also
1062 be displayed.
1063
1064 @item --target-help
1065 @opindex target-help
1066 Print (on the standard output) a description of target specific command
1067 line options for each tool.
1068
1069 @item --version
1070 @opindex version
1071 Display the version number and copyrights of the invoked GCC@.
1072
1073 @include @value{srcdir}/../libiberty/at-file.texi
1074 @end table
1075
1076 @node Invoking G++
1077 @section Compiling C++ Programs
1078
1079 @cindex suffixes for C++ source
1080 @cindex C++ source file suffixes
1081 C++ source files conventionally use one of the suffixes @samp{.C},
1082 @samp{.cc}, @samp{.cpp}, @samp{.CPP}, @samp{.c++}, @samp{.cp}, or
1083 @samp{.cxx}; C++ header files often use @samp{.hh} or @samp{.H}; and
1084 preprocessed C++ files use the suffix @samp{.ii}.  GCC recognizes
1085 files with these names and compiles them as C++ programs even if you
1086 call the compiler the same way as for compiling C programs (usually
1087 with the name @command{gcc}).
1088
1089 @findex g++
1090 @findex c++
1091 However, the use of @command{gcc} does not add the C++ library.
1092 @command{g++} is a program that calls GCC and treats @samp{.c},
1093 @samp{.h} and @samp{.i} files as C++ source files instead of C source
1094 files unless @option{-x} is used, and automatically specifies linking
1095 against the C++ library.  This program is also useful when
1096 precompiling a C header file with a @samp{.h} extension for use in C++
1097 compilations.  On many systems, @command{g++} is also installed with
1098 the name @command{c++}.
1099
1100 @cindex invoking @command{g++}
1101 When you compile C++ programs, you may specify many of the same
1102 command-line options that you use for compiling programs in any
1103 language; or command-line options meaningful for C and related
1104 languages; or options that are meaningful only for C++ programs.
1105 @xref{C Dialect Options,,Options Controlling C Dialect}, for
1106 explanations of options for languages related to C@.
1107 @xref{C++ Dialect Options,,Options Controlling C++ Dialect}, for
1108 explanations of options that are meaningful only for C++ programs.
1109
1110 @node C Dialect Options
1111 @section Options Controlling C Dialect
1112 @cindex dialect options
1113 @cindex language dialect options
1114 @cindex options, dialect
1115
1116 The following options control the dialect of C (or languages derived
1117 from C, such as C++, Objective-C and Objective-C++) that the compiler
1118 accepts:
1119
1120 @table @gcctabopt
1121 @cindex ANSI support
1122 @cindex ISO support
1123 @item -ansi
1124 @opindex ansi
1125 In C mode, support all ISO C90 programs.  In C++ mode,
1126 remove GNU extensions that conflict with ISO C++.
1127
1128 This turns off certain features of GCC that are incompatible with ISO
1129 C90 (when compiling C code), or of standard C++ (when compiling C++ code),
1130 such as the @code{asm} and @code{typeof} keywords, and
1131 predefined macros such as @code{unix} and @code{vax} that identify the
1132 type of system you are using.  It also enables the undesirable and
1133 rarely used ISO trigraph feature.  For the C compiler,
1134 it disables recognition of C++ style @samp{//} comments as well as
1135 the @code{inline} keyword.
1136
1137 The alternate keywords @code{__asm__}, @code{__extension__},
1138 @code{__inline__} and @code{__typeof__} continue to work despite
1139 @option{-ansi}.  You would not want to use them in an ISO C program, of
1140 course, but it is useful to put them in header files that might be included
1141 in compilations done with @option{-ansi}.  Alternate predefined macros
1142 such as @code{__unix__} and @code{__vax__} are also available, with or
1143 without @option{-ansi}.
1144
1145 The @option{-ansi} option does not cause non-ISO programs to be
1146 rejected gratuitously.  For that, @option{-pedantic} is required in
1147 addition to @option{-ansi}.  @xref{Warning Options}.
1148
1149 The macro @code{__STRICT_ANSI__} is predefined when the @option{-ansi}
1150 option is used.  Some header files may notice this macro and refrain
1151 from declaring certain functions or defining certain macros that the
1152 ISO standard doesn't call for; this is to avoid interfering with any
1153 programs that might use these names for other things.
1154
1155 Functions which would normally be built in but do not have semantics
1156 defined by ISO C (such as @code{alloca} and @code{ffs}) are not built-in
1157 functions with @option{-ansi} is used.  @xref{Other Builtins,,Other
1158 built-in functions provided by GCC}, for details of the functions
1159 affected.
1160
1161 @item -std=
1162 @opindex std
1163 Determine the language standard.  This option is currently only
1164 supported when compiling C or C++.  A value for this option must be
1165 provided; possible values are
1166
1167 @table @samp
1168 @item c89
1169 @itemx iso9899:1990
1170 ISO C90 (same as @option{-ansi}).
1171
1172 @item iso9899:199409
1173 ISO C90 as modified in amendment 1.
1174
1175 @item c99
1176 @itemx c9x
1177 @itemx iso9899:1999
1178 @itemx iso9899:199x
1179 ISO C99.  Note that this standard is not yet fully supported; see
1180 @w{@uref{http://gcc.gnu.org/c99status.html}} for more information.  The
1181 names @samp{c9x} and @samp{iso9899:199x} are deprecated.
1182
1183 @item gnu89
1184 Default, ISO C90 plus GNU extensions (including some C99 features).
1185
1186 @item gnu99
1187 @itemx gnu9x
1188 ISO C99 plus GNU extensions.  When ISO C99 is fully implemented in GCC,
1189 this will become the default.  The name @samp{gnu9x} is deprecated.
1190
1191 @item c++98
1192 The 1998 ISO C++ standard plus amendments.
1193
1194 @item gnu++98
1195 The same as @option{-std=c++98} plus GNU extensions.  This is the
1196 default for C++ code.
1197 @end table
1198
1199 Even when this option is not specified, you can still use some of the
1200 features of newer standards in so far as they do not conflict with
1201 previous C standards.  For example, you may use @code{__restrict__} even
1202 when @option{-std=c99} is not specified.
1203
1204 The @option{-std} options specifying some version of ISO C have the same
1205 effects as @option{-ansi}, except that features that were not in ISO C90
1206 but are in the specified version (for example, @samp{//} comments and
1207 the @code{inline} keyword in ISO C99) are not disabled.
1208
1209 @xref{Standards,,Language Standards Supported by GCC}, for details of
1210 these standard versions.
1211
1212 @item -aux-info @var{filename}
1213 @opindex aux-info
1214 Output to the given filename prototyped declarations for all functions
1215 declared and/or defined in a translation unit, including those in header
1216 files.  This option is silently ignored in any language other than C@.
1217
1218 Besides declarations, the file indicates, in comments, the origin of
1219 each declaration (source file and line), whether the declaration was
1220 implicit, prototyped or unprototyped (@samp{I}, @samp{N} for new or
1221 @samp{O} for old, respectively, in the first character after the line
1222 number and the colon), and whether it came from a declaration or a
1223 definition (@samp{C} or @samp{F}, respectively, in the following
1224 character).  In the case of function definitions, a K&R-style list of
1225 arguments followed by their declarations is also provided, inside
1226 comments, after the declaration.
1227
1228 @item -fno-asm
1229 @opindex fno-asm
1230 Do not recognize @code{asm}, @code{inline} or @code{typeof} as a
1231 keyword, so that code can use these words as identifiers.  You can use
1232 the keywords @code{__asm__}, @code{__inline__} and @code{__typeof__}
1233 instead.  @option{-ansi} implies @option{-fno-asm}.
1234
1235 In C++, this switch only affects the @code{typeof} keyword, since
1236 @code{asm} and @code{inline} are standard keywords.  You may want to
1237 use the @option{-fno-gnu-keywords} flag instead, which has the same
1238 effect.  In C99 mode (@option{-std=c99} or @option{-std=gnu99}), this
1239 switch only affects the @code{asm} and @code{typeof} keywords, since
1240 @code{inline} is a standard keyword in ISO C99.
1241
1242 @item -fno-builtin
1243 @itemx -fno-builtin-@var{function}
1244 @opindex fno-builtin
1245 @cindex built-in functions
1246 Don't recognize built-in functions that do not begin with
1247 @samp{__builtin_} as prefix.  @xref{Other Builtins,,Other built-in
1248 functions provided by GCC}, for details of the functions affected,
1249 including those which are not built-in functions when @option{-ansi} or
1250 @option{-std} options for strict ISO C conformance are used because they
1251 do not have an ISO standard meaning.
1252
1253 GCC normally generates special code to handle certain built-in functions
1254 more efficiently; for instance, calls to @code{alloca} may become single
1255 instructions that adjust the stack directly, and calls to @code{memcpy}
1256 may become inline copy loops.  The resulting code is often both smaller
1257 and faster, but since the function calls no longer appear as such, you
1258 cannot set a breakpoint on those calls, nor can you change the behavior
1259 of the functions by linking with a different library.  In addition,
1260 when a function is recognized as a built-in function, GCC may use
1261 information about that function to warn about problems with calls to
1262 that function, or to generate more efficient code, even if the
1263 resulting code still contains calls to that function.  For example,
1264 warnings are given with @option{-Wformat} for bad calls to
1265 @code{printf}, when @code{printf} is built in, and @code{strlen} is
1266 known not to modify global memory.
1267
1268 With the @option{-fno-builtin-@var{function}} option
1269 only the built-in function @var{function} is
1270 disabled.  @var{function} must not begin with @samp{__builtin_}.  If a
1271 function is named this is not built-in in this version of GCC, this
1272 option is ignored.  There is no corresponding
1273 @option{-fbuiltin-@var{function}} option; if you wish to enable
1274 built-in functions selectively when using @option{-fno-builtin} or
1275 @option{-ffreestanding}, you may define macros such as:
1276
1277 @smallexample
1278 #define abs(n)          __builtin_abs ((n))
1279 #define strcpy(d, s)    __builtin_strcpy ((d), (s))
1280 @end smallexample
1281
1282 @item -fhosted
1283 @opindex fhosted
1284 @cindex hosted environment
1285
1286 Assert that compilation takes place in a hosted environment.  This implies
1287 @option{-fbuiltin}.  A hosted environment is one in which the
1288 entire standard library is available, and in which @code{main} has a return
1289 type of @code{int}.  Examples are nearly everything except a kernel.
1290 This is equivalent to @option{-fno-freestanding}.
1291
1292 @item -ffreestanding
1293 @opindex ffreestanding
1294 @cindex hosted environment
1295
1296 Assert that compilation takes place in a freestanding environment.  This
1297 implies @option{-fno-builtin}.  A freestanding environment
1298 is one in which the standard library may not exist, and program startup may
1299 not necessarily be at @code{main}.  The most obvious example is an OS kernel.
1300 This is equivalent to @option{-fno-hosted}.
1301
1302 @xref{Standards,,Language Standards Supported by GCC}, for details of
1303 freestanding and hosted environments.
1304
1305 @item -fopenmp
1306 @opindex fopenmp
1307 @cindex openmp parallel
1308 Enable handling of OpenMP directives @code{#pragma omp} in C/C++ and
1309 @code{!$omp} in Fortran.  When @option{-fopenmp} is specified, the
1310 compiler generates parallel code according to the OpenMP Application
1311 Program Interface v2.5 @w{@uref{http://www.openmp.org/}}.
1312
1313 @item -fms-extensions
1314 @opindex fms-extensions
1315 Accept some non-standard constructs used in Microsoft header files.
1316
1317 Some cases of unnamed fields in structures and unions are only
1318 accepted with this option.  @xref{Unnamed Fields,,Unnamed struct/union
1319 fields within structs/unions}, for details.
1320
1321 @item -trigraphs
1322 @opindex trigraphs
1323 Support ISO C trigraphs.  The @option{-ansi} option (and @option{-std}
1324 options for strict ISO C conformance) implies @option{-trigraphs}.
1325
1326 @item -no-integrated-cpp
1327 @opindex no-integrated-cpp
1328 Performs a compilation in two passes: preprocessing and compiling.  This
1329 option allows a user supplied "cc1", "cc1plus", or "cc1obj" via the
1330 @option{-B} option.  The user supplied compilation step can then add in
1331 an additional preprocessing step after normal preprocessing but before
1332 compiling.  The default is to use the integrated cpp (internal cpp)
1333
1334 The semantics of this option will change if "cc1", "cc1plus", and
1335 "cc1obj" are merged.
1336
1337 @cindex traditional C language
1338 @cindex C language, traditional
1339 @item -traditional
1340 @itemx -traditional-cpp
1341 @opindex traditional-cpp
1342 @opindex traditional
1343 Formerly, these options caused GCC to attempt to emulate a pre-standard
1344 C compiler.  They are now only supported with the @option{-E} switch.
1345 The preprocessor continues to support a pre-standard mode.  See the GNU
1346 CPP manual for details.
1347
1348 @item -fcond-mismatch
1349 @opindex fcond-mismatch
1350 Allow conditional expressions with mismatched types in the second and
1351 third arguments.  The value of such an expression is void.  This option
1352 is not supported for C++.
1353
1354 @item -funsigned-char
1355 @opindex funsigned-char
1356 Let the type @code{char} be unsigned, like @code{unsigned char}.
1357
1358 Each kind of machine has a default for what @code{char} should
1359 be.  It is either like @code{unsigned char} by default or like
1360 @code{signed char} by default.
1361
1362 Ideally, a portable program should always use @code{signed char} or
1363 @code{unsigned char} when it depends on the signedness of an object.
1364 But many programs have been written to use plain @code{char} and
1365 expect it to be signed, or expect it to be unsigned, depending on the
1366 machines they were written for.  This option, and its inverse, let you
1367 make such a program work with the opposite default.
1368
1369 The type @code{char} is always a distinct type from each of
1370 @code{signed char} or @code{unsigned char}, even though its behavior
1371 is always just like one of those two.
1372
1373 @item -fsigned-char
1374 @opindex fsigned-char
1375 Let the type @code{char} be signed, like @code{signed char}.
1376
1377 Note that this is equivalent to @option{-fno-unsigned-char}, which is
1378 the negative form of @option{-funsigned-char}.  Likewise, the option
1379 @option{-fno-signed-char} is equivalent to @option{-funsigned-char}.
1380
1381 @item -fsigned-bitfields
1382 @itemx -funsigned-bitfields
1383 @itemx -fno-signed-bitfields
1384 @itemx -fno-unsigned-bitfields
1385 @opindex fsigned-bitfields
1386 @opindex funsigned-bitfields
1387 @opindex fno-signed-bitfields
1388 @opindex fno-unsigned-bitfields
1389 These options control whether a bit-field is signed or unsigned, when the
1390 declaration does not use either @code{signed} or @code{unsigned}.  By
1391 default, such a bit-field is signed, because this is consistent: the
1392 basic integer types such as @code{int} are signed types.
1393 @end table
1394
1395 @node C++ Dialect Options
1396 @section Options Controlling C++ Dialect
1397
1398 @cindex compiler options, C++
1399 @cindex C++ options, command line
1400 @cindex options, C++
1401 This section describes the command-line options that are only meaningful
1402 for C++ programs; but you can also use most of the GNU compiler options
1403 regardless of what language your program is in.  For example, you
1404 might compile a file @code{firstClass.C} like this:
1405
1406 @smallexample
1407 g++ -g -frepo -O -c firstClass.C
1408 @end smallexample
1409
1410 @noindent
1411 In this example, only @option{-frepo} is an option meant
1412 only for C++ programs; you can use the other options with any
1413 language supported by GCC@.
1414
1415 Here is a list of options that are @emph{only} for compiling C++ programs:
1416
1417 @table @gcctabopt
1418
1419 @item -fabi-version=@var{n}
1420 @opindex fabi-version
1421 Use version @var{n} of the C++ ABI@.  Version 2 is the version of the
1422 C++ ABI that first appeared in G++ 3.4.  Version 1 is the version of
1423 the C++ ABI that first appeared in G++ 3.2.  Version 0 will always be
1424 the version that conforms most closely to the C++ ABI specification.
1425 Therefore, the ABI obtained using version 0 will change as ABI bugs
1426 are fixed.
1427
1428 The default is version 2.
1429
1430 @item -fno-access-control
1431 @opindex fno-access-control
1432 Turn off all access checking.  This switch is mainly useful for working
1433 around bugs in the access control code.
1434
1435 @item -fcheck-new
1436 @opindex fcheck-new
1437 Check that the pointer returned by @code{operator new} is non-null
1438 before attempting to modify the storage allocated.  This check is
1439 normally unnecessary because the C++ standard specifies that
1440 @code{operator new} will only return @code{0} if it is declared
1441 @samp{throw()}, in which case the compiler will always check the
1442 return value even without this option.  In all other cases, when
1443 @code{operator new} has a non-empty exception specification, memory
1444 exhaustion is signalled by throwing @code{std::bad_alloc}.  See also
1445 @samp{new (nothrow)}.
1446
1447 @item -fconserve-space
1448 @opindex fconserve-space
1449 Put uninitialized or runtime-initialized global variables into the
1450 common segment, as C does.  This saves space in the executable at the
1451 cost of not diagnosing duplicate definitions.  If you compile with this
1452 flag and your program mysteriously crashes after @code{main()} has
1453 completed, you may have an object that is being destroyed twice because
1454 two definitions were merged.
1455
1456 This option is no longer useful on most targets, now that support has
1457 been added for putting variables into BSS without making them common.
1458
1459 @item -ffriend-injection
1460 @opindex ffriend-injection
1461 Inject friend functions into the enclosing namespace, so that they are
1462 visible outside the scope of the class in which they are declared.
1463 Friend functions were documented to work this way in the old Annotated
1464 C++ Reference Manual, and versions of G++ before 4.1 always worked
1465 that way.  However, in ISO C++ a friend function which is not declared
1466 in an enclosing scope can only be found using argument dependent
1467 lookup.  This option causes friends to be injected as they were in
1468 earlier releases.
1469
1470 This option is for compatibility, and may be removed in a future
1471 release of G++.
1472
1473 @item -fno-elide-constructors
1474 @opindex fno-elide-constructors
1475 The C++ standard allows an implementation to omit creating a temporary
1476 which is only used to initialize another object of the same type.
1477 Specifying this option disables that optimization, and forces G++ to
1478 call the copy constructor in all cases.
1479
1480 @item -fno-enforce-eh-specs
1481 @opindex fno-enforce-eh-specs
1482 Don't generate code to check for violation of exception specifications
1483 at runtime.  This option violates the C++ standard, but may be useful
1484 for reducing code size in production builds, much like defining
1485 @samp{NDEBUG}.  This does not give user code permission to throw
1486 exceptions in violation of the exception specifications; the compiler
1487 will still optimize based on the specifications, so throwing an
1488 unexpected exception will result in undefined behavior.
1489
1490 @item -ffor-scope
1491 @itemx -fno-for-scope
1492 @opindex ffor-scope
1493 @opindex fno-for-scope
1494 If @option{-ffor-scope} is specified, the scope of variables declared in
1495 a @i{for-init-statement} is limited to the @samp{for} loop itself,
1496 as specified by the C++ standard.
1497 If @option{-fno-for-scope} is specified, the scope of variables declared in
1498 a @i{for-init-statement} extends to the end of the enclosing scope,
1499 as was the case in old versions of G++, and other (traditional)
1500 implementations of C++.
1501
1502 The default if neither flag is given to follow the standard,
1503 but to allow and give a warning for old-style code that would
1504 otherwise be invalid, or have different behavior.
1505
1506 @item -fno-gnu-keywords
1507 @opindex fno-gnu-keywords
1508 Do not recognize @code{typeof} as a keyword, so that code can use this
1509 word as an identifier.  You can use the keyword @code{__typeof__} instead.
1510 @option{-ansi} implies @option{-fno-gnu-keywords}.
1511
1512 @item -fno-implicit-templates
1513 @opindex fno-implicit-templates
1514 Never emit code for non-inline templates which are instantiated
1515 implicitly (i.e.@: by use); only emit code for explicit instantiations.
1516 @xref{Template Instantiation}, for more information.
1517
1518 @item -fno-implicit-inline-templates
1519 @opindex fno-implicit-inline-templates
1520 Don't emit code for implicit instantiations of inline templates, either.
1521 The default is to handle inlines differently so that compiles with and
1522 without optimization will need the same set of explicit instantiations.
1523
1524 @item -fno-implement-inlines
1525 @opindex fno-implement-inlines
1526 To save space, do not emit out-of-line copies of inline functions
1527 controlled by @samp{#pragma implementation}.  This will cause linker
1528 errors if these functions are not inlined everywhere they are called.
1529
1530 @item -fms-extensions
1531 @opindex fms-extensions
1532 Disable pedantic warnings about constructs used in MFC, such as implicit
1533 int and getting a pointer to member function via non-standard syntax.
1534
1535 @item -fno-nonansi-builtins
1536 @opindex fno-nonansi-builtins
1537 Disable built-in declarations of functions that are not mandated by
1538 ANSI/ISO C@.  These include @code{ffs}, @code{alloca}, @code{_exit},
1539 @code{index}, @code{bzero}, @code{conjf}, and other related functions.
1540
1541 @item -fno-operator-names
1542 @opindex fno-operator-names
1543 Do not treat the operator name keywords @code{and}, @code{bitand},
1544 @code{bitor}, @code{compl}, @code{not}, @code{or} and @code{xor} as
1545 synonyms as keywords.
1546
1547 @item -fno-optional-diags
1548 @opindex fno-optional-diags
1549 Disable diagnostics that the standard says a compiler does not need to
1550 issue.  Currently, the only such diagnostic issued by G++ is the one for
1551 a name having multiple meanings within a class.
1552
1553 @item -fpermissive
1554 @opindex fpermissive
1555 Downgrade some diagnostics about nonconformant code from errors to
1556 warnings.  Thus, using @option{-fpermissive} will allow some
1557 nonconforming code to compile.
1558
1559 @item -frepo
1560 @opindex frepo
1561 Enable automatic template instantiation at link time.  This option also
1562 implies @option{-fno-implicit-templates}.  @xref{Template
1563 Instantiation}, for more information.
1564
1565 @item -fno-rtti
1566 @opindex fno-rtti
1567 Disable generation of information about every class with virtual
1568 functions for use by the C++ runtime type identification features
1569 (@samp{dynamic_cast} and @samp{typeid}).  If you don't use those parts
1570 of the language, you can save some space by using this flag.  Note that
1571 exception handling uses the same information, but it will generate it as
1572 needed. The @samp{dynamic_cast} operator can still be used for casts that
1573 do not require runtime type information, i.e. casts to @code{void *} or to
1574 unambiguous base classes.
1575
1576 @item -fstats
1577 @opindex fstats
1578 Emit statistics about front-end processing at the end of the compilation.
1579 This information is generally only useful to the G++ development team.
1580
1581 @item -ftemplate-depth-@var{n}
1582 @opindex ftemplate-depth
1583 Set the maximum instantiation depth for template classes to @var{n}.
1584 A limit on the template instantiation depth is needed to detect
1585 endless recursions during template class instantiation.  ANSI/ISO C++
1586 conforming programs must not rely on a maximum depth greater than 17.
1587
1588 @item -fno-threadsafe-statics
1589 @opindex fno-threadsafe-statics
1590 Do not emit the extra code to use the routines specified in the C++
1591 ABI for thread-safe initialization of local statics.  You can use this
1592 option to reduce code size slightly in code that doesn't need to be
1593 thread-safe.
1594
1595 @item -fuse-cxa-atexit
1596 @opindex fuse-cxa-atexit
1597 Register destructors for objects with static storage duration with the
1598 @code{__cxa_atexit} function rather than the @code{atexit} function.
1599 This option is required for fully standards-compliant handling of static
1600 destructors, but will only work if your C library supports
1601 @code{__cxa_atexit}.
1602
1603 @item -fno-use-cxa-get-exception-ptr
1604 @opindex fno-use-cxa-get-exception-ptr
1605 Don't use the @code{__cxa_get_exception_ptr} runtime routine.  This
1606 will cause @code{std::uncaught_exception} to be incorrect, but is necessary
1607 if the runtime routine is not available.
1608
1609 @item -fvisibility-inlines-hidden
1610 @opindex fvisibility-inlines-hidden
1611 This switch declares that the user does not attempt to compare
1612 pointers to inline methods where the addresses of the two functions
1613 were taken in different shared objects.
1614
1615 The effect of this is that GCC may, effectively, mark inline methods with
1616 @code{__attribute__ ((visibility ("hidden")))} so that they do not
1617 appear in the export table of a DSO and do not require a PLT indirection
1618 when used within the DSO@.  Enabling this option can have a dramatic effect
1619 on load and link times of a DSO as it massively reduces the size of the
1620 dynamic export table when the library makes heavy use of templates.
1621
1622 The behaviour of this switch is not quite the same as marking the
1623 methods as hidden directly, because it does not affect static variables
1624 local to the function or cause the compiler to deduce that
1625 the function is defined in only one shared object.
1626
1627 You may mark a method as having a visibility explicitly to negate the
1628 effect of the switch for that method.  For example, if you do want to
1629 compare pointers to a particular inline method, you might mark it as
1630 having default visibility.  Marking the enclosing class with explicit
1631 visibility will have no effect.
1632
1633 Explicitly instantiated inline methods are unaffected by this option
1634 as their linkage might otherwise cross a shared library boundary.
1635 @xref{Template Instantiation}.
1636
1637 @item -fno-weak
1638 @opindex fno-weak
1639 Do not use weak symbol support, even if it is provided by the linker.
1640 By default, G++ will use weak symbols if they are available.  This
1641 option exists only for testing, and should not be used by end-users;
1642 it will result in inferior code and has no benefits.  This option may
1643 be removed in a future release of G++.
1644
1645 @item -nostdinc++
1646 @opindex nostdinc++
1647 Do not search for header files in the standard directories specific to
1648 C++, but do still search the other standard directories.  (This option
1649 is used when building the C++ library.)
1650 @end table
1651
1652 In addition, these optimization, warning, and code generation options
1653 have meanings only for C++ programs:
1654
1655 @table @gcctabopt
1656 @item -fno-default-inline
1657 @opindex fno-default-inline
1658 Do not assume @samp{inline} for functions defined inside a class scope.
1659 @xref{Optimize Options,,Options That Control Optimization}.  Note that these
1660 functions will have linkage like inline functions; they just won't be
1661 inlined by default.
1662
1663 @item -Wabi @r{(C++ only)}
1664 @opindex Wabi
1665 Warn when G++ generates code that is probably not compatible with the
1666 vendor-neutral C++ ABI@.  Although an effort has been made to warn about
1667 all such cases, there are probably some cases that are not warned about,
1668 even though G++ is generating incompatible code.  There may also be
1669 cases where warnings are emitted even though the code that is generated
1670 will be compatible.
1671
1672 You should rewrite your code to avoid these warnings if you are
1673 concerned about the fact that code generated by G++ may not be binary
1674 compatible with code generated by other compilers.
1675
1676 The known incompatibilities at this point include:
1677
1678 @itemize @bullet
1679
1680 @item
1681 Incorrect handling of tail-padding for bit-fields.  G++ may attempt to
1682 pack data into the same byte as a base class.  For example:
1683
1684 @smallexample
1685 struct A @{ virtual void f(); int f1 : 1; @};
1686 struct B : public A @{ int f2 : 1; @};
1687 @end smallexample
1688
1689 @noindent
1690 In this case, G++ will place @code{B::f2} into the same byte
1691 as@code{A::f1}; other compilers will not.  You can avoid this problem
1692 by explicitly padding @code{A} so that its size is a multiple of the
1693 byte size on your platform; that will cause G++ and other compilers to
1694 layout @code{B} identically.
1695
1696 @item
1697 Incorrect handling of tail-padding for virtual bases.  G++ does not use
1698 tail padding when laying out virtual bases.  For example:
1699
1700 @smallexample
1701 struct A @{ virtual void f(); char c1; @};
1702 struct B @{ B(); char c2; @};
1703 struct C : public A, public virtual B @{@};
1704 @end smallexample
1705
1706 @noindent
1707 In this case, G++ will not place @code{B} into the tail-padding for
1708 @code{A}; other compilers will.  You can avoid this problem by
1709 explicitly padding @code{A} so that its size is a multiple of its
1710 alignment (ignoring virtual base classes); that will cause G++ and other
1711 compilers to layout @code{C} identically.
1712
1713 @item
1714 Incorrect handling of bit-fields with declared widths greater than that
1715 of their underlying types, when the bit-fields appear in a union.  For
1716 example:
1717
1718 @smallexample
1719 union U @{ int i : 4096; @};
1720 @end smallexample
1721
1722 @noindent
1723 Assuming that an @code{int} does not have 4096 bits, G++ will make the
1724 union too small by the number of bits in an @code{int}.
1725
1726 @item
1727 Empty classes can be placed at incorrect offsets.  For example:
1728
1729 @smallexample
1730 struct A @{@};
1731
1732 struct B @{
1733   A a;
1734   virtual void f ();
1735 @};
1736
1737 struct C : public B, public A @{@};
1738 @end smallexample
1739
1740 @noindent
1741 G++ will place the @code{A} base class of @code{C} at a nonzero offset;
1742 it should be placed at offset zero.  G++ mistakenly believes that the
1743 @code{A} data member of @code{B} is already at offset zero.
1744
1745 @item
1746 Names of template functions whose types involve @code{typename} or
1747 template template parameters can be mangled incorrectly.
1748
1749 @smallexample
1750 template <typename Q>
1751 void f(typename Q::X) @{@}
1752
1753 template <template <typename> class Q>
1754 void f(typename Q<int>::X) @{@}
1755 @end smallexample
1756
1757 @noindent
1758 Instantiations of these templates may be mangled incorrectly.
1759
1760 @end itemize
1761
1762 @item -Wctor-dtor-privacy @r{(C++ only)}
1763 @opindex Wctor-dtor-privacy
1764 Warn when a class seems unusable because all the constructors or
1765 destructors in that class are private, and it has neither friends nor
1766 public static member functions.
1767
1768 @item -Wnon-virtual-dtor @r{(C++ only)}
1769 @opindex Wnon-virtual-dtor
1770 Warn when a class appears to be polymorphic, thereby requiring a virtual
1771 destructor, yet it declares a non-virtual one.  This warning is also
1772 enabled if -Weffc++ is specified.
1773
1774 @item -Wreorder @r{(C++ only)}
1775 @opindex Wreorder
1776 @cindex reordering, warning
1777 @cindex warning for reordering of member initializers
1778 Warn when the order of member initializers given in the code does not
1779 match the order in which they must be executed.  For instance:
1780
1781 @smallexample
1782 struct A @{
1783   int i;
1784   int j;
1785   A(): j (0), i (1) @{ @}
1786 @};
1787 @end smallexample
1788
1789 The compiler will rearrange the member initializers for @samp{i}
1790 and @samp{j} to match the declaration order of the members, emitting
1791 a warning to that effect.  This warning is enabled by @option{-Wall}.
1792 @end table
1793
1794 The following @option{-W@dots{}} options are not affected by @option{-Wall}.
1795
1796 @table @gcctabopt
1797 @item -Weffc++ @r{(C++ only)}
1798 @opindex Weffc++
1799 Warn about violations of the following style guidelines from Scott Meyers'
1800 @cite{Effective C++} book:
1801
1802 @itemize @bullet
1803 @item
1804 Item 11:  Define a copy constructor and an assignment operator for classes
1805 with dynamically allocated memory.
1806
1807 @item
1808 Item 12:  Prefer initialization to assignment in constructors.
1809
1810 @item
1811 Item 14:  Make destructors virtual in base classes.
1812
1813 @item
1814 Item 15:  Have @code{operator=} return a reference to @code{*this}.
1815
1816 @item
1817 Item 23:  Don't try to return a reference when you must return an object.
1818
1819 @end itemize
1820
1821 Also warn about violations of the following style guidelines from
1822 Scott Meyers' @cite{More Effective C++} book:
1823
1824 @itemize @bullet
1825 @item
1826 Item 6:  Distinguish between prefix and postfix forms of increment and
1827 decrement operators.
1828
1829 @item
1830 Item 7:  Never overload @code{&&}, @code{||}, or @code{,}.
1831
1832 @end itemize
1833
1834 When selecting this option, be aware that the standard library
1835 headers do not obey all of these guidelines; use @samp{grep -v}
1836 to filter out those warnings.
1837
1838 @item -Wno-deprecated @r{(C++ only)}
1839 @opindex Wno-deprecated
1840 Do not warn about usage of deprecated features.  @xref{Deprecated Features}.
1841
1842 @item -Wstrict-null-sentinel @r{(C++ only)}
1843 @opindex Wstrict-null-sentinel
1844 Warn also about the use of an uncasted @code{NULL} as sentinel.  When
1845 compiling only with GCC this is a valid sentinel, as @code{NULL} is defined
1846 to @code{__null}.  Although it is a null pointer constant not a null pointer,
1847 it is guaranteed to of the same size as a pointer.  But this use is
1848 not portable across different compilers.
1849
1850 @item -Wno-non-template-friend @r{(C++ only)}
1851 @opindex Wno-non-template-friend
1852 Disable warnings when non-templatized friend functions are declared
1853 within a template.  Since the advent of explicit template specification
1854 support in G++, if the name of the friend is an unqualified-id (i.e.,
1855 @samp{friend foo(int)}), the C++ language specification demands that the
1856 friend declare or define an ordinary, nontemplate function.  (Section
1857 14.5.3).  Before G++ implemented explicit specification, unqualified-ids
1858 could be interpreted as a particular specialization of a templatized
1859 function.  Because this non-conforming behavior is no longer the default
1860 behavior for G++, @option{-Wnon-template-friend} allows the compiler to
1861 check existing code for potential trouble spots and is on by default.
1862 This new compiler behavior can be turned off with
1863 @option{-Wno-non-template-friend} which keeps the conformant compiler code
1864 but disables the helpful warning.
1865
1866 @item -Wold-style-cast @r{(C++ only)}
1867 @opindex Wold-style-cast
1868 Warn if an old-style (C-style) cast to a non-void type is used within
1869 a C++ program.  The new-style casts (@samp{dynamic_cast},
1870 @samp{static_cast}, @samp{reinterpret_cast}, and @samp{const_cast}) are
1871 less vulnerable to unintended effects and much easier to search for.
1872
1873 @item -Woverloaded-virtual @r{(C++ only)}
1874 @opindex Woverloaded-virtual
1875 @cindex overloaded virtual fn, warning
1876 @cindex warning for overloaded virtual fn
1877 Warn when a function declaration hides virtual functions from a
1878 base class.  For example, in:
1879
1880 @smallexample
1881 struct A @{
1882   virtual void f();
1883 @};
1884
1885 struct B: public A @{
1886   void f(int);
1887 @};
1888 @end smallexample
1889
1890 the @code{A} class version of @code{f} is hidden in @code{B}, and code
1891 like:
1892
1893 @smallexample
1894 B* b;
1895 b->f();
1896 @end smallexample
1897
1898 will fail to compile.
1899
1900 @item -Wno-pmf-conversions @r{(C++ only)}
1901 @opindex Wno-pmf-conversions
1902 Disable the diagnostic for converting a bound pointer to member function
1903 to a plain pointer.
1904
1905 @item -Wsign-promo @r{(C++ only)}
1906 @opindex Wsign-promo
1907 Warn when overload resolution chooses a promotion from unsigned or
1908 enumerated type to a signed type, over a conversion to an unsigned type of
1909 the same size.  Previous versions of G++ would try to preserve
1910 unsignedness, but the standard mandates the current behavior.
1911
1912 @smallexample
1913 struct A @{
1914   operator int ();
1915   A& operator = (int);
1916 @};
1917
1918 main ()
1919 @{
1920   A a,b;
1921   a = b;
1922 @}
1923 @end smallexample
1924
1925 In this example, G++ will synthesize a default @samp{A& operator =
1926 (const A&);}, while cfront will use the user-defined @samp{operator =}.
1927 @end table
1928
1929 @node Objective-C and Objective-C++ Dialect Options
1930 @section Options Controlling Objective-C and Objective-C++ Dialects
1931
1932 @cindex compiler options, Objective-C and Objective-C++
1933 @cindex Objective-C and Objective-C++ options, command line
1934 @cindex options, Objective-C and Objective-C++
1935 (NOTE: This manual does not describe the Objective-C and Objective-C++
1936 languages themselves.  See @xref{Standards,,Language Standards
1937 Supported by GCC}, for references.)
1938
1939 This section describes the command-line options that are only meaningful
1940 for Objective-C and Objective-C++ programs, but you can also use most of
1941 the language-independent GNU compiler options.
1942 For example, you might compile a file @code{some_class.m} like this:
1943
1944 @smallexample
1945 gcc -g -fgnu-runtime -O -c some_class.m
1946 @end smallexample
1947
1948 @noindent
1949 In this example, @option{-fgnu-runtime} is an option meant only for
1950 Objective-C and Objective-C++ programs; you can use the other options with
1951 any language supported by GCC@.
1952
1953 Note that since Objective-C is an extension of the C language, Objective-C
1954 compilations may also use options specific to the C front-end (e.g.,
1955 @option{-Wtraditional}).  Similarly, Objective-C++ compilations may use
1956 C++-specific options (e.g., @option{-Wabi}).
1957
1958 Here is a list of options that are @emph{only} for compiling Objective-C
1959 and Objective-C++ programs:
1960
1961 @table @gcctabopt
1962 @item -fconstant-string-class=@var{class-name}
1963 @opindex fconstant-string-class
1964 Use @var{class-name} as the name of the class to instantiate for each
1965 literal string specified with the syntax @code{@@"@dots{}"}.  The default
1966 class name is @code{NXConstantString} if the GNU runtime is being used, and
1967 @code{NSConstantString} if the NeXT runtime is being used (see below).  The
1968 @option{-fconstant-cfstrings} option, if also present, will override the
1969 @option{-fconstant-string-class} setting and cause @code{@@"@dots{}"} literals
1970 to be laid out as constant CoreFoundation strings.
1971
1972 @item -fgnu-runtime
1973 @opindex fgnu-runtime
1974 Generate object code compatible with the standard GNU Objective-C
1975 runtime.  This is the default for most types of systems.
1976
1977 @item -fnext-runtime
1978 @opindex fnext-runtime
1979 Generate output compatible with the NeXT runtime.  This is the default
1980 for NeXT-based systems, including Darwin and Mac OS X@.  The macro
1981 @code{__NEXT_RUNTIME__} is predefined if (and only if) this option is
1982 used.
1983
1984 @item -fno-nil-receivers
1985 @opindex fno-nil-receivers
1986 Assume that all Objective-C message dispatches (e.g.,
1987 @code{[receiver message:arg]}) in this translation unit ensure that the receiver
1988 is not @code{nil}.  This allows for more efficient entry points in the runtime
1989 to be used.  Currently, this option is only available in conjunction with
1990 the NeXT runtime on Mac OS X 10.3 and later.
1991
1992 @item -fobjc-call-cxx-cdtors
1993 @opindex fobjc-call-cxx-cdtors
1994 For each Objective-C class, check if any of its instance variables is a
1995 C++ object with a non-trivial default constructor.  If so, synthesize a
1996 special @code{- (id) .cxx_construct} instance method that will run
1997 non-trivial default constructors on any such instance variables, in order,
1998 and then return @code{self}.  Similarly, check if any instance variable
1999 is a C++ object with a non-trivial destructor, and if so, synthesize a
2000 special @code{- (void) .cxx_destruct} method that will run
2001 all such default destructors, in reverse order.
2002
2003 The @code{- (id) .cxx_construct} and/or @code{- (void) .cxx_destruct} methods
2004 thusly generated will only operate on instance variables declared in the
2005 current Objective-C class, and not those inherited from superclasses.  It
2006 is the responsibility of the Objective-C runtime to invoke all such methods
2007 in an object's inheritance hierarchy.  The @code{- (id) .cxx_construct} methods
2008 will be invoked by the runtime immediately after a new object
2009 instance is allocated; the @code{- (void) .cxx_destruct} methods will
2010 be invoked immediately before the runtime deallocates an object instance.
2011
2012 As of this writing, only the NeXT runtime on Mac OS X 10.4 and later has
2013 support for invoking the @code{- (id) .cxx_construct} and
2014 @code{- (void) .cxx_destruct} methods.
2015
2016 @item -fobjc-direct-dispatch
2017 @opindex fobjc-direct-dispatch
2018 Allow fast jumps to the message dispatcher.  On Darwin this is
2019 accomplished via the comm page.
2020
2021 @item -fobjc-exceptions
2022 @opindex fobjc-exceptions
2023 Enable syntactic support for structured exception handling in Objective-C,
2024 similar to what is offered by C++ and Java.  This option is
2025 unavailable in conjunction with the NeXT runtime on Mac OS X 10.2 and
2026 earlier.
2027
2028 @smallexample
2029   @@try @{
2030     @dots{}
2031        @@throw expr;
2032     @dots{}
2033   @}
2034   @@catch (AnObjCClass *exc) @{
2035     @dots{}
2036       @@throw expr;
2037     @dots{}
2038       @@throw;
2039     @dots{}
2040   @}
2041   @@catch (AnotherClass *exc) @{
2042     @dots{}
2043   @}
2044   @@catch (id allOthers) @{
2045     @dots{}
2046   @}
2047   @@finally @{
2048     @dots{}
2049       @@throw expr;
2050     @dots{}
2051   @}
2052 @end smallexample
2053
2054 The @code{@@throw} statement may appear anywhere in an Objective-C or
2055 Objective-C++ program; when used inside of a @code{@@catch} block, the
2056 @code{@@throw} may appear without an argument (as shown above), in which case
2057 the object caught by the @code{@@catch} will be rethrown.
2058
2059 Note that only (pointers to) Objective-C objects may be thrown and
2060 caught using this scheme.  When an object is thrown, it will be caught
2061 by the nearest @code{@@catch} clause capable of handling objects of that type,
2062 analogously to how @code{catch} blocks work in C++ and Java.  A
2063 @code{@@catch(id @dots{})} clause (as shown above) may also be provided to catch
2064 any and all Objective-C exceptions not caught by previous @code{@@catch}
2065 clauses (if any).
2066
2067 The @code{@@finally} clause, if present, will be executed upon exit from the
2068 immediately preceding @code{@@try @dots{} @@catch} section.  This will happen
2069 regardless of whether any exceptions are thrown, caught or rethrown
2070 inside the @code{@@try @dots{} @@catch} section, analogously to the behavior
2071 of the @code{finally} clause in Java.
2072
2073 There are several caveats to using the new exception mechanism:
2074
2075 @itemize @bullet
2076 @item
2077 Although currently designed to be binary compatible with @code{NS_HANDLER}-style
2078 idioms provided by the @code{NSException} class, the new
2079 exceptions can only be used on Mac OS X 10.3 (Panther) and later
2080 systems, due to additional functionality needed in the (NeXT) Objective-C
2081 runtime.
2082
2083 @item
2084 As mentioned above, the new exceptions do not support handling
2085 types other than Objective-C objects.   Furthermore, when used from
2086 Objective-C++, the Objective-C exception model does not interoperate with C++
2087 exceptions at this time.  This means you cannot @code{@@throw} an exception
2088 from Objective-C and @code{catch} it in C++, or vice versa
2089 (i.e., @code{throw @dots{} @@catch}).
2090 @end itemize
2091
2092 The @option{-fobjc-exceptions} switch also enables the use of synchronization
2093 blocks for thread-safe execution:
2094
2095 @smallexample
2096   @@synchronized (ObjCClass *guard) @{
2097     @dots{}
2098   @}
2099 @end smallexample
2100
2101 Upon entering the @code{@@synchronized} block, a thread of execution shall
2102 first check whether a lock has been placed on the corresponding @code{guard}
2103 object by another thread.  If it has, the current thread shall wait until
2104 the other thread relinquishes its lock.  Once @code{guard} becomes available,
2105 the current thread will place its own lock on it, execute the code contained in
2106 the @code{@@synchronized} block, and finally relinquish the lock (thereby
2107 making @code{guard} available to other threads).
2108
2109 Unlike Java, Objective-C does not allow for entire methods to be marked
2110 @code{@@synchronized}.  Note that throwing exceptions out of
2111 @code{@@synchronized} blocks is allowed, and will cause the guarding object
2112 to be unlocked properly.
2113
2114 @item -fobjc-gc
2115 @opindex fobjc-gc
2116 Enable garbage collection (GC) in Objective-C and Objective-C++ programs.
2117
2118 @item -freplace-objc-classes
2119 @opindex freplace-objc-classes
2120 Emit a special marker instructing @command{ld(1)} not to statically link in
2121 the resulting object file, and allow @command{dyld(1)} to load it in at
2122 run time instead.  This is used in conjunction with the Fix-and-Continue
2123 debugging mode, where the object file in question may be recompiled and
2124 dynamically reloaded in the course of program execution, without the need
2125 to restart the program itself.  Currently, Fix-and-Continue functionality
2126 is only available in conjunction with the NeXT runtime on Mac OS X 10.3
2127 and later.
2128
2129 @item -fzero-link
2130 @opindex fzero-link
2131 When compiling for the NeXT runtime, the compiler ordinarily replaces calls
2132 to @code{objc_getClass("@dots{}")} (when the name of the class is known at
2133 compile time) with static class references that get initialized at load time,
2134 which improves run-time performance.  Specifying the @option{-fzero-link} flag
2135 suppresses this behavior and causes calls to @code{objc_getClass("@dots{}")}
2136 to be retained.  This is useful in Zero-Link debugging mode, since it allows
2137 for individual class implementations to be modified during program execution.
2138
2139 @item -gen-decls
2140 @opindex gen-decls
2141 Dump interface declarations for all classes seen in the source file to a
2142 file named @file{@var{sourcename}.decl}.
2143
2144 @item -Wassign-intercept
2145 @opindex Wassign-intercept
2146 Warn whenever an Objective-C assignment is being intercepted by the
2147 garbage collector.
2148
2149 @item -Wno-protocol
2150 @opindex Wno-protocol
2151 If a class is declared to implement a protocol, a warning is issued for
2152 every method in the protocol that is not implemented by the class.  The
2153 default behavior is to issue a warning for every method not explicitly
2154 implemented in the class, even if a method implementation is inherited
2155 from the superclass.  If you use the @option{-Wno-protocol} option, then
2156 methods inherited from the superclass are considered to be implemented,
2157 and no warning is issued for them.
2158
2159 @item -Wselector
2160 @opindex Wselector
2161 Warn if multiple methods of different types for the same selector are
2162 found during compilation.  The check is performed on the list of methods
2163 in the final stage of compilation.  Additionally, a check is performed
2164 for each selector appearing in a @code{@@selector(@dots{})}
2165 expression, and a corresponding method for that selector has been found
2166 during compilation.  Because these checks scan the method table only at
2167 the end of compilation, these warnings are not produced if the final
2168 stage of compilation is not reached, for example because an error is
2169 found during compilation, or because the @option{-fsyntax-only} option is
2170 being used.
2171
2172 @item -Wstrict-selector-match
2173 @opindex Wstrict-selector-match
2174 Warn if multiple methods with differing argument and/or return types are
2175 found for a given selector when attempting to send a message using this
2176 selector to a receiver of type @code{id} or @code{Class}.  When this flag
2177 is off (which is the default behavior), the compiler will omit such warnings
2178 if any differences found are confined to types which share the same size
2179 and alignment.
2180
2181 @item -Wundeclared-selector
2182 @opindex Wundeclared-selector
2183 Warn if a @code{@@selector(@dots{})} expression referring to an
2184 undeclared selector is found.  A selector is considered undeclared if no
2185 method with that name has been declared before the
2186 @code{@@selector(@dots{})} expression, either explicitly in an
2187 @code{@@interface} or @code{@@protocol} declaration, or implicitly in
2188 an @code{@@implementation} section.  This option always performs its
2189 checks as soon as a @code{@@selector(@dots{})} expression is found,
2190 while @option{-Wselector} only performs its checks in the final stage of
2191 compilation.  This also enforces the coding style convention
2192 that methods and selectors must be declared before being used.
2193
2194 @item -print-objc-runtime-info
2195 @opindex print-objc-runtime-info
2196 Generate C header describing the largest structure that is passed by
2197 value, if any.
2198
2199 @end table
2200
2201 @node Language Independent Options
2202 @section Options to Control Diagnostic Messages Formatting
2203 @cindex options to control diagnostics formatting
2204 @cindex diagnostic messages
2205 @cindex message formatting
2206
2207 Traditionally, diagnostic messages have been formatted irrespective of
2208 the output device's aspect (e.g.@: its width, @dots{}).  The options described
2209 below can be used to control the diagnostic messages formatting
2210 algorithm, e.g.@: how many characters per line, how often source location
2211 information should be reported.  Right now, only the C++ front end can
2212 honor these options.  However it is expected, in the near future, that
2213 the remaining front ends would be able to digest them correctly.
2214
2215 @table @gcctabopt
2216 @item -fmessage-length=@var{n}
2217 @opindex fmessage-length
2218 Try to format error messages so that they fit on lines of about @var{n}
2219 characters.  The default is 72 characters for @command{g++} and 0 for the rest of
2220 the front ends supported by GCC@.  If @var{n} is zero, then no
2221 line-wrapping will be done; each error message will appear on a single
2222 line.
2223
2224 @opindex fdiagnostics-show-location
2225 @item -fdiagnostics-show-location=once
2226 Only meaningful in line-wrapping mode.  Instructs the diagnostic messages
2227 reporter to emit @emph{once} source location information; that is, in
2228 case the message is too long to fit on a single physical line and has to
2229 be wrapped, the source location won't be emitted (as prefix) again,
2230 over and over, in subsequent continuation lines.  This is the default
2231 behavior.
2232
2233 @item -fdiagnostics-show-location=every-line
2234 Only meaningful in line-wrapping mode.  Instructs the diagnostic
2235 messages reporter to emit the same source location information (as
2236 prefix) for physical lines that result from the process of breaking
2237 a message which is too long to fit on a single line.
2238
2239 @item -fdiagnostics-show-option
2240 @opindex fdiagnostics-show-option
2241 This option instructs the diagnostic machinery to add text to each
2242 diagnostic emitted, which indicates which command line option directly
2243 controls that diagnostic, when such an option is known to the
2244 diagnostic machinery.
2245
2246 @end table
2247
2248 @node Warning Options
2249 @section Options to Request or Suppress Warnings
2250 @cindex options to control warnings
2251 @cindex warning messages
2252 @cindex messages, warning
2253 @cindex suppressing warnings
2254
2255 Warnings are diagnostic messages that report constructions which
2256 are not inherently erroneous but which are risky or suggest there
2257 may have been an error.
2258
2259 You can request many specific warnings with options beginning @samp{-W},
2260 for example @option{-Wimplicit} to request warnings on implicit
2261 declarations.  Each of these specific warning options also has a
2262 negative form beginning @samp{-Wno-} to turn off warnings;
2263 for example, @option{-Wno-implicit}.  This manual lists only one of the
2264 two forms, whichever is not the default.
2265
2266 The following options control the amount and kinds of warnings produced
2267 by GCC; for further, language-specific options also refer to
2268 @ref{C++ Dialect Options} and @ref{Objective-C and Objective-C++ Dialect
2269 Options}.
2270
2271 @table @gcctabopt
2272 @cindex syntax checking
2273 @item -fsyntax-only
2274 @opindex fsyntax-only
2275 Check the code for syntax errors, but don't do anything beyond that.
2276
2277 @item -pedantic
2278 @opindex pedantic
2279 Issue all the warnings demanded by strict ISO C and ISO C++;
2280 reject all programs that use forbidden extensions, and some other
2281 programs that do not follow ISO C and ISO C++.  For ISO C, follows the
2282 version of the ISO C standard specified by any @option{-std} option used.
2283
2284 Valid ISO C and ISO C++ programs should compile properly with or without
2285 this option (though a rare few will require @option{-ansi} or a
2286 @option{-std} option specifying the required version of ISO C)@.  However,
2287 without this option, certain GNU extensions and traditional C and C++
2288 features are supported as well.  With this option, they are rejected.
2289
2290 @option{-pedantic} does not cause warning messages for use of the
2291 alternate keywords whose names begin and end with @samp{__}.  Pedantic
2292 warnings are also disabled in the expression that follows
2293 @code{__extension__}.  However, only system header files should use
2294 these escape routes; application programs should avoid them.
2295 @xref{Alternate Keywords}.
2296
2297 Some users try to use @option{-pedantic} to check programs for strict ISO
2298 C conformance.  They soon find that it does not do quite what they want:
2299 it finds some non-ISO practices, but not all---only those for which
2300 ISO C @emph{requires} a diagnostic, and some others for which
2301 diagnostics have been added.
2302
2303 A feature to report any failure to conform to ISO C might be useful in
2304 some instances, but would require considerable additional work and would
2305 be quite different from @option{-pedantic}.  We don't have plans to
2306 support such a feature in the near future.
2307
2308 Where the standard specified with @option{-std} represents a GNU
2309 extended dialect of C, such as @samp{gnu89} or @samp{gnu99}, there is a
2310 corresponding @dfn{base standard}, the version of ISO C on which the GNU
2311 extended dialect is based.  Warnings from @option{-pedantic} are given
2312 where they are required by the base standard.  (It would not make sense
2313 for such warnings to be given only for features not in the specified GNU
2314 C dialect, since by definition the GNU dialects of C include all
2315 features the compiler supports with the given option, and there would be
2316 nothing to warn about.)
2317
2318 @item -pedantic-errors
2319 @opindex pedantic-errors
2320 Like @option{-pedantic}, except that errors are produced rather than
2321 warnings.
2322
2323 @item -w
2324 @opindex w
2325 Inhibit all warning messages.
2326
2327 @item -Wno-import
2328 @opindex Wno-import
2329 Inhibit warning messages about the use of @samp{#import}.
2330
2331 @item -Wchar-subscripts
2332 @opindex Wchar-subscripts
2333 Warn if an array subscript has type @code{char}.  This is a common cause
2334 of error, as programmers often forget that this type is signed on some
2335 machines.
2336 This warning is enabled by @option{-Wall}.
2337
2338 @item -Wcomment
2339 @opindex Wcomment
2340 Warn whenever a comment-start sequence @samp{/*} appears in a @samp{/*}
2341 comment, or whenever a Backslash-Newline appears in a @samp{//} comment.
2342 This warning is enabled by @option{-Wall}.
2343
2344 @item -Wfatal-errors
2345 @opindex Wfatal-errors
2346 This option causes the compiler to abort compilation on the first error
2347 occurred rather than trying to keep going and printing further error
2348 messages.
2349
2350 @item -Wformat
2351 @opindex Wformat
2352 @opindex ffreestanding
2353 @opindex fno-builtin
2354 Check calls to @code{printf} and @code{scanf}, etc., to make sure that
2355 the arguments supplied have types appropriate to the format string
2356 specified, and that the conversions specified in the format string make
2357 sense.  This includes standard functions, and others specified by format
2358 attributes (@pxref{Function Attributes}), in the @code{printf},
2359 @code{scanf}, @code{strftime} and @code{strfmon} (an X/Open extension,
2360 not in the C standard) families (or other target-specific families).
2361 Which functions are checked without format attributes having been
2362 specified depends on the standard version selected, and such checks of
2363 functions without the attribute specified are disabled by
2364 @option{-ffreestanding} or @option{-fno-builtin}.
2365
2366 The formats are checked against the format features supported by GNU
2367 libc version 2.2.  These include all ISO C90 and C99 features, as well
2368 as features from the Single Unix Specification and some BSD and GNU
2369 extensions.  Other library implementations may not support all these
2370 features; GCC does not support warning about features that go beyond a
2371 particular library's limitations.  However, if @option{-pedantic} is used
2372 with @option{-Wformat}, warnings will be given about format features not
2373 in the selected standard version (but not for @code{strfmon} formats,
2374 since those are not in any version of the C standard).  @xref{C Dialect
2375 Options,,Options Controlling C Dialect}.
2376
2377 Since @option{-Wformat} also checks for null format arguments for
2378 several functions, @option{-Wformat} also implies @option{-Wnonnull}.
2379
2380 @option{-Wformat} is included in @option{-Wall}.  For more control over some
2381 aspects of format checking, the options @option{-Wformat-y2k},
2382 @option{-Wno-format-extra-args}, @option{-Wno-format-zero-length},
2383 @option{-Wformat-nonliteral}, @option{-Wformat-security}, and
2384 @option{-Wformat=2} are available, but are not included in @option{-Wall}.
2385
2386 @item -Wformat-y2k
2387 @opindex Wformat-y2k
2388 If @option{-Wformat} is specified, also warn about @code{strftime}
2389 formats which may yield only a two-digit year.
2390
2391 @item -Wno-format-extra-args
2392 @opindex Wno-format-extra-args
2393 If @option{-Wformat} is specified, do not warn about excess arguments to a
2394 @code{printf} or @code{scanf} format function.  The C standard specifies
2395 that such arguments are ignored.
2396
2397 Where the unused arguments lie between used arguments that are
2398 specified with @samp{$} operand number specifications, normally
2399 warnings are still given, since the implementation could not know what
2400 type to pass to @code{va_arg} to skip the unused arguments.  However,
2401 in the case of @code{scanf} formats, this option will suppress the
2402 warning if the unused arguments are all pointers, since the Single
2403 Unix Specification says that such unused arguments are allowed.
2404
2405 @item -Wno-format-zero-length
2406 @opindex Wno-format-zero-length
2407 If @option{-Wformat} is specified, do not warn about zero-length formats.
2408 The C standard specifies that zero-length formats are allowed.
2409
2410 @item -Wformat-nonliteral
2411 @opindex Wformat-nonliteral
2412 If @option{-Wformat} is specified, also warn if the format string is not a
2413 string literal and so cannot be checked, unless the format function
2414 takes its format arguments as a @code{va_list}.
2415
2416 @item -Wformat-security
2417 @opindex Wformat-security
2418 If @option{-Wformat} is specified, also warn about uses of format
2419 functions that represent possible security problems.  At present, this
2420 warns about calls to @code{printf} and @code{scanf} functions where the
2421 format string is not a string literal and there are no format arguments,
2422 as in @code{printf (foo);}.  This may be a security hole if the format
2423 string came from untrusted input and contains @samp{%n}.  (This is
2424 currently a subset of what @option{-Wformat-nonliteral} warns about, but
2425 in future warnings may be added to @option{-Wformat-security} that are not
2426 included in @option{-Wformat-nonliteral}.)
2427
2428 @item -Wformat=2
2429 @opindex Wformat=2
2430 Enable @option{-Wformat} plus format checks not included in
2431 @option{-Wformat}.  Currently equivalent to @samp{-Wformat
2432 -Wformat-nonliteral -Wformat-security -Wformat-y2k}.
2433
2434 @item -Wnonnull
2435 @opindex Wnonnull
2436 Warn about passing a null pointer for arguments marked as
2437 requiring a non-null value by the @code{nonnull} function attribute.
2438
2439 @option{-Wnonnull} is included in @option{-Wall} and @option{-Wformat}.  It
2440 can be disabled with the @option{-Wno-nonnull} option.
2441
2442 @item -Winit-self @r{(C, C++, Objective-C and Objective-C++ only)}
2443 @opindex Winit-self
2444 Warn about uninitialized variables which are initialized with themselves.
2445 Note this option can only be used with the @option{-Wuninitialized} option,
2446 which in turn only works with @option{-O1} and above.
2447
2448 For example, GCC will warn about @code{i} being uninitialized in the
2449 following snippet only when @option{-Winit-self} has been specified:
2450 @smallexample
2451 @group
2452 int f()
2453 @{
2454   int i = i;
2455   return i;
2456 @}
2457 @end group
2458 @end smallexample
2459
2460 @item -Wimplicit-int
2461 @opindex Wimplicit-int
2462 Warn when a declaration does not specify a type.
2463 This warning is enabled by @option{-Wall}.
2464
2465 @item -Wimplicit-function-declaration
2466 @itemx -Werror-implicit-function-declaration
2467 @opindex Wimplicit-function-declaration
2468 @opindex Werror-implicit-function-declaration
2469 Give a warning (or error) whenever a function is used before being
2470 declared.  The form @option{-Wno-error-implicit-function-declaration}
2471 is not supported.
2472 This warning is enabled by @option{-Wall} (as a warning, not an error).
2473
2474 @item -Wimplicit
2475 @opindex Wimplicit
2476 Same as @option{-Wimplicit-int} and @option{-Wimplicit-function-declaration}.
2477 This warning is enabled by @option{-Wall}.
2478
2479 @item -Wmain
2480 @opindex Wmain
2481 Warn if the type of @samp{main} is suspicious.  @samp{main} should be a
2482 function with external linkage, returning int, taking either zero
2483 arguments, two, or three arguments of appropriate types.
2484 This warning is enabled by @option{-Wall}.
2485
2486 @item -Wmissing-braces
2487 @opindex Wmissing-braces
2488 Warn if an aggregate or union initializer is not fully bracketed.  In
2489 the following example, the initializer for @samp{a} is not fully
2490 bracketed, but that for @samp{b} is fully bracketed.
2491
2492 @smallexample
2493 int a[2][2] = @{ 0, 1, 2, 3 @};
2494 int b[2][2] = @{ @{ 0, 1 @}, @{ 2, 3 @} @};
2495 @end smallexample
2496
2497 This warning is enabled by @option{-Wall}.
2498
2499 @item -Wmissing-include-dirs @r{(C, C++, Objective-C and Objective-C++ only)}
2500 @opindex Wmissing-include-dirs
2501 Warn if a user-supplied include directory does not exist.
2502
2503 @item -Wparentheses
2504 @opindex Wparentheses
2505 Warn if parentheses are omitted in certain contexts, such
2506 as when there is an assignment in a context where a truth value
2507 is expected, or when operators are nested whose precedence people
2508 often get confused about.  Only the warning for an assignment used as
2509 a truth value is supported when compiling C++; the other warnings are
2510 only supported when compiling C@.
2511
2512 Also warn if a comparison like @samp{x<=y<=z} appears; this is
2513 equivalent to @samp{(x<=y ? 1 : 0) <= z}, which is a different
2514 interpretation from that of ordinary mathematical notation.
2515
2516 Also warn about constructions where there may be confusion to which
2517 @code{if} statement an @code{else} branch belongs.  Here is an example of
2518 such a case:
2519
2520 @smallexample
2521 @group
2522 @{
2523   if (a)
2524     if (b)
2525       foo ();
2526   else
2527     bar ();
2528 @}
2529 @end group
2530 @end smallexample
2531
2532 In C, every @code{else} branch belongs to the innermost possible @code{if}
2533 statement, which in this example is @code{if (b)}.  This is often not
2534 what the programmer expected, as illustrated in the above example by
2535 indentation the programmer chose.  When there is the potential for this
2536 confusion, GCC will issue a warning when this flag is specified.
2537 To eliminate the warning, add explicit braces around the innermost
2538 @code{if} statement so there is no way the @code{else} could belong to
2539 the enclosing @code{if}.  The resulting code would look like this:
2540
2541 @smallexample
2542 @group
2543 @{
2544   if (a)
2545     @{
2546       if (b)
2547         foo ();
2548       else
2549         bar ();
2550     @}
2551 @}
2552 @end group
2553 @end smallexample
2554
2555 This warning is enabled by @option{-Wall}.
2556
2557 @item -Wsequence-point
2558 @opindex Wsequence-point
2559 Warn about code that may have undefined semantics because of violations
2560 of sequence point rules in the C and C++ standards.
2561
2562 The C and C++ standards defines the order in which expressions in a C/C++
2563 program are evaluated in terms of @dfn{sequence points}, which represent
2564 a partial ordering between the execution of parts of the program: those
2565 executed before the sequence point, and those executed after it.  These
2566 occur after the evaluation of a full expression (one which is not part
2567 of a larger expression), after the evaluation of the first operand of a
2568 @code{&&}, @code{||}, @code{? :} or @code{,} (comma) operator, before a
2569 function is called (but after the evaluation of its arguments and the
2570 expression denoting the called function), and in certain other places.
2571 Other than as expressed by the sequence point rules, the order of
2572 evaluation of subexpressions of an expression is not specified.  All
2573 these rules describe only a partial order rather than a total order,
2574 since, for example, if two functions are called within one expression
2575 with no sequence point between them, the order in which the functions
2576 are called is not specified.  However, the standards committee have
2577 ruled that function calls do not overlap.
2578
2579 It is not specified when between sequence points modifications to the
2580 values of objects take effect.  Programs whose behavior depends on this
2581 have undefined behavior; the C and C++ standards specify that ``Between
2582 the previous and next sequence point an object shall have its stored
2583 value modified at most once by the evaluation of an expression.  
2584 Furthermore, the prior value shall be read only to determine the value
2585 to be stored.''.  If a program breaks these rules, the results on any
2586 particular implementation are entirely unpredictable.
2587
2588 Examples of code with undefined behavior are @code{a = a++;}, @code{a[n]
2589 = b[n++]} and @code{a[i++] = i;}.  Some more complicated cases are not
2590 diagnosed by this option, and it may give an occasional false positive
2591 result, but in general it has been found fairly effective at detecting
2592 this sort of problem in programs.
2593
2594 The standard is worded confusingly, therefore there is some debate
2595 over the precise meaning of the sequence point rules in subtle cases.
2596 Links to discussions of the problem, including proposed formal
2597 definitions, may be found on the GCC readings page, at
2598 @w{@uref{http://gcc.gnu.org/readings.html}}.
2599
2600 This warning is enabled by @option{-Wall} for C and C++.
2601
2602 @item -Wreturn-type
2603 @opindex Wreturn-type
2604 Warn whenever a function is defined with a return-type that defaults to
2605 @code{int}.  Also warn about any @code{return} statement with no
2606 return-value in a function whose return-type is not @code{void}.
2607
2608 For C, also warn if the return type of a function has a type qualifier
2609 such as @code{const}.  Such a type qualifier has no effect, since the
2610 value returned by a function is not an lvalue.  ISO C prohibits
2611 qualified @code{void} return types on function definitions, so such
2612 return types always receive a warning even without this option.
2613
2614 For C++, a function without return type always produces a diagnostic
2615 message, even when @option{-Wno-return-type} is specified.  The only
2616 exceptions are @samp{main} and functions defined in system headers.
2617
2618 This warning is enabled by @option{-Wall}.
2619
2620 @item -Wswitch
2621 @opindex Wswitch
2622 Warn whenever a @code{switch} statement has an index of enumerated type
2623 and lacks a @code{case} for one or more of the named codes of that
2624 enumeration.  (The presence of a @code{default} label prevents this
2625 warning.)  @code{case} labels outside the enumeration range also
2626 provoke warnings when this option is used.
2627 This warning is enabled by @option{-Wall}.
2628
2629 @item -Wswitch-default
2630 @opindex Wswitch-switch
2631 Warn whenever a @code{switch} statement does not have a @code{default}
2632 case.
2633
2634 @item -Wswitch-enum
2635 @opindex Wswitch-enum
2636 Warn whenever a @code{switch} statement has an index of enumerated type
2637 and lacks a @code{case} for one or more of the named codes of that
2638 enumeration.  @code{case} labels outside the enumeration range also
2639 provoke warnings when this option is used.
2640
2641 @item -Wtrigraphs
2642 @opindex Wtrigraphs
2643 Warn if any trigraphs are encountered that might change the meaning of
2644 the program (trigraphs within comments are not warned about).
2645 This warning is enabled by @option{-Wall}.
2646
2647 @item -Wunused-function
2648 @opindex Wunused-function
2649 Warn whenever a static function is declared but not defined or a
2650 non-inline static function is unused.
2651 This warning is enabled by @option{-Wall}.
2652
2653 @item -Wunused-label
2654 @opindex Wunused-label
2655 Warn whenever a label is declared but not used.
2656 This warning is enabled by @option{-Wall}.
2657
2658 To suppress this warning use the @samp{unused} attribute
2659 (@pxref{Variable Attributes}).
2660
2661 @item -Wunused-parameter
2662 @opindex Wunused-parameter
2663 Warn whenever a function parameter is unused aside from its declaration.
2664
2665 To suppress this warning use the @samp{unused} attribute
2666 (@pxref{Variable Attributes}).
2667
2668 @item -Wunused-variable
2669 @opindex Wunused-variable
2670 Warn whenever a local variable or non-constant static variable is unused
2671 aside from its declaration.
2672 This warning is enabled by @option{-Wall}.
2673
2674 To suppress this warning use the @samp{unused} attribute
2675 (@pxref{Variable Attributes}).
2676
2677 @item -Wunused-value
2678 @opindex Wunused-value
2679 Warn whenever a statement computes a result that is explicitly not used.
2680 This warning is enabled by @option{-Wall}.
2681
2682 To suppress this warning cast the expression to @samp{void}.
2683
2684 @item -Wunused
2685 @opindex Wunused
2686 All the above @option{-Wunused} options combined.
2687
2688 In order to get a warning about an unused function parameter, you must
2689 either specify @samp{-Wextra -Wunused} (note that @samp{-Wall} implies
2690 @samp{-Wunused}), or separately specify @option{-Wunused-parameter}.
2691
2692 @item -Wuninitialized
2693 @opindex Wuninitialized
2694 Warn if an automatic variable is used without first being initialized or
2695 if a variable may be clobbered by a @code{setjmp} call.
2696
2697 These warnings are possible only in optimizing compilation,
2698 because they require data flow information that is computed only
2699 when optimizing.  If you do not specify @option{-O}, you will not get 
2700 these warnings. Instead, GCC will issue a warning about @option{-Wuninitialized}
2701 requiring @option{-O}.
2702
2703 If you want to warn about code which uses the uninitialized value of the
2704 variable in its own initializer, use the @option{-Winit-self} option.
2705
2706 These warnings occur for individual uninitialized or clobbered
2707 elements of structure, union or array variables as well as for
2708 variables which are uninitialized or clobbered as a whole.  They do
2709 not occur for variables or elements declared @code{volatile}.  Because
2710 these warnings depend on optimization, the exact variables or elements
2711 for which there are warnings will depend on the precise optimization
2712 options and version of GCC used.
2713
2714 Note that there may be no warning about a variable that is used only
2715 to compute a value that itself is never used, because such
2716 computations may be deleted by data flow analysis before the warnings
2717 are printed.
2718
2719 These warnings are made optional because GCC is not smart
2720 enough to see all the reasons why the code might be correct
2721 despite appearing to have an error.  Here is one example of how
2722 this can happen:
2723
2724 @smallexample
2725 @group
2726 @{
2727   int x;
2728   switch (y)
2729     @{
2730     case 1: x = 1;
2731       break;
2732     case 2: x = 4;
2733       break;
2734     case 3: x = 5;
2735     @}
2736   foo (x);
2737 @}
2738 @end group
2739 @end smallexample
2740
2741 @noindent
2742 If the value of @code{y} is always 1, 2 or 3, then @code{x} is
2743 always initialized, but GCC doesn't know this.  Here is
2744 another common case:
2745
2746 @smallexample
2747 @{
2748   int save_y;
2749   if (change_y) save_y = y, y = new_y;
2750   @dots{}
2751   if (change_y) y = save_y;
2752 @}
2753 @end smallexample
2754
2755 @noindent
2756 This has no bug because @code{save_y} is used only if it is set.
2757
2758 @cindex @code{longjmp} warnings
2759 This option also warns when a non-volatile automatic variable might be
2760 changed by a call to @code{longjmp}.  These warnings as well are possible
2761 only in optimizing compilation.
2762
2763 The compiler sees only the calls to @code{setjmp}.  It cannot know
2764 where @code{longjmp} will be called; in fact, a signal handler could
2765 call it at any point in the code.  As a result, you may get a warning
2766 even when there is in fact no problem because @code{longjmp} cannot
2767 in fact be called at the place which would cause a problem.
2768
2769 Some spurious warnings can be avoided if you declare all the functions
2770 you use that never return as @code{noreturn}.  @xref{Function
2771 Attributes}.
2772
2773 This warning is enabled by @option{-Wall}.
2774
2775 @item -Wunknown-pragmas
2776 @opindex Wunknown-pragmas
2777 @cindex warning for unknown pragmas
2778 @cindex unknown pragmas, warning
2779 @cindex pragmas, warning of unknown
2780 Warn when a #pragma directive is encountered which is not understood by
2781 GCC@.  If this command line option is used, warnings will even be issued
2782 for unknown pragmas in system header files.  This is not the case if
2783 the warnings were only enabled by the @option{-Wall} command line option.
2784
2785 @item -Wno-pragmas
2786 @opindex Wno-pragmas
2787 @opindex Wpragmas
2788 Do not warn about misuses of pragmas, such as incorrect parameters,
2789 invalid syntax, or conflicts between pragmas.  See also
2790 @samp{-Wunknown-pragmas}.
2791
2792 @item -Wstrict-aliasing
2793 @opindex Wstrict-aliasing
2794 This option is only active when @option{-fstrict-aliasing} is active.
2795 It warns about code which might break the strict aliasing rules that the
2796 compiler is using for optimization.  The warning does not catch all
2797 cases, but does attempt to catch the more common pitfalls.  It is
2798 included in @option{-Wall}.
2799
2800 @item -Wstrict-aliasing=2
2801 @opindex Wstrict-aliasing=2
2802 This option is only active when @option{-fstrict-aliasing} is active.
2803 It warns about code which might break the strict aliasing rules that the
2804 compiler is using for optimization.  This warning catches more cases than
2805 @option{-Wstrict-aliasing}, but it will also give a warning for some ambiguous
2806 cases that are safe.
2807
2808 @item -Wall
2809 @opindex Wall
2810 All of the above @samp{-W} options combined.  This enables all the
2811 warnings about constructions that some users consider questionable, and
2812 that are easy to avoid (or modify to prevent the warning), even in
2813 conjunction with macros.  This also enables some language-specific
2814 warnings described in @ref{C++ Dialect Options} and
2815 @ref{Objective-C and Objective-C++ Dialect Options}.
2816 @end table
2817
2818 The following @option{-W@dots{}} options are not implied by @option{-Wall}.
2819 Some of them warn about constructions that users generally do not
2820 consider questionable, but which occasionally you might wish to check
2821 for; others warn about constructions that are necessary or hard to avoid
2822 in some cases, and there is no simple way to modify the code to suppress
2823 the warning.
2824
2825 @table @gcctabopt
2826 @item -Wextra
2827 @opindex W
2828 @opindex Wextra
2829 (This option used to be called @option{-W}.  The older name is still
2830 supported, but the newer name is more descriptive.)  Print extra warning
2831 messages for these events:
2832
2833 @itemize @bullet
2834 @item
2835 A function can return either with or without a value.  (Falling
2836 off the end of the function body is considered returning without
2837 a value.)  For example, this function would evoke such a
2838 warning:
2839
2840 @smallexample
2841 @group
2842 foo (a)
2843 @{
2844   if (a > 0)
2845     return a;
2846 @}
2847 @end group
2848 @end smallexample
2849
2850 @item
2851 An expression-statement or the left-hand side of a comma expression
2852 contains no side effects.
2853 To suppress the warning, cast the unused expression to void.
2854 For example, an expression such as @samp{x[i,j]} will cause a warning,
2855 but @samp{x[(void)i,j]} will not.
2856
2857 @item
2858 An unsigned value is compared against zero with @samp{<} or @samp{>=}.
2859
2860 @item
2861 Storage-class specifiers like @code{static} are not the first things in
2862 a declaration.  According to the C Standard, this usage is obsolescent.
2863
2864 @item
2865 If @option{-Wall} or @option{-Wunused} is also specified, warn about unused
2866 arguments.
2867
2868 @item
2869 A comparison between signed and unsigned values could produce an
2870 incorrect result when the signed value is converted to unsigned.
2871 (But don't warn if @option{-Wno-sign-compare} is also specified.)
2872
2873 @item
2874 An aggregate has an initializer which does not initialize all members.
2875 This warning can be independently controlled by
2876 @option{-Wmissing-field-initializers}.
2877
2878 @item
2879 An initialized field without side effects is overridden when using
2880 designated initializers (@pxref{Designated Inits, , Designated
2881 Initializers}).  This warning can be independently controlled by
2882 @option{-Woverride-init}.
2883
2884 @item
2885 A function parameter is declared without a type specifier in K&R-style
2886 functions:
2887
2888 @smallexample
2889 void foo(bar) @{ @}
2890 @end smallexample
2891
2892 @item
2893 An empty body occurs in an @samp{if} or @samp{else} statement.
2894
2895 @item
2896 A pointer is compared against integer zero with @samp{<}, @samp{<=},
2897 @samp{>}, or @samp{>=}.
2898
2899 @item
2900 A variable might be changed by @samp{longjmp} or @samp{vfork}.
2901
2902 @item
2903 Any of several floating-point events that often indicate errors, such as
2904 overflow, underflow, loss of precision, etc.
2905
2906 @item @r{(C++ only)}
2907 An enumerator and a non-enumerator both appear in a conditional expression.
2908
2909 @item @r{(C++ only)}
2910 A non-static reference or non-static @samp{const} member appears in a
2911 class without constructors.
2912
2913 @item @r{(C++ only)}
2914 Ambiguous virtual bases.
2915
2916 @item @r{(C++ only)}
2917 Subscripting an array which has been declared @samp{register}.
2918
2919 @item @r{(C++ only)}
2920 Taking the address of a variable which has been declared @samp{register}.
2921
2922 @item @r{(C++ only)}
2923 A base class is not initialized in a derived class' copy constructor.
2924 @end itemize
2925
2926 @item -Wno-div-by-zero
2927 @opindex Wno-div-by-zero
2928 @opindex Wdiv-by-zero
2929 Do not warn about compile-time integer division by zero.  Floating point
2930 division by zero is not warned about, as it can be a legitimate way of
2931 obtaining infinities and NaNs.
2932
2933 @item -Wsystem-headers
2934 @opindex Wsystem-headers
2935 @cindex warnings from system headers
2936 @cindex system headers, warnings from
2937 Print warning messages for constructs found in system header files.
2938 Warnings from system headers are normally suppressed, on the assumption
2939 that they usually do not indicate real problems and would only make the
2940 compiler output harder to read.  Using this command line option tells
2941 GCC to emit warnings from system headers as if they occurred in user
2942 code.  However, note that using @option{-Wall} in conjunction with this
2943 option will @emph{not} warn about unknown pragmas in system
2944 headers---for that, @option{-Wunknown-pragmas} must also be used.
2945
2946 @item -Wfloat-equal
2947 @opindex Wfloat-equal
2948 Warn if floating point values are used in equality comparisons.
2949
2950 The idea behind this is that sometimes it is convenient (for the
2951 programmer) to consider floating-point values as approximations to
2952 infinitely precise real numbers.  If you are doing this, then you need
2953 to compute (by analyzing the code, or in some other way) the maximum or
2954 likely maximum error that the computation introduces, and allow for it
2955 when performing comparisons (and when producing output, but that's a
2956 different problem).  In particular, instead of testing for equality, you
2957 would check to see whether the two values have ranges that overlap; and
2958 this is done with the relational operators, so equality comparisons are
2959 probably mistaken.
2960
2961 @item -Wtraditional @r{(C only)}
2962 @opindex Wtraditional
2963 Warn about certain constructs that behave differently in traditional and
2964 ISO C@.  Also warn about ISO C constructs that have no traditional C
2965 equivalent, and/or problematic constructs which should be avoided.
2966
2967 @itemize @bullet
2968 @item
2969 Macro parameters that appear within string literals in the macro body.
2970 In traditional C macro replacement takes place within string literals,
2971 but does not in ISO C@.
2972
2973 @item
2974 In traditional C, some preprocessor directives did not exist.
2975 Traditional preprocessors would only consider a line to be a directive
2976 if the @samp{#} appeared in column 1 on the line.  Therefore
2977 @option{-Wtraditional} warns about directives that traditional C
2978 understands but would ignore because the @samp{#} does not appear as the
2979 first character on the line.  It also suggests you hide directives like
2980 @samp{#pragma} not understood by traditional C by indenting them.  Some
2981 traditional implementations would not recognize @samp{#elif}, so it
2982 suggests avoiding it altogether.
2983
2984 @item
2985 A function-like macro that appears without arguments.
2986
2987 @item
2988 The unary plus operator.
2989
2990 @item
2991 The @samp{U} integer constant suffix, or the @samp{F} or @samp{L} floating point
2992 constant suffixes.  (Traditional C does support the @samp{L} suffix on integer
2993 constants.)  Note, these suffixes appear in macros defined in the system
2994 headers of most modern systems, e.g.@: the @samp{_MIN}/@samp{_MAX} macros in @code{<limits.h>}.
2995 Use of these macros in user code might normally lead to spurious
2996 warnings, however GCC's integrated preprocessor has enough context to
2997 avoid warning in these cases.
2998
2999 @item
3000 A function declared external in one block and then used after the end of
3001 the block.
3002
3003 @item
3004 A @code{switch} statement has an operand of type @code{long}.
3005
3006 @item
3007 A non-@code{static} function declaration follows a @code{static} one.
3008 This construct is not accepted by some traditional C compilers.
3009
3010 @item
3011 The ISO type of an integer constant has a different width or
3012 signedness from its traditional type.  This warning is only issued if
3013 the base of the constant is ten.  I.e.@: hexadecimal or octal values, which
3014 typically represent bit patterns, are not warned about.
3015
3016 @item
3017 Usage of ISO string concatenation is detected.
3018
3019 @item
3020 Initialization of automatic aggregates.
3021
3022 @item
3023 Identifier conflicts with labels.  Traditional C lacks a separate
3024 namespace for labels.
3025
3026 @item
3027 Initialization of unions.  If the initializer is zero, the warning is
3028 omitted.  This is done under the assumption that the zero initializer in
3029 user code appears conditioned on e.g.@: @code{__STDC__} to avoid missing
3030 initializer warnings and relies on default initialization to zero in the
3031 traditional C case.
3032
3033 @item
3034 Conversions by prototypes between fixed/floating point values and vice
3035 versa.  The absence of these prototypes when compiling with traditional
3036 C would cause serious problems.  This is a subset of the possible
3037 conversion warnings, for the full set use @option{-Wconversion}.
3038
3039 @item
3040 Use of ISO C style function definitions.  This warning intentionally is
3041 @emph{not} issued for prototype declarations or variadic functions
3042 because these ISO C features will appear in your code when using
3043 libiberty's traditional C compatibility macros, @code{PARAMS} and
3044 @code{VPARAMS}.  This warning is also bypassed for nested functions
3045 because that feature is already a GCC extension and thus not relevant to
3046 traditional C compatibility.
3047 @end itemize
3048
3049 @item -Wdeclaration-after-statement @r{(C only)}
3050 @opindex Wdeclaration-after-statement
3051 Warn when a declaration is found after a statement in a block.  This
3052 construct, known from C++, was introduced with ISO C99 and is by default
3053 allowed in GCC@.  It is not supported by ISO C90 and was not supported by
3054 GCC versions before GCC 3.0.  @xref{Mixed Declarations}.
3055
3056 @item -Wundef
3057 @opindex Wundef
3058 Warn if an undefined identifier is evaluated in an @samp{#if} directive.
3059
3060 @item -Wno-endif-labels
3061 @opindex Wno-endif-labels
3062 @opindex Wendif-labels
3063 Do not warn whenever an @samp{#else} or an @samp{#endif} are followed by text.
3064
3065 @item -Wshadow
3066 @opindex Wshadow
3067 Warn whenever a local variable shadows another local variable, parameter or
3068 global variable or whenever a built-in function is shadowed.
3069
3070 @item -Wlarger-than-@var{len}
3071 @opindex Wlarger-than
3072 Warn whenever an object of larger than @var{len} bytes is defined.
3073
3074 @item -Wunsafe-loop-optimizations
3075 @opindex Wunsafe-loop-optimizations
3076 Warn if the loop cannot be optimized because the compiler could not
3077 assume anything on the bounds of the loop indices.  With
3078 @option{-funsafe-loop-optimizations} warn if the compiler made
3079 such assumptions.
3080
3081 @item -Wpointer-arith
3082 @opindex Wpointer-arith
3083 Warn about anything that depends on the ``size of'' a function type or
3084 of @code{void}.  GNU C assigns these types a size of 1, for
3085 convenience in calculations with @code{void *} pointers and pointers
3086 to functions.
3087
3088 @item -Wbad-function-cast @r{(C only)}
3089 @opindex Wbad-function-cast
3090 Warn whenever a function call is cast to a non-matching type.
3091 For example, warn if @code{int malloc()} is cast to @code{anything *}.
3092
3093 @item -Wc++-compat
3094 Warn about ISO C constructs that are outside of the common subset of
3095 ISO C and ISO C++, e.g.@: request for implicit conversion from
3096 @code{void *} to a pointer to non-@code{void} type.
3097
3098 @item -Wcast-qual
3099 @opindex Wcast-qual
3100 Warn whenever a pointer is cast so as to remove a type qualifier from
3101 the target type.  For example, warn if a @code{const char *} is cast
3102 to an ordinary @code{char *}.
3103
3104 @item -Wcast-align
3105 @opindex Wcast-align
3106 Warn whenever a pointer is cast such that the required alignment of the
3107 target is increased.  For example, warn if a @code{char *} is cast to
3108 an @code{int *} on machines where integers can only be accessed at
3109 two- or four-byte boundaries.
3110
3111 @item -Wwrite-strings
3112 @opindex Wwrite-strings
3113 When compiling C, give string constants the type @code{const
3114 char[@var{length}]} so that
3115 copying the address of one into a non-@code{const} @code{char *}
3116 pointer will get a warning; when compiling C++, warn about the
3117 deprecated conversion from string literals to @code{char *}.  This
3118 warning, by default, is enabled for C++ programs.
3119 These warnings will help you find at
3120 compile time code that can try to write into a string constant, but
3121 only if you have been very careful about using @code{const} in
3122 declarations and prototypes.  Otherwise, it will just be a nuisance;
3123 this is why we did not make @option{-Wall} request these warnings.
3124
3125 @item -Wconversion
3126 @opindex Wconversion
3127 Warn if a prototype causes a type conversion that is different from what
3128 would happen to the same argument in the absence of a prototype.  This
3129 includes conversions of fixed point to floating and vice versa, and
3130 conversions changing the width or signedness of a fixed point argument
3131 except when the same as the default promotion.
3132
3133 Also, warn if a negative integer constant expression is implicitly
3134 converted to an unsigned type.  For example, warn about the assignment
3135 @code{x = -1} if @code{x} is unsigned.  But do not warn about explicit
3136 casts like @code{(unsigned) -1}.
3137
3138 @item -Wsign-compare
3139 @opindex Wsign-compare
3140 @cindex warning for comparison of signed and unsigned values
3141 @cindex comparison of signed and unsigned values, warning
3142 @cindex signed and unsigned values, comparison warning
3143 Warn when a comparison between signed and unsigned values could produce
3144 an incorrect result when the signed value is converted to unsigned.
3145 This warning is also enabled by @option{-Wextra}; to get the other warnings
3146 of @option{-Wextra} without this warning, use @samp{-Wextra -Wno-sign-compare}.
3147
3148 @item -Waggregate-return
3149 @opindex Waggregate-return
3150 Warn if any functions that return structures or unions are defined or
3151 called.  (In languages where you can return an array, this also elicits
3152 a warning.)
3153
3154 @item -Walways-true
3155 @opindex Walways-true
3156 Warn about comparisons which are always true such as testing if
3157 unsigned values are greater than or equal to zero.  This warning is
3158 enabled by @option{-Wall}.
3159
3160 @item -Wno-attributes
3161 @opindex Wno-attributes
3162 @opindex Wattributes
3163 Do not warn if an unexpected @code{__attribute__} is used, such as
3164 unrecognized attributes, function attributes applied to variables,
3165 etc.  This will not stop errors for incorrect use of supported
3166 attributes.
3167
3168 @item -Wstrict-prototypes @r{(C only)}
3169 @opindex Wstrict-prototypes
3170 Warn if a function is declared or defined without specifying the
3171 argument types.  (An old-style function definition is permitted without
3172 a warning if preceded by a declaration which specifies the argument
3173 types.)
3174
3175 @item -Wold-style-definition @r{(C only)}
3176 @opindex Wold-style-definition
3177 Warn if an old-style function definition is used.  A warning is given
3178 even if there is a previous prototype.
3179
3180 @item -Wmissing-prototypes @r{(C only)}
3181 @opindex Wmissing-prototypes
3182 Warn if a global function is defined without a previous prototype
3183 declaration.  This warning is issued even if the definition itself
3184 provides a prototype.  The aim is to detect global functions that fail
3185 to be declared in header files.
3186
3187 @item -Wmissing-declarations @r{(C only)}
3188 @opindex Wmissing-declarations
3189 Warn if a global function is defined without a previous declaration.
3190 Do so even if the definition itself provides a prototype.
3191 Use this option to detect global functions that are not declared in
3192 header files.
3193
3194 @item -Wmissing-field-initializers
3195 @opindex Wmissing-field-initializers
3196 @opindex W
3197 @opindex Wextra
3198 Warn if a structure's initializer has some fields missing.  For
3199 example, the following code would cause such a warning, because
3200 @code{x.h} is implicitly zero:
3201
3202 @smallexample
3203 struct s @{ int f, g, h; @};
3204 struct s x = @{ 3, 4 @};
3205 @end smallexample
3206
3207 This option does not warn about designated initializers, so the following
3208 modification would not trigger a warning:
3209
3210 @smallexample
3211 struct s @{ int f, g, h; @};
3212 struct s x = @{ .f = 3, .g = 4 @};
3213 @end smallexample
3214
3215 This warning is included in @option{-Wextra}.  To get other @option{-Wextra}
3216 warnings without this one, use @samp{-Wextra -Wno-missing-field-initializers}.
3217
3218 @item -Wmissing-noreturn
3219 @opindex Wmissing-noreturn
3220 Warn about functions which might be candidates for attribute @code{noreturn}.
3221 Note these are only possible candidates, not absolute ones.  Care should
3222 be taken to manually verify functions actually do not ever return before
3223 adding the @code{noreturn} attribute, otherwise subtle code generation
3224 bugs could be introduced.  You will not get a warning for @code{main} in
3225 hosted C environments.
3226
3227 @item -Wmissing-format-attribute
3228 @opindex Wmissing-format-attribute
3229 @opindex Wformat
3230 Warn about function pointers which might be candidates for @code{format}
3231 attributes.  Note these are only possible candidates, not absolute ones.
3232 GCC will guess that function pointers with @code{format} attributes that
3233 are used in assignment, initialization, parameter passing or return
3234 statements should have a corresponding @code{format} attribute in the
3235 resulting type.  I.e.@: the left-hand side of the assignment or
3236 initialization, the type of the parameter variable, or the return type
3237 of the containing function respectively should also have a @code{format}
3238 attribute to avoid the warning.
3239
3240 GCC will also warn about function definitions which might be
3241 candidates for @code{format} attributes.  Again, these are only
3242 possible candidates.  GCC will guess that @code{format} attributes
3243 might be appropriate for any function that calls a function like
3244 @code{vprintf} or @code{vscanf}, but this might not always be the
3245 case, and some functions for which @code{format} attributes are
3246 appropriate may not be detected.
3247
3248 @item -Wno-multichar
3249 @opindex Wno-multichar
3250 @opindex Wmultichar
3251 Do not warn if a multicharacter constant (@samp{'FOOF'}) is used.
3252 Usually they indicate a typo in the user's code, as they have
3253 implementation-defined values, and should not be used in portable code.
3254
3255 @item -Wnormalized=<none|id|nfc|nfkc>
3256 @opindex Wnormalized
3257 @cindex NFC
3258 @cindex NFKC
3259 @cindex character set, input normalization
3260 In ISO C and ISO C++, two identifiers are different if they are
3261 different sequences of characters.  However, sometimes when characters
3262 outside the basic ASCII character set are used, you can have two
3263 different character sequences that look the same.  To avoid confusion,
3264 the ISO 10646 standard sets out some @dfn{normalization rules} which
3265 when applied ensure that two sequences that look the same are turned into
3266 the same sequence.  GCC can warn you if you are using identifiers which
3267 have not been normalized; this option controls that warning.
3268
3269 There are four levels of warning that GCC supports.  The default is
3270 @option{-Wnormalized=nfc}, which warns about any identifier which is
3271 not in the ISO 10646 ``C'' normalized form, @dfn{NFC}.  NFC is the
3272 recommended form for most uses.
3273
3274 Unfortunately, there are some characters which ISO C and ISO C++ allow
3275 in identifiers that when turned into NFC aren't allowable as
3276 identifiers.  That is, there's no way to use these symbols in portable
3277 ISO C or C++ and have all your identifiers in NFC.
3278 @option{-Wnormalized=id} suppresses the warning for these characters.
3279 It is hoped that future versions of the standards involved will correct
3280 this, which is why this option is not the default.
3281
3282 You can switch the warning off for all characters by writing
3283 @option{-Wnormalized=none}.  You would only want to do this if you
3284 were using some other normalization scheme (like ``D''), because
3285 otherwise you can easily create bugs that are literally impossible to see.
3286
3287 Some characters in ISO 10646 have distinct meanings but look identical
3288 in some fonts or display methodologies, especially once formatting has
3289 been applied.  For instance @code{\u207F}, ``SUPERSCRIPT LATIN SMALL
3290 LETTER N'', will display just like a regular @code{n} which has been
3291 placed in a superscript.  ISO 10646 defines the @dfn{NFKC}
3292 normalization scheme to convert all these into a standard form as
3293 well, and GCC will warn if your code is not in NFKC if you use
3294 @option{-Wnormalized=nfkc}.  This warning is comparable to warning
3295 about every identifier that contains the letter O because it might be
3296 confused with the digit 0, and so is not the default, but may be
3297 useful as a local coding convention if the programming environment is
3298 unable to be fixed to display these characters distinctly.
3299
3300 @item -Wno-deprecated-declarations
3301 @opindex Wno-deprecated-declarations
3302 Do not warn about uses of functions (@pxref{Function Attributes}),
3303 variables (@pxref{Variable Attributes}), and types (@pxref{Type
3304 Attributes}) marked as deprecated by using the @code{deprecated}
3305 attribute.
3306
3307 @item -Wno-overflow
3308 @opindex Wno-overflow
3309 Do not warn about compile-time overflow in constant expressions.
3310
3311 @item -Woverride-init
3312 @opindex Woverride-init
3313 @opindex W
3314 @opindex Wextra
3315 Warn if an initialized field without side effects is overridden when
3316 using designated initializers (@pxref{Designated Inits, , Designated
3317 Initializers}).
3318
3319 This warning is included in @option{-Wextra}.  To get other
3320 @option{-Wextra} warnings without this one, use @samp{-Wextra
3321 -Wno-override-init}.
3322
3323 @item -Wpacked
3324 @opindex Wpacked
3325 Warn if a structure is given the packed attribute, but the packed
3326 attribute has no effect on the layout or size of the structure.
3327 Such structures may be mis-aligned for little benefit.  For
3328 instance, in this code, the variable @code{f.x} in @code{struct bar}
3329 will be misaligned even though @code{struct bar} does not itself
3330 have the packed attribute:
3331
3332 @smallexample
3333 @group
3334 struct foo @{
3335   int x;
3336   char a, b, c, d;
3337 @} __attribute__((packed));
3338 struct bar @{
3339   char z;
3340   struct foo f;
3341 @};
3342 @end group
3343 @end smallexample
3344
3345 @item -Wpadded
3346 @opindex Wpadded
3347 Warn if padding is included in a structure, either to align an element
3348 of the structure or to align the whole structure.  Sometimes when this
3349 happens it is possible to rearrange the fields of the structure to
3350 reduce the padding and so make the structure smaller.
3351
3352 @item -Wredundant-decls
3353 @opindex Wredundant-decls
3354 Warn if anything is declared more than once in the same scope, even in
3355 cases where multiple declaration is valid and changes nothing.
3356
3357 @item -Wnested-externs @r{(C only)}
3358 @opindex Wnested-externs
3359 Warn if an @code{extern} declaration is encountered within a function.
3360
3361 @item -Wunreachable-code
3362 @opindex Wunreachable-code
3363 Warn if the compiler detects that code will never be executed.
3364
3365 This option is intended to warn when the compiler detects that at
3366 least a whole line of source code will never be executed, because
3367 some condition is never satisfied or because it is after a
3368 procedure that never returns.
3369
3370 It is possible for this option to produce a warning even though there
3371 are circumstances under which part of the affected line can be executed,
3372 so care should be taken when removing apparently-unreachable code.
3373
3374 For instance, when a function is inlined, a warning may mean that the
3375 line is unreachable in only one inlined copy of the function.
3376
3377 This option is not made part of @option{-Wall} because in a debugging
3378 version of a program there is often substantial code which checks
3379 correct functioning of the program and is, hopefully, unreachable
3380 because the program does work.  Another common use of unreachable
3381 code is to provide behavior which is selectable at compile-time.
3382
3383 @item -Winline
3384 @opindex Winline
3385 Warn if a function can not be inlined and it was declared as inline.
3386 Even with this option, the compiler will not warn about failures to
3387 inline functions declared in system headers.
3388
3389 The compiler uses a variety of heuristics to determine whether or not
3390 to inline a function.  For example, the compiler takes into account
3391 the size of the function being inlined and the amount of inlining
3392 that has already been done in the current function.  Therefore,
3393 seemingly insignificant changes in the source program can cause the
3394 warnings produced by @option{-Winline} to appear or disappear.
3395
3396 @item -Wno-invalid-offsetof @r{(C++ only)}
3397 @opindex Wno-invalid-offsetof
3398 Suppress warnings from applying the @samp{offsetof} macro to a non-POD
3399 type.  According to the 1998 ISO C++ standard, applying @samp{offsetof}
3400 to a non-POD type is undefined.  In existing C++ implementations,
3401 however, @samp{offsetof} typically gives meaningful results even when
3402 applied to certain kinds of non-POD types. (Such as a simple
3403 @samp{struct} that fails to be a POD type only by virtue of having a
3404 constructor.)  This flag is for users who are aware that they are
3405 writing nonportable code and who have deliberately chosen to ignore the
3406 warning about it.
3407
3408 The restrictions on @samp{offsetof} may be relaxed in a future version
3409 of the C++ standard.
3410
3411 @item -Wno-int-to-pointer-cast @r{(C only)}
3412 @opindex Wno-int-to-pointer-cast
3413 Suppress warnings from casts to pointer type of an integer of a
3414 different size.
3415
3416 @item -Wno-pointer-to-int-cast @r{(C only)}
3417 @opindex Wno-pointer-to-int-cast
3418 Suppress warnings from casts from a pointer to an integer type of a
3419 different size.
3420
3421 @item -Winvalid-pch
3422 @opindex Winvalid-pch
3423 Warn if a precompiled header (@pxref{Precompiled Headers}) is found in
3424 the search path but can't be used.
3425
3426 @item -Wlong-long
3427 @opindex Wlong-long
3428 @opindex Wno-long-long
3429 Warn if @samp{long long} type is used.  This is default.  To inhibit
3430 the warning messages, use @option{-Wno-long-long}.  Flags
3431 @option{-Wlong-long} and @option{-Wno-long-long} are taken into account
3432 only when @option{-pedantic} flag is used.
3433
3434 @item -Wvariadic-macros
3435 @opindex Wvariadic-macros
3436 @opindex Wno-variadic-macros
3437 Warn if variadic macros are used in pedantic ISO C90 mode, or the GNU
3438 alternate syntax when in pedantic ISO C99 mode.  This is default.
3439 To inhibit the warning messages, use @option{-Wno-variadic-macros}.
3440
3441 @item -Wvolatile-register-var
3442 @opindex Wvolatile-register-var
3443 @opindex Wno-volatile-register-var
3444 Warn if a register variable is declared volatile.  The volatile
3445 modifier does not inhibit all optimizations that may eliminate reads
3446 and/or writes to register variables.
3447
3448 @item -Wdisabled-optimization
3449 @opindex Wdisabled-optimization
3450 Warn if a requested optimization pass is disabled.  This warning does
3451 not generally indicate that there is anything wrong with your code; it
3452 merely indicates that GCC's optimizers were unable to handle the code
3453 effectively.  Often, the problem is that your code is too big or too
3454 complex; GCC will refuse to optimize programs when the optimization
3455 itself is likely to take inordinate amounts of time.
3456
3457 @item -Wpointer-sign
3458 @opindex Wpointer-sign
3459 @opindex Wno-pointer-sign
3460 Warn for pointer argument passing or assignment with different signedness.
3461 This option is only supported for C and Objective-C@.  It is implied by
3462 @option{-Wall} and by @option{-pedantic}, which can be disabled with
3463 @option{-Wno-pointer-sign}.
3464
3465 @item -Werror
3466 @opindex Werror
3467 Make all warnings into errors.
3468
3469 @item -Werror=
3470 @opindex Werror=
3471 Make the specified warning into an errors.  The specifier for a
3472 warning is appended, for example @option{-Werror=switch} turns the
3473 warnings controlled by @option{-Wswitch} into errors.  This switch
3474 takes a negative form, to be used to negate @option{-Werror} for
3475 specific warnings, for example @option{-Wno-error=switch} makes
3476 @option{-Wswitch} warnings not be errors, even when @option{-Werror}
3477 is in effect.  You can use the @option{-fdiagnostics-show-option}
3478 option to have each controllable warning amended with the option which
3479 controls it, to determine what to use with this option.
3480
3481 Note that specifying @option{-Werror=}@var{foo} automatically implies
3482 @option{-W}@var{foo}.  However, @option{-Wno-error=}@var{foo} does not
3483 imply anything.
3484
3485 @item -Wstack-protector
3486 @opindex Wstack-protector
3487 This option is only active when @option{-fstack-protector} is active.  It
3488 warns about functions that will not be protected against stack smashing.
3489
3490 @item -Wstring-literal-comparison
3491 @opindex Wstring-literal-comparison
3492 Warn about suspicious comparisons to string literal constants.  In C,
3493 direct comparisons against the memory address of a string literal, such
3494 as @code{if (x == "abc")}, typically indicate a programmer error, and
3495 even when intentional, result in unspecified behavior and are not portable.
3496 Usually these warnings alert that the programmer intended to use
3497 @code{strcmp}.  This warning is enabled by @option{-Wall}.
3498
3499 @item -Woverlength-strings
3500 @opindex Woverlength-strings
3501 Warn about string constants which are longer than the ``minimum
3502 maximum'' length specified in the C standard.  Modern compilers
3503 generally allow string constants which are much longer than the
3504 standard's minimum limit, but very portable programs should avoid
3505 using longer strings.
3506
3507 The limit applies @emph{after} string constant concatenation, and does
3508 not count the trailing NUL@.  In C89, the limit was 509 characters; in
3509 C99, it was raised to 4095.  C++98 does not specify a normative
3510 minimum maximum, so we do not diagnose overlength strings in C++@.
3511
3512 This option is implied by @option{-pedantic}, and can be disabled with
3513 @option{-Wno-overlength-strings}.
3514 @end table
3515
3516 @node Debugging Options
3517 @section Options for Debugging Your Program or GCC
3518 @cindex options, debugging
3519 @cindex debugging information options
3520
3521 GCC has various special options that are used for debugging
3522 either your program or GCC:
3523
3524 @table @gcctabopt
3525 @item -g
3526 @opindex g
3527 Produce debugging information in the operating system's native format
3528 (stabs, COFF, XCOFF, or DWARF 2)@.  GDB can work with this debugging
3529 information.
3530
3531 On most systems that use stabs format, @option{-g} enables use of extra
3532 debugging information that only GDB can use; this extra information
3533 makes debugging work better in GDB but will probably make other debuggers
3534 crash or
3535 refuse to read the program.  If you want to control for certain whether
3536 to generate the extra information, use @option{-gstabs+}, @option{-gstabs},
3537 @option{-gxcoff+}, @option{-gxcoff}, or @option{-gvms} (see below).
3538
3539 GCC allows you to use @option{-g} with
3540 @option{-O}.  The shortcuts taken by optimized code may occasionally
3541 produce surprising results: some variables you declared may not exist
3542 at all; flow of control may briefly move where you did not expect it;
3543 some statements may not be executed because they compute constant
3544 results or their values were already at hand; some statements may
3545 execute in different places because they were moved out of loops.
3546
3547 Nevertheless it proves possible to debug optimized output.  This makes
3548 it reasonable to use the optimizer for programs that might have bugs.
3549
3550 The following options are useful when GCC is generated with the
3551 capability for more than one debugging format.
3552
3553 @item -ggdb
3554 @opindex ggdb
3555 Produce debugging information for use by GDB@.  This means to use the
3556 most expressive format available (DWARF 2, stabs, or the native format
3557 if neither of those are supported), including GDB extensions if at all
3558 possible.
3559
3560 @item -gstabs
3561 @opindex gstabs
3562 Produce debugging information in stabs format (if that is supported),
3563 without GDB extensions.  This is the format used by DBX on most BSD
3564 systems.  On MIPS, Alpha and System V Release 4 systems this option
3565 produces stabs debugging output which is not understood by DBX or SDB@.
3566 On System V Release 4 systems this option requires the GNU assembler.
3567
3568 @item -feliminate-unused-debug-symbols
3569 @opindex feliminate-unused-debug-symbols
3570 Produce debugging information in stabs format (if that is supported),
3571 for only symbols that are actually used.
3572
3573 @item -femit-class-debug-always
3574 Instead of emitting debugging information for a C++ class in only one
3575 object file, emit it in all object files using the class.  This option
3576 should be used only with debuggers that are unable to handle the way GCC
3577 normally emits debugging information for classes because using this
3578 option will increase the size of debugging information by as much as a
3579 factor of two.
3580
3581 @item -gstabs+
3582 @opindex gstabs+
3583 Produce debugging information in stabs format (if that is supported),
3584 using GNU extensions understood only by the GNU debugger (GDB)@.  The
3585 use of these extensions is likely to make other debuggers crash or
3586 refuse to read the program.
3587
3588 @item -gcoff
3589 @opindex gcoff
3590 Produce debugging information in COFF format (if that is supported).
3591 This is the format used by SDB on most System V systems prior to
3592 System V Release 4.
3593
3594 @item -gxcoff
3595 @opindex gxcoff
3596 Produce debugging information in XCOFF format (if that is supported).
3597 This is the format used by the DBX debugger on IBM RS/6000 systems.
3598
3599 @item -gxcoff+
3600 @opindex gxcoff+
3601 Produce debugging information in XCOFF format (if that is supported),
3602 using GNU extensions understood only by the GNU debugger (GDB)@.  The
3603 use of these extensions is likely to make other debuggers crash or
3604 refuse to read the program, and may cause assemblers other than the GNU
3605 assembler (GAS) to fail with an error.
3606
3607 @item -gdwarf-2
3608 @opindex gdwarf-2
3609 Produce debugging information in DWARF version 2 format (if that is
3610 supported).  This is the format used by DBX on IRIX 6.  With this
3611 option, GCC uses features of DWARF version 3 when they are useful;
3612 version 3 is upward compatible with version 2, but may still cause
3613 problems for older debuggers.
3614
3615 @item -gvms
3616 @opindex gvms
3617 Produce debugging information in VMS debug format (if that is
3618 supported).  This is the format used by DEBUG on VMS systems.
3619
3620 @item -g@var{level}
3621 @itemx -ggdb@var{level}
3622 @itemx -gstabs@var{level}
3623 @itemx -gcoff@var{level}