After consultation on the core developers' list I am proposing this patch to remove support for compiler plugins.
The main motivations for removing compiler plugins are:
- They are a potential security risk.
- They increase the complexity of the build system and make maintenance of the Dynlink libraries more difficult (although actually, this complexity could probably be reduced after #2268 is merged).
- Many applications of plugins should be able to be expressed by building custom compiler drivers that link against compilerlibs.
* Remove compiler plugins and hooks
* Add new function Dynlink.unsafe_get_global_symbol but keep it outside the documented API.
* Remove otherlibs/dynlink/nodynlink.ml
* Update Changes
Mark PLT-clobbered registers as destroyed across the Ialloc instruction.
Currently only x86-64 is affected, in PIC mode only, and only with the glibc dynamic loader.
Mark Shinwell
Xavier Clerc
Damien Doligez
Damien Doligez
Alain Frisch