Remove commented-out code in RelationPriv.PerMutexMeetPriv.unlock

goblint · Feb 15, 2024 · f8a666a · f8a666a
1 parent fec2876
commit f8a666a
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/analyses/apron/relationPriv.apron.ml b/src/analyses/apron/relationPriv.apron.ml
@@ -590,11 +590,6 @@ struct
     )
     else (
       (* Publish delayed unprotected write as if it were protected by the atomic section. *)
-      (* List.iter (fun var ->
-          match AV.find_metadata var with
-          | Some (Global g) -> sideg (V.mutex atomic_mutex) (RD.keep_vars rel [AV.global g])
-          | _ -> ()
-        ) (RD.vars rel); *)
       let rel_side = RD.keep_filter rel (fun var ->
           match AV.find_metadata var with
           | Some (Global g) -> true