ec/native: use __extension__ keyword to allow compilation with GCC an…

…d -Wpedantic
mirage · Feb 3, 2021 · c00c7ac · c00c7ac
1 parent 248e940
commit c00c7ac
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/ec/native/np256_64.h b/ec/native/np256_64.h
@@ -18,8 +18,8 @@
 #include <stdint.h>
 typedef unsigned char fiat_np256_uint1;
 typedef signed char fiat_np256_int1;
-typedef signed __int128 fiat_np256_int128;
-typedef unsigned __int128 fiat_np256_uint128;
+__extension__ typedef signed __int128 fiat_np256_int128;
+__extension__ typedef unsigned __int128 fiat_np256_uint128;
 
 #if (-1 & 3) != 3
 #error "This code only works on a two's complement system"

diff --git a/ec/native/p256_64.h b/ec/native/p256_64.h
@@ -18,8 +18,8 @@
 #include <stdint.h>
 typedef unsigned char fiat_p256_uint1;
 typedef signed char fiat_p256_int1;
-typedef signed __int128 fiat_p256_int128;
-typedef unsigned __int128 fiat_p256_uint128;
+__extension__ typedef signed __int128 fiat_p256_int128;
+__extension__ typedef unsigned __int128 fiat_p256_uint128;
 
 #if (-1 & 3) != 3
 #error "This code only works on a two's complement system"