diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:30:51 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:30:51 +0100 |
| commit | 4d1e02eb67a027d968979ed37f9d90426c634ccd (patch) | |
| tree | 6e493a4ce7772095023572920221cf23ff4a27f6 /configure | |
| parent | 866e612bf63568cbe9871bb1d6724323493651e7 (diff) | |
| download | compcert-4d1e02eb67a027d968979ed37f9d90426c634ccd.tar.gz compcert-4d1e02eb67a027d968979ed37f9d90426c634ccd.zip | |
Prevent constant propagation on Oindirectsymbol addresses.
(Otherwise they are turned into Oaddrsymbol or global addressing modes,
causing linking issues on MacOS X.)
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions