Revert "Hide mutex structure contents in base analysis"

This reverts commit 3841fe7.
goblint · May 27, 2022 · 4bc3f35 · 4bc3f35
1 parent a4937cf
commit 4bc3f35
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cdomains/valueDomain.ml b/src/cdomains/valueDomain.ml
@@ -855,7 +855,6 @@ struct
       let mu = function `Blob (`Blob (y, s', orig), s, orig2) -> `Blob (y, ID.join s s',orig) | x -> x in
       let r =
       match x, offs with
-      | _, _ when is_mutex_type t -> `Top (* hide mutex structure contents, not updated anyway *)
       | `Blob (x,s,orig), `Index (_,ofs) ->
         begin
           let l', o' = shift_one_over l o in