diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-21 13:23:30 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-21 13:23:30 +0000 |
commit | c46b574d5b21fb2728c76c5cab1c46890c0fb1cd (patch) | |
tree | 0ae850f934ef634eaa6cda9c294f0bdd055cb1c1 /cfrontend/C2C.ml | |
parent | e499b023510259cc96be2093784b08cf090941d2 (diff) | |
download | compcert-c46b574d5b21fb2728c76c5cab1c46890c0fb1cd.tar.gz compcert-c46b574d5b21fb2728c76c5cab1c46890c0fb1cd.zip |
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
Diffstat (limited to 'cfrontend/C2C.ml')
-rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index b8586e01..ffea5a88 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 |