diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-05 16:05:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-05 16:05:59 +0200 |
| commit | df1024c6ac6e065d44023df5208bd2b5d9fbec5f (patch) | |
| tree | ab75d2ee4d6363ebb89fd4be120a39e2fcd33667 /driver/Frontend.ml | |
| parent | 777e6204ef99436cb315e7c914709e4a334f0066 (diff) | |
| download | compcert-kvx-df1024c6ac6e065d44023df5208bd2b5d9fbec5f.tar.gz compcert-kvx-df1024c6ac6e065d44023df5208bd2b5d9fbec5f.zip | |
Allow declaration of composites in bitfield size.
It is allowed to define a composite within a bitfield size
expression using for example sizeof.
Bug 23360
Diffstat (limited to 'driver/Frontend.ml')
0 files changed, 0 insertions, 0 deletions