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 /Changelog | |
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 'Changelog')
0 files changed, 0 insertions, 0 deletions