diff --git a/src/analyses/mHPAnalysis.ml b/src/analyses/mHPAnalysis.ml index a24dbc3cd6..9bccb41baf 100644 --- a/src/analyses/mHPAnalysis.ml +++ b/src/analyses/mHPAnalysis.ml @@ -12,7 +12,9 @@ struct include MHP let name () = "mhp" let may_race = MHP.may_happen_in_parallel - let should_print _ = true + let should_print {tid; created; must_joined} = + not (ConcDomain.ThreadSet.is_empty created) + || not (ConcDomain.ThreadSet.is_empty must_joined) end let access ctx _: MHP.t = MHP.current (Analyses.ask_of_ctx ctx)