连接器选项(LINKER OPTION)
下面的选项用于编译器连接目标文件,输出可执行文件的时候.如果编译器不进行 连
接,他们就毫无意义.
object-file-name
如果某些文件没有特别明确的后缀a special recognized suffix, GCC就认为他们
是目标文件或库文件. (根据文件内容,连接器能够区分目标文件和库文件).如果GC
C执行连接操作,这些目标文件将成为连接器的输入文件.
-llibrary
连接名为library的库文件.
连接器在标准搜索目录中寻找这个库文件,库文件的真正名字是`liblibrary.a'.连
接器会 当做文件名得到准确说明一样引用这个文件.
搜索目录除了一些系统标准目录外,还包括用户以`-L'选项指定的路径.
一般说来用这个方法找到的文件是库文件---即由目标文件组成的归档文件(archiv
e file).连接器处理归档文件的 方法是:扫描归档文件,寻找某些成员,这些成员的
符号目前已被引用,不过还没有被定义.但是,如果连接器找到普通的 目标文件,而不
是库文件,就把这个目标文件按平常方式连接进来.指定`-l'选项和指定文件名的唯
一区别是, `-l选项用`lib'和`.a'把library包裹起来,而且搜索一些目录.
-lobjc
这个-l选项的特殊形式用于连接Objective C程序.
-nostartfiles
不连接系统标准启动文件,而标准库文件仍然正常使用.
-nostdlib
不连接系统标准启动文件和标准库文件.只把指定的文件传递给连接器.
-static
在支持动态连接(dynamic linking)的系统上,阻止连接共享库.该选项在其他系统上
无效.
-shared
生成一个共享目标文件,他可以和其他目标文件连接产生可执行文件.只有部分系统
支持该选项.
-symbolic
建立共享目标文件的时候,把引用绑定到全局符号上.对所有无法解析的引用作出警
告(除非用连接编辑选项 `-Xlinker -z -Xlinker defs'取代).只有部分系统支持该
选项.
-Xlinker option
把选项option传递给连接器.可以用他传递系统特定的连接选项, GNU CC无法识别这
些选项.
如果需要传递携带参数的选项,你必须使用两次`-Xlinker',一次传递选项,另一次传
递他的参数. 例如,如果传递`-assert definitions',你必须写成`-Xlinker -asse
rt -Xlinker definitions',而不能写成`-Xlinker "-assert definitions"',因为
这样会把整个 字符串当做一个参数传递,显然这不是连接器期待的.
-Wl,option
把选项option传递给连接器.如果option中含有逗号,就在逗号处分割成多个选项.
-u symbol
使连接器认为取消了symbol的符号定义,从而连接库模块以取得定义.你可以使用多
个 `-u'选项,各自跟上不同的符号,使得连接器调入附加的库模块.
目录选项(DIRECTORY OPTION)
下列选项指定搜索路径,用于查找头文件,库文件,或编译器的某些成员:
-Idir
在头文件的搜索路径列表中添加dir 目录.
-I-
任何在`-I-'前面用`-I'选项指定的搜索路径只适用于`#include "file"'这种情况
;他们不能用来搜索`#include '包含的头文件.
如果用`-I'选项指定的搜索路径位于`-I-'选项后面,就可以在这些路径中搜索所有
的 `#include'指令. (一般说来-I选项就是这么用的.)
还有, `-I-'选项能够阻止当前目录(存放当前输入文件的地方)成为搜索`#include
"file"'的第一选择.没有办法克服`-I-'选项的这个效应.你可以指定 `-I.'搜索那
个目录,它在调用编译器时是当前目录.这和预处理器的默认行为不完全一样,但是结
果通常 令人满意.
`-I-'不影响使用系统标准目录,因此, `-I-'和`-nostdinc'是不同的选项.
-Ldir
在`-l'选项的搜索路径列表中添加dir目录.
-Bprefix
这个选项指出在何处寻找可执行文件,库文件,以及编译器自己的数据文件.
编译器驱动程序需要执行某些下面的子程序: `cpp', `cc1' (或C++的 `cc1plus')
, `as'和`ld'.他把prefix当作欲执行的程序的 前缀,既可以包括也可以不包括`ma
chine/version/'.
对于要运行的子程序,编译器驱动程序首先试着加上`-B'前缀(如果存在).如果没有
找到文件,或没有指定 `-B'选项,编译器接着会试验两个标准前缀`/usr/lib/gcc/'
和 `/usr/local/lib/gcc-lib/'.如果仍然没能够找到所需文件,编译器就在`PATH'
环境变量 指定的路径中寻找没加任何前缀的文件名.
如果有需要,运行时(run-time)支持文件`libgcc.a'也在`-B'前缀的搜索范围之内.
如果这里没有找到,就在上面提到的两个标准前缀中寻找,仅此而已.如果上述方法
没有找到这个文件,就不连接他了.多数 情况的多数机器上, `libgcc.a'并非必不可
少.
你可以通过环境变量GCC_EXEC_PREFIX获得近似的效果;如果定义了这个变量,其值就
和上面说的 一样用做前缀.如果同时指定了`-B'选项和GCC_EXEC_PREFIX变量,编译
器首先使用 `-B'选项,然后才尝试环境变量值.
警告选项(WARNING OPTION)
警告是针对程序结构的诊断信息,程序不一定有错误,而是存在风险,或者可能存在
错误.
下列选项控制GNU CC产生的警告的数量和类型:
-fsyntax-only
检查程序中的语法错误,但是不产生输出信息.
-w
禁止所有警告信息.
-Wno-import
禁止所有关于#import的警告信息.
-pedantic
打开完全服从ANSI C标准所需的全部警告诊断;拒绝接受采用了被禁止的语法扩展的
程序.
无论有没有这个选项,符合ANSI C标准的程序应该能够被正确编译(虽然极少数程序
需要`-ansi' 选项).然而,如果没有这个选项,某些GNU扩展和传统C特性也得到支持
使用这个选项可以拒绝这些程序.没有理由 使用这个选项,他存在只是为了满足一
些书呆子(pedant).
对于替选关键字(他们以`__'开始和结束) `-pedantic'不会产生警告信息. Pedant
ic 也不警告跟在__extension__后面的表达式.不过只应该在系统头文件中使用这种
转义措施,应用程序最好 避免.
-pedantic-errors
该选项和`-pedantic'类似,但是显示错误而不是警告.
-W
对下列事件显示额外的警告信息:
*
非易变自动变量(nonvolatile automatic variable)可能在调用longjmp时发生改变
这些警告仅在优化编译时发生.
编译器只知道对setjmp的调用,他不可能知道会在哪里调用longjmp,事实上一个 信
号处理例程可以在程序的任何地点调用他.其结果是,即使程序没有问题,你也可能会
得到警告,因为无法在可能出现问题 的地方调用longjmp.
*
既可以返回值,也可以不返回值的函数. (缺少结尾的函数体被看作不返回函数值)例
如,下面的函数将导致这种警告:
foo (a)
{
if (a > 0)
return a;
}
由于GNU CC不知道某些函数永不返回(含有abort和longjmp),因此有可能出现 虚假
警告.
*
表达式语句或逗号表达式的左侧没有产生作用(side effect).如果要防止这种警告
,应该把未使用的表达式强制转换 为void类型.例如,这样的表达式`x[i,j]'会导致
警告,而`x[(void)i,j]'就不会.
*
无符号数用`>'或`<='和零做比较.
-Wimplicit-int
警告没有指定类型的声明.
-Wimplicit-function-declaration
警告在声明之前就使用的函数.
-Wimplicit
同-Wimplicit-int和-Wimplicit-function-declaration.
-Wmain
如果把main函数声明或定义成奇怪的类型,编译器就发出警告.典型情况下,这个函数
用于外部连接, 返回int数值,不需要参数,或指定两个参数.
-Wreturn-type
如果函数定义了返回类型,而默认类型是int型,编译器就发出警告.同时警告那些不
带返回值的 return语句,如果他们所属的函数并非void类型.
-Wunused
如果某个局部变量除了声明就没再使用,或者声明了静态函数但是没有定义,或者某
条语句的运算结果显然没有使用, 编译器就发出警告.
-Wswitch
如果某条switch语句的参数属于枚举类型,但是没有对应的case语句使用枚举元素,
编译器 就发出警告. ( default语句的出现能够防止这个警告.)超出枚举范围的ca
se语句同样会 导致这个警告.
-Wcomment
如果注释起始序列`/*'出现在注释中,编译器就发出警告.
-Wtrigraphs
警告任何出现的trigraph (假设允许使用他们).
-Wformat
检查对printf和scanf等函数的调用,确认各个参数类型和格式串中的一致.
-Wchar-subscripts
警告类型是char的数组下标.这是常见错误,程序员经常忘记在某些机器上char有符
号.
-Wuninitialized
在初始化之前就使用自动变量.
这些警告只可能做优化编译时出现,因为他们需要数据流信息,只有做优化的时候才
估算数据流信息.如果不指定 `-O'选项,就不会出现这些警告.
这些警告仅针对等候分配寄存器的变量.因此不会发生在声明为volatile的变量上面
,不会发生在已经 取得地址的变量,或长度不等于1, 2, 4, 8字节的变量.同样也不
会发生在结构,联合或数组上面,即使他们在 寄存器中.
注意,如果某个变量只计算了一个从未使用过的值,这里可能不会警告.因为在显示警
告之前,这样的计算已经被 数据流分析删除了.
这些警告作为可选项是因为GNU CC还没有智能到判别所有的情况,知道有些看上去错
误的代码其实是正确的.下面是 一个这样的例子:
{
int x;
switch (y)
{
case 1: x = 1;
break;
case 2: x = 4;
break;
case 3: x = 5;
}
foo (x);
}
如果y始终是1, 2或3,那么x总会被初始化,但是GNU CC不知道这一点.下面是 另一个
普遍案例:
{
int save_y;
if (change_y) save_y = y, y = new_y;
...
if (change_y) y = save_y;
}
这里没有错误,因为只有设置了save_y才使用他.
把所有不返回的函数定义为volatile可以避免某些似是而非的警告.
-Wparentheses
在某些情况下如果忽略了括号,编译器就发出警告.
-Wtemplate-debugging
当在C++程序中使用template的时候,如果调试(debugging)没有完全生效,编译器就
发出警告. (仅用于C++).
-Wall
结合所有上述的`-W'选项.通常我们建议避免这些被警告的用法，我们相信,恰当结
合宏的使用能够 轻易避免这些用法。
剩下的`-W...'选项不包括在`-Wall'中,因为我们认为在必要情况下,这些被编译器
警告 的程序结构,可以合理的用在"干净的"程序中.
-Wtraditional
如果某些程序结构在传统C中的表现和ANSI C不同,编译器就发出警告.
*
宏参出现在宏体的字符串常量内部.传统C会替换宏参,而ANSI C则视其为常量的一部
分.
*
某个函数在块(block)中声明为外部,但在块结束后才调用.
*
switch语句的操作数类型是long.
-Wshadow
一旦某个局部变量屏蔽了另一个局部变量,编译器就发出警告.
-Wid-clash-len
一旦两个确定的标识符具有相同的前len个字符,编译器就发出警告.他可以协助你开
发一些将要在某些 过时的,危害大脑的编译器上编译的程序.
-Wpointer-arith
任何语句如果依赖于函数类型的大小(size)或者void类型的大小,编译器就发出警告
GNU C为了 便于计算void *指针和函数指针,就把这些类型的大小定义为1.
-Wcast-qual
一旦某个指针强制类型转换以便移除类型修饰符时,编译器就发出警告.例如,如果把
const char * 强制转换为普通的char *时,警告就会出现.
-Wcast-align
一旦某个指针类型强制转换时,导致目标所需的地址对齐(alignment)增加,编译器就
发出警告.例如,某些机器上 只能在2或4字节边界上访问整数,如果在这种机型上把
char *强制转换成int *类型, 编译器就发出警告.
-Wwrite-strings
规定字符串常量的类型是const char[length],因此,把这样的地址复制给 non-con
st char *指针将产生警告.这些警告能够帮助你在编译期间发现企图写入字符串常
量 的代码,但是你必须非常仔细的在声明和原形中使用const,否则他们只能带来麻
烦;所以我们没有让 `-Wall'提供这些警告.
-Wconversion
如果某函数原形导致的类型转换和无函数原形时的类型转换不同,编译器就发出警告
这里包括定点数和浮点数的 互相转换,改变定点数的宽度或符号,除非他们和缺省
声明(default promotion)相同.
-Waggregate-return
如果定义或调用了返回结构或联合的函数,编译器就发出警告. (从语言角度你可以
返回一个数组,然而同样会 导致警告.)
-Wstrict-prototypes
如果函数的声明或定义没有指出参数类型,编译器就发出警告. (如果函数的前向引
用说明指出了参数类型,则允许后面 使用旧式风格的函数定义,而不会产生警告.)
-Wmissing-prototypes
如果没有预先声明函数原形就定义了全局函数,编译器就发出警告.即使函数定义自
身提供了函数原形也会产生这个警告. 他的目的是检查没有在头文件中声明的全局
函数.
-Wmissing-declarations
如果没有预先声明就定义了全局函数,编译器就发出警告.即使函数定义自身提供了
函数原形也会产生这个警告.这个选项 的目的是检查没有在头文件中声明的全局函
数.
-Wredundant-decls
如果在同一个可见域某定义多次声明,编译器就发出警告,即使这些重复声明有效并
且毫无差别.
-Wnested-externs
如果某extern声明出现在函数内部,编译器就发出警告.
-Wenum-clash
对于不同枚举类型之间的转换发出警告(仅适用于C++).
-Wlong-long
如果使用了long long 类型就发出警告.该警告是缺省项.使用`-Wno-long-long' 选
项能够防止这个警告. `-Wlong-long'和`-Wno-long-long'仅在 `-pedantic'之下才
起作用.
-Woverloaded-virtual
(仅适用于C++.)在继承类中,虚函数的定义必须匹配虚函数在基类中声明的类型特征
(type signature).当 继承类声明了某个函数,它可能是个错误的尝试企图定义一个
虚函数,使用这个选项能够产生警告:就是说,当某个函数和基类 中的虚函数同名,但
是类型特征不符合基类的任何虚函数,编译器将发出警告.
-Winline
如果某函数不能内嵌(inline),无论是声明为inline或者是指定了-finline-functi
ons 选项,编译器都将发出警告.
-Werror
视警告为错误;出现任何警告即放弃编译.
调试选项(DEBUGGING OPTION)
GNU CC拥有许多特别选项,既可以调试用户的程序,也可以对GCC排错:
-g
以操作系统的本地格式(stabs, COFF, XCOFF,或DWARF).产生调试信息. GDB能够使
用这些调试信息.
在大多数使用stabs格式的系统上, `-g'选项启动只有GDB才使用的额外调试信息;这
些信息使GDB 调试效果更好,但是有可能导致其他调试器崩溃,或拒绝读入程序.如果
你确定要控制是否生成额外的信息, 使用`-gstabs+', `-gstabs', `-gxcoff+', `
-gxcoff', `-gdwarf+',或`-gdwarf' (见下文).
和大多数C编译器不同, GNU CC允许结合使用`-g'和`-O'选项.优化的代码偶尔制造
一些惊异的结果:某些声明过的变量根本不存在;控制流程直接跑到没有预料到的地
方;某些语句因为计算结果是常量或已经确定而 没有执行;某些语句在其他地方执行
,因为他们被移到循环外面了.
然而它证明了调试优化的输出是可能的.对可能含有错误的程序使用优化器是合理的
如果GNU CC支持输出多种调试信息,下面的选项则非常有用.
-ggdb
以本地格式(如果支持)输出调试信息,尽可能包括GDB扩展.
-gstabs
以stabs格式(如果支持)输出调试信息,不包括GDB扩展.这是大多数BSD系统上DBX使
用的格式.
-gstabs+
以stabs格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使
用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序.
-gcoff
以COFF格式(如果支持)输出调试信息.这是在System V第四版以前的大多数System
V系统上SDB使用的 格式.
-gxcoff
以XCOFF格式(如果支持)输出调试信息.这是IBM RS/6000系统上DBX调试器使用的格
式.
-gxcoff+
以XCOFF格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使
用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序.
-gdwarf
以DWARF格式(如果支持)输出调试信息.这是大多数System V第四版系统上SDB使用的
格式.
-gdwarf+
以DWARF格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使
用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序.
-glevel
-ggdblevel
-gstabslevel
-gcofflevel -gxcofflevel
-gdwarflevel
请求生成调试信息,同时用level指出需要多少信息.默认的level值是2.
Level 1输出最少量的信息,仅够在不打算调试的程序段内backtrace.包括函数和外
部变量的描述,但是 没有局部变量和行号信息.
Level 3包含更多的信息,如程序中出现的所有宏定义.当使用`-g3'选项的时候,某些
调试器支持 宏扩展.
-p
产生额外代码,用于输出profile信息,供分析程序prof使用.
-pg
产生额外代码,用于输出profile信息,供分析程序gprof使用.
-a
产生额外代码,用于输出基本块(basic block)的profile信息,它记录各个基本块的
执行次数,供诸如 tcov此类的程序分析.但是注意,这个数据格式并非tcov期待的.最
终GNU gprof 将处理这些数据.
-ax
产生额外代码,用于从'bb.in'文件读取基本块的profile参数,把profile的结果写到
'bb.out' 文件. `bb.in'包含一张函数列表.一旦进入列表中的某个函数, profile
操作就开始,离开最外层的函数后, profile操作就结束.以`-'为前缀名的函数排除
在profile操作之外.如果函数名不是唯一的,它可以写成 `/path/filename.d:func
tionname'来澄清. `bb.out'将列出一些有效的文件名.这四个函数名具有 特殊含义
: `__bb_jumps__'导致跳转(jump)频率写进`bb.out'. `__bb_trace__'导致基本块
序列通过 管道传到`gzip',输出`bbtrace.gz'文件. `__bb_hidecall__'导致从跟踪
(trace)中排除call 指令. `__bb_showret__'导致在跟踪中包括返回指令.
-dletters
编译的时候,在letters指定的时刻做调试转储(dump).用于调试编译器.大多数转储
的文件名 通过源文件名添加字词获得(例如`foo.c.rtl'或`foo.c.jump').
-dM
预处理结束的时候转储所有的宏定义,不输出到文件.
-dN
预处理结束的时候转储所有的宏名.
-dD
预处理结束的时候转储所有的宏定义,同时进行正常输出.
-dy
语法分析(parse)的时候在标准错误转储调试信息.
-dr
RTL阶段后转储到`file.rtl'.
-dx
仅对函数生成RTL,而不是编译.通常和`r'联用.
-dj
第一次跳转优化后转储到`file.jump'.
-ds
CSE (包括有时候跟在CSE后面的跳转优化)后转储到`file.cse'.
-dL
循环优化后转储到`file.loop'.
-dt
第二次CSE处理(包括有时候跟在CSE后面的跳转优化)后转储到`file.cse2'.
-df
流程分析(flow analysis)后转储到`file.flow'.
-dc
指令组合(instruction combination)后转储到`file.combine'.
-dS
第一次指令安排(instruction schedule)后转储到`file.sched'.
-dl
局部寄存器分配后转储到`file.lreg'.
-dg
全局寄存器分配后转储到`file.greg'.
-dR
第二次指令安排(instruction schedule)后转储到`file.sched2'.
-dJ
最后一次跳转优化后转储到`file.jump2'.
-dd
推迟分支调度(delayed branch scheduling)后转储到`file.dbr'.
-dk
寄存器-堆栈转换后转储到`file.stack'.
-da
产生以上所有的转储.
-dm
运行结束后,在标准错误显示内存使用统计.
-dp
在汇编输出加注指明使用了哪些模式(pattern)及其替代模式.
-fpretend-float
交叉编译的时候,假定目标机和宿主机使用同样的浮点格式.它导致输出错误的浮点
常数,但是在目标机上运行的时候, 真实的指令序列有可能和GNU CC希望的一样.
-save-temps
保存那些通常是``临时''的中间文件;置于当前目录下,并且根据源文件命名.因此,
用`-c -save-temps'选项编译`foo.c '会生成` foo.cpp'和`foo.s' 以及`foo.o'文
件.
-print-file-name=library
显示库文件library的全路径名,连接时会使用这个库---其他什么事情都不作.根据
这个选项, GNU CC既不编译,也不连接,仅仅显示文件名.
| | |
