diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-04-21 18:16:38 +0300 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-25 14:27:31 +0200 |
commit | f016c51503ceff5354e12b27f22ae33172b8fb0e (patch) | |
tree | f17716f0fc9910bb7c80bd1371a22e490e3e2566 /backend/Stacking.v | |
parent | 0a15edfb0c49242fcc8f772ed39f167a40e3b25e (diff) | |
download | compcert-f016c51503ceff5354e12b27f22ae33172b8fb0e.tar.gz compcert-f016c51503ceff5354e12b27f22ae33172b8fb0e.zip |
Initialization of union bit fields
Bit fields in unions were initialized like normal fields,
causing mismatch on the name of the field.
Also: added function Bitfields.carrier_field and refactored.
Patch by Bernhard Schommer.
Bug 23362
Diffstat (limited to 'backend/Stacking.v')
0 files changed, 0 insertions, 0 deletions