unop_FD: Handle BNot explicitely

goblint · Feb 4, 2024 · 9f0c940 · 9f0c940
1 parent 1eee742
commit 9f0c940
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -179,8 +179,8 @@ struct
   let unop_FD = function
     | Neg  -> (fun v -> (Float (FD.neg v):value))
     | LNot -> (fun c -> Int (FD.eq c (FD.of_const (FD.get_fkind c) 0.)))
-    (* other unary operators are not implemented on float values *)
-    | _ -> (fun c -> Float (FD.top_of (FD.get_fkind c)))
+    | BNot -> failwith "BNot on a value of type float!"
+
 
   (* Evaluating Cil's unary operators. *)
   let evalunop op typ: value -> value = function