From 4ec4e5b394dfa4e40a26574e3053a9bd7eaa8d37 Mon Sep 17 00:00:00 2001
From: Andrea Fioraldi <andreafioraldi@gmail.com>
Date: Fri, 25 Oct 2019 20:04:16 +0200
Subject: floating point compcov

---
 qemu_mode/patches/softfloat.diff | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 qemu_mode/patches/softfloat.diff

(limited to 'qemu_mode/patches/softfloat.diff')

diff --git a/qemu_mode/patches/softfloat.diff b/qemu_mode/patches/softfloat.diff
new file mode 100644
index 00000000..86ffb97f
--- /dev/null
+++ b/qemu_mode/patches/softfloat.diff
@@ -0,0 +1,10 @@
+diff --git a/fpu/softfloat.c b/fpu/softfloat.c
+index e1eef954..2f8d0d62 100644
+--- a/fpu/softfloat.c
++++ b/fpu/softfloat.c
+@@ -7205,3 +7205,5 @@ float128 float128_scalbn(float128 a, int n, float_status *status)
+                                          , status);
+ 
+ }
++
++#include "../../patches/afl-qemu-floats.h"
-- 
cgit 1.4.1