diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-02-19 09:31:03 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2021-02-23 11:33:14 +0100 |
commit | 014883f2f4cfc4fd64fe9aa5f561a971e2ed1345 (patch) | |
tree | 7738077335321874d76379435d596236f192d04c /flocq | |
parent | ed89275cb820bb7ab283c51e461d852d1c8bec63 (diff) | |
download | compcert-014883f2f4cfc4fd64fe9aa5f561a971e2ed1345.tar.gz compcert-014883f2f4cfc4fd64fe9aa5f561a971e2ed1345.zip |
Fix regression on PowerPC / Diab
On PowerPC/Diab, common declarations must not be used for small data sections.
Add a `~common` option to `PrintAsmaux.variable_section` to control
the use of common declarations. The default is whatever is specified
on the command line using the `-fcommon` and `-fno-common` options.
Use `~common:false` for `Section_small_data` on PowerPC / Diab.
Note that on PowerPC/Linux, GCC uses common declarations for uninitialized
variables in small data section, so we keep doing this in CompCert as well.
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions