diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:29:59 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:34:59 +0200 |
commit | abec89a558d952dc1f4f39bda6a8e69a426a8dc0 (patch) | |
tree | e5d59956985908e8c1d641cc196b7c81717d4e60 /cparser/PackedStructs.ml | |
parent | a2b28d5e12797c2b35f49cfba2e3ec005da9377b (diff) | |
download | compcert-abec89a558d952dc1f4f39bda6a8e69a426a8dc0.tar.gz compcert-abec89a558d952dc1f4f39bda6a8e69a426a8dc0.zip |
cparser/PackedStructs: fix assertion that was wrong for 64-bit targets
Diffstat (limited to 'cparser/PackedStructs.ml')
-rw-r--r-- | cparser/PackedStructs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/PackedStructs.ml b/cparser/PackedStructs.ml index fd6bd936..b74a29d4 100644 --- a/cparser/PackedStructs.ml +++ b/cparser/PackedStructs.ml @@ -182,7 +182,7 @@ let bswap_write loc env lhs rhs = let ty = lhs.etyp in let (bsize, aty) = accessor_type loc env ty in - assert (bsize = 16 || bsize = 32); + assert (bsize = 16 || bsize = 32 || (bsize = 64 && !config.sizeof_ptr = 8)); try if !use_reversed then begin let (id, fty) = |