From f535ac931c2b7dc65fefa83e47bb8c79ca90e92d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 17 Oct 2011 09:38:31 +0000
Subject: Corrected initialization of char arrays by string literals. Added
 -flongdouble option (to turn long double into double)

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

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index a5167809..2f50a0e9 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -256,7 +256,9 @@ let convertIkind = function
 let convertFkind = function
   | C.FFloat -> F32
   | C.FDouble -> F64
-  | C.FLongDouble -> unsupported "'long double' type"; F64
+  | C.FLongDouble ->
+      if not !Clflags.option_flongdouble then unsupported "'long double' type"; 
+      F64
 
 let int64_struct =
   let ty = Tint(I32,Unsigned) in
-- 
cgit