Preserve single quotes (e.g. in CPREPRO) when generating compcert.ini
Prevent constant propagation on Oindirectsymbol addresses.
(Otherwise they are turned into Oaddrsymbol or global addressing modes,
causing linking issues on MacOS X.)
Update the IA32/MacOS X port.
- Prefix symbols with _
- Print indirect symbol definitions
- Suppress __asm() macros in system header files