From fe8baff11737d3785ff51d20ace9ab31665cd295 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 12 May 2011 09:41:09 +0000
Subject: 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
---
 cparser/Parse.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'cparser/Parse.ml')

diff --git a/cparser/Parse.ml b/cparser/Parse.ml
index ed988f9a..abef83cf 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
-- 
cgit