diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-04-21 18:27:46 +0300 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-25 14:27:31 +0200 |
commit | 7be3e73fa8a46b6b813c1be98da54a1a471378b9 (patch) | |
tree | 5607dc89579f4104745b5d9f15527c6019a892d4 /cparser/Checks.ml | |
parent | f016c51503ceff5354e12b27f22ae33172b8fb0e (diff) | |
download | compcert-7be3e73fa8a46b6b813c1be98da54a1a471378b9.tar.gz compcert-7be3e73fa8a46b6b813c1be98da54a1a471378b9.zip |
Bitfields transformation: record the fields after transformation
For each struct or union that contains bitfields,
we record the list of members after transformation,
where bit fields were replaced by carrier fields.
Right now we do not use this information but it will come handy
to fix a problem with struct initialization.
Also: clear the global hash tables on entry so that multiple runs
of the Bitfields transformation don't interfere with each other.
There probably was no interference before because identifiers are unique
enough, but this is fragile.
Diffstat (limited to 'cparser/Checks.ml')
0 files changed, 0 insertions, 0 deletions