diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-23 20:11:18 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-23 20:11:18 +0200 |
| commit | 10d5ed08a324ffd10d4db8ec58bbf6e77253bc36 (patch) | |
| tree | 31096c66503b8eb015d0763b7aa79e7bd02f8f75 /debug/DwarfPrinter.ml | |
| parent | c879cd9abb6e5dac1bc303da1b0c11e551d8528e (diff) | |
| download | compcert-kvx-10d5ed08a324ffd10d4db8ec58bbf6e77253bc36.tar.gz compcert-kvx-10d5ed08a324ffd10d4db8ec58bbf6e77253bc36.zip | |
Do not add subsize tag to array types without size such as flexible array members.
Diffstat (limited to 'debug/DwarfPrinter.ml')
0 files changed, 0 insertions, 0 deletions