diff --git a/infer/src/checkers/SelfInBlock.ml b/infer/src/checkers/SelfInBlock.ml index ef9613ea5..390d01a3a 100644 --- a/infer/src/checkers/SelfInBlock.ml +++ b/infer/src/checkers/SelfInBlock.ml @@ -284,7 +284,7 @@ let report_unchecked_strongself_issues summary (domain : Domain.t) = let message = F.asprintf "The variable `%a`, equal to a weak pointer to `self`, is used without a check for null \ - at %a. This could cause a crash." + at %a. This could cause a crash or unexpected behavior." (Pvar.pp Pp.text) pvar Location.pp loc in let ltr = make_trace_unchecked_strongself domain in