aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile.extr
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-01-20 14:54:48 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2015-01-20 14:54:48 +0100
commit9f2ca1049957004161834090a697cd4118e2fb08 (patch)
tree48fbe0560962ea0a748cfa15edcbc63fa56bd252 /Makefile.extr
parent28d7ff1fef9a47206114773d38e04361dc49820b (diff)
downloadcompcert-9f2ca1049957004161834090a697cd4118e2fb08.tar.gz
compcert-9f2ca1049957004161834090a697cd4118e2fb08.zip
Protect against redefinition of the __i64_xxx helper library functions.
This is achieved by declaring these functions in C2C.ml, then re-checking their declarations in the global environment during the Selection pass. In passing, the "hf" parameter for SelectLong functions was removed and replaced by fixed identifiers corresponding to the actual names of the helper functions.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions