Deduplicate Mval.to_cil conversion in mutexEvents analysis

goblint · May 7, 2024 · f8f39eb · f8f39eb
1 parent 66107c8
commit f8f39eb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/analyses/mutexEventsAnalysis.ml b/src/analyses/mutexEventsAnalysis.ml
@@ -25,8 +25,8 @@ struct
       | Addr a ->
         let arg_e = AddrOf (PreValueDomain.Mval.to_cil a) in
         if not (CilType.Exp.equal arg arg_e) then
-          let e' = BinOp(Eq, arg, AddrOf (PreValueDomain.Mval.to_cil a), intType) in
-          [Events.SplitBranch  (e',true)]
+          let e' = BinOp (Eq, arg, arg_e, intType) in
+          [Events.SplitBranch (e', true)]
         else
           []
       | _ -> []