diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-05-10 14:46:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 14:46:05 +0200 |
commit | 1eaf745c5e4e32784a8e919b1a82d4d725036214 (patch) | |
tree | 475f1f146d9fc8937b6b7e5e866141dc7a9c2ab2 /doc/ccomp.1 | |
parent | 1e821bc1f1fb7a6b73ff1468b8b34f61b78cf304 (diff) | |
download | compcert-1eaf745c5e4e32784a8e919b1a82d4d725036214.tar.gz compcert-1eaf745c5e4e32784a8e919b1a82d4d725036214.zip |
Added options -fcommon and -fno-common (#164)
The option -fcommon controls whether uninitialized global
variables are placed in the COMMON section. If the option is given
in the negated form, -fno-common, variables are not placed in the
COMMON section. They are placed in the same sections as gcc does.
If the variables are not placed in the COMMON section merging of
tentative definitions is inhibited and multiple definitions lead
to a linker error, as it does for gcc.
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 36fe4e7b..1579beb9 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -180,6 +180,12 @@ Set alignment of function entry points to <n> bytes. The default alignment is 16 bytes for x86 targets and 4 bytes for ARM and PowerPC. . .TP +.BR \-fcommon ", " \-fno\-common +Turn on/off placement of global variables defined without an initializer (tentative definitions) in the common section. +Disabling the use of the common section inhibits merging of tentative definitions by the linker and may lead to multiple-definition errors. +Enabled by default. +. +.TP .BR \-ffpu ", " \-fno\-fpu Turn on/off use of FP registers for some integer operations. Enabled by default. |