diff --git a/infer/src/IR/Procname.ml b/infer/src/IR/Procname.ml index d5f4d7e42..280d0b77d 100644 --- a/infer/src/IR/Procname.ml +++ b/infer/src/IR/Procname.ml @@ -781,7 +781,7 @@ let to_filename pname = | _ -> F.asprintf "%a" pp_unique_id pname in - Escape.escape_filename @@ DB.append_crc_cutoff proc_id + DB.append_crc_cutoff proc_id module SQLite = struct diff --git a/infer/src/istd/Escape.ml b/infer/src/istd/Escape.ml index 29b2bfa69..19e7b5e8f 100644 --- a/infer/src/istd/Escape.ml +++ b/infer/src/istd/Escape.ml @@ -100,18 +100,6 @@ let escape_path s = escape_map map s -(* Python 2 sucks at utf8 so do not write unicode file names to disk - as Python may need to see them *) -let escape_filename s = - let map = function - | c when Char.to_int c > 127 -> - Some "?" (* non-ascii character: escape *) - | _ -> - None - in - escape_map map s - - let escape_json s = escape_map (function '"' -> Some "\\\"" | '\\' -> Some "\\\\" | _ -> None) s let escape_double_quotes s = escape_map (function '"' -> Some "\\\"" | _ -> None) s diff --git a/infer/src/istd/Escape.mli b/infer/src/istd/Escape.mli index f1bccfa0b..458162a1b 100644 --- a/infer/src/istd/Escape.mli +++ b/infer/src/istd/Escape.mli @@ -20,9 +20,6 @@ val escape_xml : string -> string val escape_url : string -> string -val escape_filename : string -> string -(** escape a string to be used as a file name *) - val escape_json : string -> string (** escape characters in the string so it becomes a valid JSON string *)