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 /cparser/Parse.ml | |
| parent | b04bb783badb9051c62b26fb1858f916d0e4ccd0 (diff) | |
| download | compcert-kvx-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.tar.gz compcert-kvx-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.zip | |
Bitfield improvements continued: perform bitfield expansion before unblocking; improve translation of bitfield initializers and compound literals.
Diffstat (limited to 'cparser/Parse.ml')
| -rw-r--r-- | cparser/Parse.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Parse.ml b/cparser/Parse.ml index 645465c3..317847a7 100644 --- a/cparser/Parse.ml +++ b/cparser/Parse.ml @@ -21,8 +21,8 @@ let transform_program t p name = let run_pass pass flag p = if CharSet.mem flag t then pass p else p in let p1 = (run_pass StructReturn.program 's' (run_pass PackedStructs.program 'p' - (run_pass Bitfields.program 'f' (run_pass Unblock.program 'b' + (run_pass Bitfields.program 'f' p)))) in let debug = if !Clflags.option_g && Configuration.advanced_debug then |