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