diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-05 11:39:09 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-05 11:39:09 +0100 |
commit | 03112fe3624762c95bab7606eb8b1a56f6bab3db (patch) | |
tree | 1b2b2cb5a13f2d97d3e38602622a3f5a0d898b9f /cparser/Cprint.mli | |
parent | b5692de75c9c23105bac4a0b2510d868bb7c2631 (diff) | |
download | compcert-03112fe3624762c95bab7606eb8b1a56f6bab3db.tar.gz compcert-03112fe3624762c95bab7606eb8b1a56f6bab3db.zip |
Naming of compiler-generated temporaries
clightgen now gives semi-readable and relatively stable names of the form _t'1, _t'2, _t'3, etc, to compiler-generated temporaries, instead of the unreadable and unstable NNN%positive notation generated previously.
Diffstat (limited to 'cparser/Cprint.mli')
0 files changed, 0 insertions, 0 deletions