From c449f6e7273282f2deff686a19e82cf6df0c6a71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Thu, 20 Aug 2020 03:08:57 -0700
Subject: [PATCH] [pulse] Tweak error message for Memory Leak

Reviewed By: dulmarod

Differential Revision: D23238533

fbshipit-source-id: e5e4e280d
---
 infer/src/pulse/PulseDiagnostic.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/pulse/PulseDiagnostic.ml b/infer/src/pulse/PulseDiagnostic.ml
index 181381c98..538bd6181 100644
--- a/infer/src/pulse/PulseDiagnostic.ml
+++ b/infer/src/pulse/PulseDiagnostic.ml
@@ -79,7 +79,8 @@ let get_message = function
         | ViaCall {f; _} ->
             F.fprintf fmt "by call to %a" CallEvent.describe f
       in
-      F.asprintf "memory dynamically allocated at line %d %a, is not reachable after %a"
+      F.asprintf
+        "memory dynamically allocated at line %d %a, is not freed after the last access at %a"
         allocation_line pp_allocation_trace allocation_trace Location.pp location
   | StackVariableAddressEscape {variable; _} ->
       let pp_var f var =