From 1ebccda60b38b1a9f8005b6ebde93ecb10c8aa59 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 15 Sep 2009 10:09:19 +0000
Subject: Problem with const enum initializers

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

(limited to 'cfrontend/Cil2Csyntax.ml')

diff --git a/cfrontend/Cil2Csyntax.ml b/cfrontend/Cil2Csyntax.ml
index 914f5cad..85380038 100644
--- a/cfrontend/Cil2Csyntax.ml
+++ b/cfrontend/Cil2Csyntax.ml
@@ -158,6 +158,8 @@ and eval_cast ty v =
   | TInt(ik, _), CInt64(v, _, _) -> mkint64 ik v
   | TInt(ik, _), CReal(v, _, _) -> 
       if ik = IULongLong then raise NotConst else mkint64 ik (Int64.of_float v)
+  | TEnum _, CInt64(v, _, _) -> mkint64 IInt v
+  | TEnum _, CReal(v, _, _) -> mkint64 IInt (Int64.of_float v)
   | TFloat(fk, _), CReal(v, _, _) -> mkfloat fk v
   | TFloat(fk, _), CInt64(v, ik, _) ->
       if ik = IULongLong then raise NotConst else mkfloat fk (Int64.to_float v)
-- 
cgit