diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 16:36:16 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 16:36:16 +0200 |
| commit | b0c47e12f2bbff0905ad853b90169df16d87f6be (patch) | |
| tree | 701518c70bd10e60f9add5d8e6e53731ba77bf81 /coq | |
| parent | 6a2cfdb1bc410532a23c58206cd00b39bc7ccba3 (diff) | |
| download | compcert-b0c47e12f2bbff0905ad853b90169df16d87f6be.tar.gz compcert-b0c47e12f2bbff0905ad853b90169df16d87f6be.zip | |
Filled in missing functions for debug information on ia32.
Like for arm and ppc the functions for section names and start and
end addresses of compilation units are defined and the print_annot
function is moved to Asmexpandaux.ml.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions