diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 13:16:03 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 13:16:03 +0200 |
commit | 916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70 (patch) | |
tree | b26e517989410a4e145d0d4efe8f8dbe70d99572 /test/spass/condensing.c | |
parent | b04bb783badb9051c62b26fb1858f916d0e4ccd0 (diff) | |
download | compcert-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.tar.gz compcert-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.zip |
Bitfield improvements continued: perform bitfield expansion before unblocking; improve translation of bitfield initializers and compound literals.
Diffstat (limited to 'test/spass/condensing.c')
0 files changed, 0 insertions, 0 deletions