aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2022-07-05 15:36:05 +0200
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-07-05 15:36:05 +0200
commit26d1e281541d8522665fe4f9ee905e49ed9baacf (patch)
tree862d28f6fba81a55db76d4da60a55df1e6db2f05
parent353669f8f175adabf878be0334a1979c439778af (diff)
downloadcompcert-26d1e281541d8522665fe4f9ee905e49ed9baacf.tar.gz
compcert-26d1e281541d8522665fe4f9ee905e49ed9baacf.zip
In test/regression: Use `static inline` instead of `inline`
Fixes: #441
-rw-r--r--test/regression/NaNs.c8
-rw-r--r--test/regression/alias.c2
2 files changed, 5 insertions, 5 deletions
diff --git a/test/regression/NaNs.c b/test/regression/NaNs.c
index 618ce295..799d0a98 100644
--- a/test/regression/NaNs.c
+++ b/test/regression/NaNs.c
@@ -8,25 +8,25 @@
typedef unsigned long long u64;
typedef unsigned int u32;
-inline u64 bits_of_double(double d)
+static inline u64 bits_of_double(double d)
{
union { double d; u64 i; } u;
u.d = d; return u.i;
}
-inline double double_of_bits(u64 i)
+static inline double double_of_bits(u64 i)
{
union { double d; u64 i; } u;
u.i = i; return u.d;
}
-inline u32 bits_of_single(float f)
+static inline u32 bits_of_single(float f)
{
union { float f; u32 i; } u;
u.f = f; return u.i;
}
-inline float single_of_bits(u32 i)
+static inline float single_of_bits(u32 i)
{
union { float f; u32 i; } u;
u.i = i; return u.f;
diff --git a/test/regression/alias.c b/test/regression/alias.c
index 925979cb..7ee2a1ea 100644
--- a/test/regression/alias.c
+++ b/test/regression/alias.c
@@ -72,7 +72,7 @@ int get4(void)
/* Byte-swapping a pointer. For 32/64 bit compatibility, we just swap
the two low bytes, but that's in the spirit. */
-inline uintptr_t bswap(uintptr_t x)
+static inline uintptr_t bswap(uintptr_t x)
{
return (x & ~((uintptr_t) 0xFFFF))
| ((x >> 8) & 0xFF)