diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-16 19:43:35 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-16 19:43:35 +0200 |
commit | 98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0 (patch) | |
tree | 5a39f62c4e1526dd9e047f74efca164c59504f95 /cparser/Bitfields.ml | |
parent | 3344bcf59acb1ae8d43a0d15acb4b824689e706d (diff) | |
download | compcert-98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0.tar.gz compcert-98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0.zip |
Move more functionality in the new interface.
Added functions to add more information to the debuging interface,
like the struct layout with offsets, bitifiled layout and removed
the no longer needed mapping from stamp to atom.
Diffstat (limited to 'cparser/Bitfields.ml')
-rw-r--r-- | cparser/Bitfields.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Bitfields.ml b/cparser/Bitfields.ml index 6569bb4c..8d43e689 100644 --- a/cparser/Bitfields.ml +++ b/cparser/Bitfields.ml @@ -134,6 +134,7 @@ let rec transf_members env id count = function if !config.bitfields_msb_first then sizeof_ikind carrier_ikind * 8 - pos - sz else pos in + Debug.set_bitfield_offset id name pos' carrier (sizeof_ikind carrier_ikind); Hashtbl.add bitfield_table (id, name) {bf_carrier = carrier; bf_carrier_typ = carrier_typ; |