diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:54:14 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:54:14 +0100 |
| commit | 4925303d4f8c011fbb40157cbf44e51a68f7aa2d (patch) | |
| tree | 3a327bf044ae3425bc3879d2083fd3414b9d4c12 /flocq/Core/Defs.v | |
| parent | c50680bb86564fe61db61e6140a418ccc7d36677 (diff) | |
| download | compcert-4925303d4f8c011fbb40157cbf44e51a68f7aa2d.tar.gz compcert-4925303d4f8c011fbb40157cbf44e51a68f7aa2d.zip | |
AArch64 / macOS: use __DATA,__CONST section instead of .const (temporary fix)
The .const section cannot contain absolute references to symbols,
as these may need relocation and therefore must be writable.
This should be fixed more generally by distinguishing between initialization
data that contains absolute references to symbols and initialization data
that does not.
Diffstat (limited to 'flocq/Core/Defs.v')
0 files changed, 0 insertions, 0 deletions