mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +01:00
34 lines
936 B
Diff
34 lines
936 B
Diff
|
From 25813b458f3b48f6b5b6ec65edf73ab069b9a0f8 Mon Sep 17 00:00:00 2001
|
|||
|
|
From: Frederik Haxel <haxel@fzi.de>
|
|||
|
|
Date: Thu, 11 Jan 2024 12:59:28 +0100
|
|||
|
|
Subject: [PATCH] __int128 fix for GCC
|
|||
|
|
MIME-Version: 1.0
|
|||
|
|
Content-Type: text/plain; charset=UTF-8
|
|||
|
|
Content-Transfer-Encoding: 8bit
|
|||
|
|
|
|||
|
|
GCC throws the following warning if `-Wpedantic` is set and `__int128` is supported.
|
|||
|
|
```
|
|||
|
|
types.h:100:18: warning: ISO C does not support ‘__int128’ types [-Wpedantic]
|
|||
|
|
100 | typedef unsigned __int128 uECC_dword_t;
|
|||
|
|
```
|
|||
|
|
---
|
|||
|
|
types.h | 2 +-
|
|||
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|||
|
|
|
|||
|
|
diff --git a/types.h b/types.h
|
|||
|
|
index 9ee81438fac3..ff7de8204765 100644
|
|||
|
|
--- a/types.h
|
|||
|
|
+++ b/types.h
|
|||
|
|
@@ -95,7 +95,7 @@ typedef uint64_t uECC_dword_t;
|
|||
|
|
|
|||
|
|
typedef uint64_t uECC_word_t;
|
|||
|
|
#if SUPPORTS_INT128
|
|||
|
|
-typedef unsigned __int128 uECC_dword_t;
|
|||
|
|
+typedef unsigned int uECC_dword_t __attribute__((mode(TI)));
|
|||
|
|
#endif
|
|||
|
|
|
|||
|
|
#define HIGH_BIT_SET 0x8000000000000000ull
|
|||
|
|
--
|
|||
|
|
2.34.1
|
|||
|
|
|