diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-05-12 09:41:09 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-05-12 09:41:09 +0000 |
commit | fe8baff11737d3785ff51d20ace9ab31665cd295 (patch) | |
tree | edbab0f933283d5ecf455a5f94150c4f09379c51 /cparser/Parse.ml | |
parent | 239cbd2ebab8814b11d7ef43c35a17ce56a7ba0b (diff) |
cparser: support for attributes over struct and union.
cparser: added experimental emulation of packed structs (PackedStruct.ml)
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1650 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Parse.ml')
-rw-r--r-- | cparser/Parse.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cparser/Parse.ml b/cparser/Parse.ml index ed988f9..abef83c 100644 --- a/cparser/Parse.ml +++ b/cparser/Parse.ml @@ -24,9 +24,10 @@ let transform_program t p = (run_pass (SimplExpr.program ~volatile:(CharSet.mem 'v' t)) 'e' (run_pass StructAssign.program 'S' (run_pass StructByValue.program 's' + (run_pass PackedStructs.program 'p' (run_pass Bitfields.program 'f' (run_pass Unblock.program 'b' - p)))))) + p))))))) let parse_transformations s = let t = ref CharSet.empty in @@ -40,6 +41,7 @@ let parse_transformations s = | 'S' -> set "bsS" | 'v' -> set "ev" | 'f' -> set "bf" + | 'p' -> set "bp" | _ -> ()) s; !t |