From 4bc3f35fc2912c37359b111c23ea8e1145499733 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 27 May 2022 11:18:51 +0300
Subject: [PATCH] Revert "Hide mutex structure contents in base analysis"

This reverts commit 3841fe79e0957bae0b59f00a7dcd4508e5cc3278.
---
 src/cdomains/valueDomain.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/cdomains/valueDomain.ml b/src/cdomains/valueDomain.ml
index 74bc322f6e..ee1b0f1740 100644
--- 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