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