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-10d5ed08a324ffd10d4db8ec58bbf6e77253bc36.tar.gz compcert-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