Skip to content

Commit

Permalink
Remove unit statement from MemLeak
Browse files Browse the repository at this point in the history
sim642 committed Nov 29, 2023
1 parent 30daf27 commit 7fa7bfd
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/analyses/memLeak.ml
Original file line number Diff line number Diff line change
@@ -228,8 +228,7 @@ struct
warn_for_multi_threaded_due_to_abort ctx;
state
| Assert { exp; _ } ->
let warn_for_assert_exp =
match ctx.ask (Queries.EvalInt exp) with
begin match ctx.ask (Queries.EvalInt exp) with
| a when Queries.ID.is_bot a -> M.warn ~category:Assert "assert expression %a is bottom" d_exp exp
| a ->
begin match Queries.ID.to_bool a with
@@ -242,8 +241,7 @@ struct
warn_for_multi_threaded_due_to_abort ctx;
check_for_mem_leak ctx ~assert_exp_imprecise:true ~exp:(Some exp)
end
in
warn_for_assert_exp;
end;
state
| ThreadExit _ ->
begin match ctx.ask (Queries.CurrentThreadId) with

0 comments on commit 7fa7bfd

Please sign in to comment.