diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-20 14:54:48 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-20 14:54:48 +0100 |
commit | 9f2ca1049957004161834090a697cd4118e2fb08 (patch) | |
tree | 48fbe0560962ea0a748cfa15edcbc63fa56bd252 /test/raytracer/gmllexer.h | |
parent | 28d7ff1fef9a47206114773d38e04361dc49820b (diff) | |
download | compcert-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 'test/raytracer/gmllexer.h')
0 files changed, 0 insertions, 0 deletions