From 59646439baa1b9cc6209b684e4ccf9aac908fdbc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 17 Apr 2010 07:01:18 +0000
Subject: Support __builtin_memcpy; use it for struct assignment

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

(limited to 'cparser/GCC.ml')

diff --git a/cparser/GCC.ml b/cparser/GCC.ml
index 9f864dcd..17b718b4 100644
--- a/cparser/GCC.ml
+++ b/cparser/GCC.ml
@@ -124,7 +124,7 @@ let builtins = {
   "__builtin_inf",  (doubleType, [], false);
   "__builtin_inff",  (floatType, [], false);
   "__builtin_infl",  (longDoubleType, [], false);
-  "__builtin_memcpy",  (voidPtrType, [ voidPtrType; voidConstPtrType; uintType ], false);
+  "__builtin_memcpy",  (voidPtrType, [ voidPtrType; voidConstPtrType; sizeType ], false);
   "__builtin_mempcpy",  (voidPtrType, [ voidPtrType; voidConstPtrType; sizeType ], false);
 
   "__builtin_fmod",  (doubleType, [ doubleType ], false);
-- 
cgit