diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-07-28 18:10:30 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 09:59:01 +0200 |
| commit | 9fcb0316df79ee741272340d7db0378872a53c5f (patch) | |
| tree | 354edb0fb4dbc63a09dba4ede3244b7d95fdf692 /cparser/Cutil.mli | |
| parent | 7c0df3799418b6044e448d6266a082b2fbd8ae1f (diff) | |
| download | compcert-9fcb0316df79ee741272340d7db0378872a53c5f.tar.gz compcert-9fcb0316df79ee741272340d7db0378872a53c5f.zip | |
Rework of struct member offsets for debug info.
The struct member byte and bit offsets are now set based upon the new
function `struct_layout` from Ctypes.v, thus using the same code to
compute as used to generate the actual struct access.
The struct offset member information is addded using the types computed
after the translation in C2C. Therefore we need to store the new internal
names of the members as well as the composites and use them
when adding the offset information.
Fixes: #445
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 17eb2207..0eb0feb4 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -142,8 +142,6 @@ val composite_info_decl: struct_or_union -> attributes -> Env.composite_info val composite_info_def: Env.t -> struct_or_union -> attributes -> field list -> Env.composite_info -val struct_layout: - Env.t -> attributes -> field list -> (string * int) list val offsetof: Env.t -> typ -> field -> int (* Compute the offset of a struct member *) |