From 7fb3cf8821f0fbb89cab74425c6c84f85e913b08 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 15 Jul 2015 18:53:39 +0200 Subject: Remove non digit and non letter chars from filename used in renaming of static variables to avoid problems with files such as "a b.c". --- cparser/Rename.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser/Rename.ml') diff --git a/cparser/Rename.ml b/cparser/Rename.ml index cf82bc9f..b0dc120f 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -48,6 +48,7 @@ let enter_static env id file = let id' = StringMap.find id.name env.re_public in { env with re_id = IdentMap.add id id' env.re_id } with Not_found -> + let file = String.map (fun a -> match a with 'a'..'z' | 'A'..'Z' | '0'..'9' -> a | _ -> '_') file in let id' = {id with name = Printf.sprintf "_%s_%s" file id.name} in { re_id = IdentMap.add id id' env.re_id; re_public = env.re_public; -- cgit