From 45ace31d2b10aa497120c08a1154544dcb7449ce Mon Sep 17 00:00:00 2001
From: Xu Jun <693788454@qq.com>
Date: Wed, 15 Dec 2021 17:32:29 +0800
Subject: [PATCH] fix definition of int64_t in libc-builtin-sysroot (#898)

---
 wamr-sdk/app/libc-builtin-sysroot/include/stdint.h | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/wamr-sdk/app/libc-builtin-sysroot/include/stdint.h b/wamr-sdk/app/libc-builtin-sysroot/include/stdint.h
index bff920b09..8c55bff50 100644
--- a/wamr-sdk/app/libc-builtin-sysroot/include/stdint.h
+++ b/wamr-sdk/app/libc-builtin-sysroot/include/stdint.h
@@ -10,16 +10,17 @@
 extern "C" {
 #endif
 
+/* clang-format off */
 typedef char            int8_t;
 typedef short int       int16_t;
 typedef int             int32_t;
-typedef long int        int64_t;
+typedef long long int   int64_t;
 
 /* Unsigned.  */
-typedef unsigned char	    uint8_t;
-typedef unsigned short int  uint16_t;
-typedef unsigned int	    uint32_t;
-typedef unsigned long int   uint64_t;
+typedef unsigned char	        uint8_t;
+typedef unsigned short int      uint16_t;
+typedef unsigned int	        uint32_t;
+typedef unsigned long long int  uint64_t;
 
 typedef __INTPTR_TYPE__		intptr_t;
 typedef __UINTPTR_TYPE__	uintptr_t;
@@ -40,6 +41,7 @@ typedef __UINTPTR_TYPE__	uintptr_t;
 # define UINT16_MAX		(65535)
 # define UINT32_MAX		(4294967295U)
 # define UINT64_MAX		(__UINT64_C(18446744073709551615))
+/* clang-format on */
 
 #ifdef __cplusplus
 }