From 431a9beaf0868f253b813730539e387d33b6eac9 Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@fb.com>
Date: Mon, 2 Dec 2019 10:27:48 -0800
Subject: [PATCH] [self-in-block] Improving the error message for
 strong_self_not_checked

Reviewed By: ngorogiannis

Differential Revision: D18763918

fbshipit-source-id: 8e6c3cbc4
---
 infer/src/checkers/SelfInBlock.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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