diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-20 14:44:59 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-20 14:44:59 +0100 |
commit | 47e818992372c1480b1052b64728a33d758637cf (patch) | |
tree | e6351d1028516561f2bb56879d4b3174850c7198 /cparser/Cabs.v | |
parent | ac2e4bb9bc63e0ea8b5cf67274bddb9ec74b771e (diff) | |
download | compcert-47e818992372c1480b1052b64728a33d758637cf.tar.gz compcert-47e818992372c1480b1052b64728a33d758637cf.zip |
Simplified version.
The problem was that sub structs are were not correctly aligned.
The new version is much simpler and uses the sizeof_struct to
calculate the individual offsets and add them up to get correct
offest.
Bug 20765
Diffstat (limited to 'cparser/Cabs.v')
0 files changed, 0 insertions, 0 deletions