diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-26 15:28:16 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-26 15:28:16 +0100 |
commit | 56c5da69f66d097dde1ca50ec777df9953eb1952 (patch) | |
tree | 2866b88eb8f99828c8ec275d3d35563379c2bac2 /cparser/Cerrors.mli | |
parent | 4c81d739be2a2e409c7e76bac3e616c4415a1efd (diff) | |
download | compcert-56c5da69f66d097dde1ca50ec777df9953eb1952.tar.gz compcert-56c5da69f66d097dde1ca50ec777df9953eb1952.zip |
Compute the size of structs using the result of the packing and bitfield transformations.
Diffstat (limited to 'cparser/Cerrors.mli')
0 files changed, 0 insertions, 0 deletions