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 /x86/Asmgenproof1.v | |
| 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 'x86/Asmgenproof1.v')
0 files changed, 0 insertions, 0 deletions