let warn_locals_escape_result fundec locals =
let d_var = !d_var in
let sv = fundec.svar in
match locals with
Location_Bytes.Top_Param.Top ->
warning_once_current
"locals escaping the scope of %a through \\result"
d_var sv
| Location_Bytes.Top_Param.Set _ ->
warning_once_current
"locals %a escaping the scope of %a through \\result"
Location_Bytes.Top_Param.pretty locals
d_var sv