From 52580c6c149fe556e202122a2f353fb3bc670905 Mon Sep 17 00:00:00 2001
From: julihoh <julihoh@users.noreply.github.com>
Date: Mon, 25 Oct 2021 13:57:49 +0200
Subject: [PATCH] fix concolic nofloat filter (#333)

* fix concolic nofloat filter

* fmt

* whoops

* fix warnings
---
 libafl_concolic/symcc_runtime/src/filter.rs | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/libafl_concolic/symcc_runtime/src/filter.rs b/libafl_concolic/symcc_runtime/src/filter.rs
index 5a8fb9d0f3..17d6b4cce2 100644
--- a/libafl_concolic/symcc_runtime/src/filter.rs
+++ b/libafl_concolic/symcc_runtime/src/filter.rs
@@ -222,4 +222,22 @@ impl Filter for NoFloat {
     fn build_bits_to_float(&mut self, _expr: RSymExpr, _to_double: bool) -> bool {
         false
     }
+    fn build_fp_abs(&mut self, _a: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_add(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_sub(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_mul(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_div(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
+    fn build_fp_rem(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
+        false
+    }
 }