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 =