diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-17 10:58:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-17 14:01:08 +0200 |
commit | 3bf5dcea0935b280189d04c34e84e46fb07f87e7 (patch) | |
tree | ccac207ac2a271e3f2e95298cad85504e28a02f4 /cparser/Cutil.ml | |
parent | 999bea31a252dae1b0709166cf3c9540bda9dbb0 (diff) | |
download | compcert-3bf5dcea0935b280189d04c34e84e46fb07f87e7.tar.gz compcert-3bf5dcea0935b280189d04c34e84e46fb07f87e7.zip |
Check for bit-fields in __builtin_offsetof
__builtin_offsetof(struct s, f) is an error if f is a bit-field.
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions