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 /test/regression/bitfields9.c | |
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 'test/regression/bitfields9.c')
-rw-r--r-- | test/regression/bitfields9.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/regression/bitfields9.c b/test/regression/bitfields9.c index be87057b..54cc34ab 100644 --- a/test/regression/bitfields9.c +++ b/test/regression/bitfields9.c @@ -13,6 +13,11 @@ struct t { short e: 8; }; +union u { + int u: 4; + unsigned int v: 3; +}; + void print_s(char * msg, struct s p) { printf("%s = { a = %d, b = %d }\n", msg, p.a, p.b); @@ -23,25 +28,45 @@ void print_t(char * msg, struct t p) printf("%s = { c = %d, d = %d, e = %d }\n", msg, p.c, p.d, p.e); } +void print_u_u(char * msg, union u p) +{ + printf("%s = { u = %d }\n", msg, p.u); +} + +void print_u_v(char * msg, union u p) +{ + printf("%s = { v = %u }\n", msg, p.v); +} + + /* Global initialization */ struct s glob_s = { -12, 1 }; struct t glob_t = { 123, 2, -45 }; +union u glob_u_u = { -3 }; +union u glob_u_v = { .v = 6 }; /* Local initialization */ void f(int x, int y, int z) { struct s loc_s = { x, y }; struct t loc_t = { x, z, y }; + union u loc_u_u = { .u = x }; + union u loc_u_v = { .v = z }; print_s("loc_s", loc_s); print_t("loc_t", loc_t); + print_u_u("loc_u_u", loc_u_u); + print_u_v("loc_u_v", loc_u_v); print_s("compound_s", (struct s) { y, x }); print_t("compound_t", (struct t) { y, ~z, -x }); + print_u_u("compound_u", (union u) { y }); } int main() { print_s("glob_s", glob_s); print_t("glob_t", glob_t); + print_u_u("glob_u_u", glob_u_u); + print_u_v("glob_u_v", glob_u_v); f(11, 2, 3); f(7, 50, 2); return 0; |