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/Parser.vy | |
| parent | 999bea31a252dae1b0709166cf3c9540bda9dbb0 (diff) | |
| download | compcert-kvx-3bf5dcea0935b280189d04c34e84e46fb07f87e7.tar.gz compcert-kvx-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/Parser.vy')
0 files changed, 0 insertions, 0 deletions