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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions