add floating point test cases. One for fuzzing (test-floatingpoint.c) and one for testing all cases with the instrumented program (test-fp_cases.c)

1 files changed, 18 insertions, 0 deletions

diff --git a/test/test-floatingpoint.c b/test/test-floatingpoint.c
new file mode 100644
index 00000000..f78b5d9f
--- /dev/null
+++ b/test/test-floatingpoint.c
@@ -0,0 +1,18 @@
+#include <stdlib.h>
+#include <unistd.h>
+
+int main(void)
+{
+    long double magic;
+
+    ssize_t bytes_read = read(STDIN_FILENO, &magic, sizeof(magic));
+    if (bytes_read < (ssize_t)sizeof(magic)) {
+        return 1;
+    }
+
+    if( (-magic == 15.0 + 0.5 + 0.125 + 0.03125 + 0.0078125) ){ /* 15 + 1/2 + 1/8 + 1/32 + 1/128 */
+        abort();
+    }
+
+    return 0;
+}