[quandary] fix missing check for builtin in Quandary models

Reviewed By: jeremydubreil Differential Revision: D3972830 fbshipit-source-id: d431dfe
8 years ago · 8ed645315c
parent bd22999950
commit 8ed645315c
1 changed files with 2 additions and 0 deletions
--- a/infer/src/quandary/JavaTaintAnalysis.ml
+++ b/infer/src/quandary/JavaTaintAnalysis.ml
@ -53,6 +53,8 @@ include
            | _ ->
                []
          end
+      | pname when Builtin.is_registered pname ->
+          []
      | pname ->
          failwithf "Non-Java procname %a in Java analysis@." Procname.pp pname
  end)