From e2fa973a4bfea5d47b0d9f41b8734a7b6744dc18 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 20 Aug 2014 14:24:02 +0000
Subject: Wrong types for strex builtins.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2612 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/CBuiltins.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml
index daeabda..401bde8 100644
--- a/arm/CBuiltins.ml
+++ b/arm/CBuiltins.ml
@@ -59,13 +59,13 @@ let builtins = {
     "__builtin_ldrexd",
       (TInt(IULongLong, []), [TPtr(TInt(IULongLong, [AConst]), [])], false);
     "__builtin_strex",
-      (TInt(IInt, []), [TPtr(TInt(IUInt, [AConst]), []); TInt(IUInt, [])], false);
+      (TInt(IInt, []), [TPtr(TInt(IUInt, []), []); TInt(IUInt, [])], false);
     "__builtin_strexb",
-      (TInt(IInt, []), [TPtr(TInt(IUChar, [AConst]), []); TInt(IUChar, [])], false);
+      (TInt(IInt, []), [TPtr(TInt(IUChar, []), []); TInt(IUChar, [])], false);
     "__builtin_strexh",
-      (TInt(IInt, []), [TPtr(TInt(IUShort, [AConst]), []); TInt(IUShort, [])], false);
+      (TInt(IInt, []), [TPtr(TInt(IUShort, []), []); TInt(IUShort, [])], false);
     "__builtin_strexd",
-      (TInt(IInt, []), [TPtr(TInt(IULongLong, [AConst]), []); TInt(IULongLong, [])], false);
+      (TInt(IInt, []), [TPtr(TInt(IULongLong, []), []); TInt(IULongLong, [])], false);
   ]
 }
 
-- 
cgit v1.2.3