fixed overflow handling

goblint · Dec 19, 2024 · 65237fd · 65237fd
1 parent 0cc16dc
commit 65237fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomain/value/cdomains/int/bitfieldDomain.ml b/src/cdomain/value/cdomains/int/bitfieldDomain.ml
@@ -245,7 +245,7 @@ module BitfieldFunctor (Ints_t : IntOps.IntOps): SOverflow with type int_t = Int
       else 
         (top_of ik, overflow_info)
 
-  let cast_to ?(suppress_ovwarn=false) ?torg ?no_ov t = norm ~suppress_ovwarn t
+  let cast_to ?(suppress_ovwarn=false) ?torg ?no_ov ik x = norm ~suppress_ovwarn:(suppress_ovwarn || x = top ()) ik x
 
   let join ik b1 b2 = (norm ik @@ (BArith.join b1 b2) ) |> fst