From 7a8558575054daff45d41bdfe4058596f87467a3 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 21 Dec 2015 10:09:21 +0100
Subject: The return type of __builtin_clz() et al is "int", as documented and
 for GCC compatibility, and not "unsigned int", as previously implemented.

---
 arm/CBuiltins.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm/CBuiltins.ml')

diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml
index 00de4df7..6751074c 100644
--- a/arm/CBuiltins.ml
+++ b/arm/CBuiltins.ml
@@ -30,7 +30,7 @@ let builtins = {
     "__builtin_bswap16",
       (TInt(IUShort, []), [TInt(IUShort, [])], false);
     "__builtin_clz",
-      (TInt(IUInt, []), [TInt(IUInt, [])], false);
+      (TInt(IInt, []), [TInt(IUInt, [])], false);
     (* Float arithmetic *)
     "__builtin_fsqrt",
       (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
-- 
cgit