diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-11 14:42:40 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-11 14:42:40 +0200 |
| commit | 2b5940c2256384f837bcdfc2ddb4783f1b377dbf (patch) | |
| tree | 41cef2bc5454d95ddd3c0539cda872b9071897a9 /checklink/Asm_printers.ml | |
| parent | ed50169fa51b8a9cfdbf65380348f6a02909d9d7 (diff) | |
| download | compcert-2b5940c2256384f837bcdfc2ddb4783f1b377dbf.tar.gz compcert-2b5940c2256384f837bcdfc2ddb4783f1b377dbf.zip | |
Started implementing the typ insert methods.
In contrast to CtoDwarf this time we use the name to identify
everything. To make this work we print the full identifier with stamp
to avoid the problems with anonymous structs and unions.
Diffstat (limited to 'checklink/Asm_printers.ml')
0 files changed, 0 insertions, 0 deletions