diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-05 11:38:04 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-05 11:38:04 +0100 |
commit | b5692de75c9c23105bac4a0b2510d868bb7c2631 (patch) | |
tree | 5d6489d2bc117be483997eef025a7e93503d1e76 /test/raytracer/Makefile | |
parent | abb704f93055a572a5078e04c5212ff051309730 (diff) | |
download | compcert-b5692de75c9c23105bac4a0b2510d868bb7c2631.tar.gz compcert-b5692de75c9c23105bac4a0b2510d868bb7c2631.zip |
Restart the name generator at first_unused_ident for every function.
This makes it easier to generate semi-meaningful names for compiler-generated temporaries in the clightgen tool.
Diffstat (limited to 'test/raytracer/Makefile')
0 files changed, 0 insertions, 0 deletions