From 696731523d4f7f86f37a96459ed017c6e8232b72 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Mon, 17 Jun 2019 02:30:53 -0700 Subject: [PATCH] [pname dispatcher] more permissive templated function match Summary: This allows to match `foo` and many other horrible names. Reviewed By: mbouaziz Differential Revision: D15825403 fbshipit-source-id: c892033aa --- infer/src/IR/ProcnameDispatcher.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/infer/src/IR/ProcnameDispatcher.ml b/infer/src/IR/ProcnameDispatcher.ml index 28cfecb4b..e2da7d2a2 100644 --- a/infer/src/IR/ProcnameDispatcher.ml +++ b/infer/src/IR/ProcnameDispatcher.ml @@ -140,9 +140,7 @@ let name_cons : fun m name -> let {on_templated_name; get_markers} = m in let match_fuzzy_name = - let fuzzy_name_regexp = - name |> Str.quote |> Printf.sprintf "^%s\\(<[a-z0-9_:<>]+>\\)?$" |> Str.regexp - in + let fuzzy_name_regexp = name |> Str.quote |> Printf.sprintf "^%s\\(<.+>\\)?$" |> Str.regexp in fun s -> Str.string_match fuzzy_name_regexp s 0 in let on_qual_name context f qual_name =