From 712f3cbae6bfd3c6f6cc40d44f438aa0affcd371 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 18 Dec 2012 07:54:35 +0000
Subject: Support for inline assembly (asm statements). cparser: add primitive
 support for enum types. bitfield emulation: for bitfields with enum type,
 choose signed/unsigned as appropriate

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2074 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Unblock.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Unblock.ml')

diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml
index abdc5d54..c40da18e 100644
--- a/cparser/Unblock.ml
+++ b/cparser/Unblock.ml
@@ -110,6 +110,7 @@ let rec unblock_stmt env s =
   | Sreturn opte -> s
   | Sblock sl -> unblock_block env sl
   | Sdecl d -> assert false
+  | Sasm _ -> s
 
 and unblock_block env = function
   | [] -> sskip
-- 
cgit