From c46b574d5b21fb2728c76c5cab1c46890c0fb1cd Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 21 Aug 2014 13:23:30 +0000
Subject: Support C99 compound literals (by expansion in Unblock pass).

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2615 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/C2C.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index b8586e0..ffea5a8 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -588,6 +588,8 @@ let rec convertExpr env e =
       Econdition(convertExpr env e1, convertExpr env e2, convertExpr env e3, ty)
   | C.ECast(ty1, e1) ->
       Ecast(convertExpr env e1, convertTyp env ty1)
+  | C.ECompound(ty1, ie) ->
+      unsupported "compound literals"; ezero
 
   | C.ECall({edesc = C.EVar {name = "__builtin_annot"}}, args) ->
       begin match args with
-- 
cgit v1.2.3