diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-15 12:32:26 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-15 12:37:02 +0200 |
| commit | 6f2b5713f8e378e6e074f35a537e86a497c64e35 (patch) | |
| tree | 87d80f8a4dd0de1f0594fc67c48ff26a58c68056 /Makefile.menhir | |
| parent | 9124c9231c11effae6e32d73c6c8af7c4032f928 (diff) | |
| download | compcert-6f2b5713f8e378e6e074f35a537e86a497c64e35.tar.gz compcert-6f2b5713f8e378e6e074f35a537e86a497c64e35.zip | |
Add interference for indirect calls.
Avoids problems with overwritting the registe containing the
function address.
Bug 19779
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions