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 /cfrontend/SimplLocalsproof.v | |
parent | 777e6204ef99436cb315e7c914709e4a334f0066 (diff) | |
download | compcert-df1024c6ac6e065d44023df5208bd2b5d9fbec5f.tar.gz compcert-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 'cfrontend/SimplLocalsproof.v')
0 files changed, 0 insertions, 0 deletions