|
|
@ -79,7 +79,8 @@ let get_message = function
|
|
|
|
| ViaCall {f; _} ->
|
|
|
|
| ViaCall {f; _} ->
|
|
|
|
F.fprintf fmt "by call to %a" CallEvent.describe f
|
|
|
|
F.fprintf fmt "by call to %a" CallEvent.describe f
|
|
|
|
in
|
|
|
|
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
|
|
|
|
allocation_line pp_allocation_trace allocation_trace Location.pp location
|
|
|
|
| StackVariableAddressEscape {variable; _} ->
|
|
|
|
| StackVariableAddressEscape {variable; _} ->
|
|
|
|
let pp_var f var =
|
|
|
|
let pp_var f var =
|
|
|
|