From 8ed645315c3bd06abbfc81e802da881af7f9832d Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Wed, 5 Oct 2016 09:12:06 -0700
Subject: [PATCH] [quandary] fix missing check for builtin in Quandary models

Reviewed By: jeremydubreil

Differential Revision: D3972830

fbshipit-source-id: d431dfe
---
 infer/src/quandary/JavaTaintAnalysis.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/infer/src/quandary/JavaTaintAnalysis.ml b/infer/src/quandary/JavaTaintAnalysis.ml
index f3930601d..7e186070d 100644
--- 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)