From 15ec4cb8d4f58f628e5b625b68806e355779e4c8 Mon Sep 17 00:00:00 2001
From: Boris Faure <billiob@gmail.com>
Date: Sun, 18 Nov 2018 17:51:34 +0100
Subject: [PATCH] add some more coverity hacks

---
 src/bin/coverity.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/bin/coverity.h b/src/bin/coverity.h
index 38469859..0f176e1b 100644
--- a/src/bin/coverity.h
+++ b/src/bin/coverity.h
@@ -4,6 +4,10 @@
 
 #ifdef __x86_64__
 typedef struct { long double x; long double y; } _Float128;
+typedef float _Float32;
+typedef float _Float32x;
+typedef double _Float64;
+typedef double _Float64x;
 #endif
 
 #endif /* __COVERITY__ */