canonize interval-sets after refine with bitfield

goblint · Jan 8, 2025 · abb48c4 · abb48c4
1 parent 1376824
commit abb48c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/cdomain/value/cdomains/int/intervalSetDomain.ml b/src/cdomain/value/cdomains/int/intervalSetDomain.ml
@@ -525,8 +525,8 @@ struct
 
   let refine_with_bitfield ik x y = 
     let interv = of_bitfield ik y in 
-    meet ik x interv
-
+    norm_intvs ik (meet ik x interv) |> fst
+    
   let refine_with_incl_list ik intvs  = function
     | None -> intvs
     | Some xs -> meet ik intvs (List.map (fun x -> (x,x)) xs)