diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 10:29:30 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 10:29:30 +0100 |
| commit | d60b593c8b1d19a4adfdadaeeaa93aa10b9dba53 (patch) | |
| tree | 838eef3aa4f09efd467971a51e6c76d49ebb8a59 /cparser/Cutil.mli | |
| parent | 47e818992372c1480b1052b64728a33d758637cf (diff) | |
| download | compcert-kvx-d60b593c8b1d19a4adfdadaeeaa93aa10b9dba53.tar.gz compcert-kvx-d60b593c8b1d19a4adfdadaeeaa93aa10b9dba53.zip | |
New version to support designators.
The c standard allows member designators for offsetof. The current
implementation works by recursively combining the offset of each
of the member designators. For array access the size of the
subtypes is multiplied by the index and for members the offset of
the member is calculated.
Bug 20765
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index c5a074c5..a849d1fe 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -112,7 +112,7 @@ val composite_info_def: val struct_layout: Env.t -> field list -> (string * int) list val offsetof: - Env.t -> typ -> field list -> int + Env.t -> typ -> field -> int (* Compute the offset of a struct member *) (* Type classification functions *) |