From 3c7507976d81da3ccafc6efb06facbff0e0c7fa2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 2 Apr 2010 08:02:12 +0000
Subject: Wrong type for __builtin_volatile_*_int32

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

(limited to 'cfrontend')

diff --git a/cfrontend/C2Clight.ml b/cfrontend/C2Clight.ml
index fe026003..f40e21a6 100644
--- a/cfrontend/C2Clight.ml
+++ b/cfrontend/C2Clight.ml
@@ -348,7 +348,7 @@ let volatile_fun_suffix_type ty =
   | Tint(I8, Signed) -> ("int8signed", ty)
   | Tint(I16, Unsigned) -> ("int16unsigned", ty)
   | Tint(I16, Signed) -> ("int16signed", ty)
-  | Tint(I32, _) -> ("int32", ty)
+  | Tint(I32, _) -> ("int32", Tint(I32, Signed))
   | Tfloat F32 -> ("float32", ty)
   | Tfloat F64 -> ("float64", ty)
   | Tpointer _ | Tarray _ | Tfunction _ | Tcomp_ptr _ ->
-- 
cgit