diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-11-20 15:15:41 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-11-20 15:15:41 +0100 |
commit | b7fe793fd2427e233ac3da64d0d50334f75a81e6 (patch) | |
tree | e038abb9024ee2b2c329b7620e601a1f3ed4369c /lib/Readconfig.mll | |
parent | 2ac731d8c35d8dc367f72b95aad97061b2229f59 (diff) | |
download | compcert-b7fe793fd2427e233ac3da64d0d50334f75a81e6.tar.gz compcert-b7fe793fd2427e233ac3da64d0d50334f75a81e6.zip |
Fix fixme in PackedStructs.
Instead of relying testing that the size of pointers is 64bit the
size of registers should be tested. Also it should be a fatal
error to reverse a long long on an architecture that does not
support reverse 64bit read/writes.
Bug 24982
Diffstat (limited to 'lib/Readconfig.mll')
0 files changed, 0 insertions, 0 deletions