From 2f34e998c2d5c64308059123c5558cf764584bce Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Sat, 17 Sep 2016 11:35:48 -0700
Subject: [PATCH] [quandary] consider builtins to be neither sources nor sinks

Reviewed By: jeremydubreil

Differential Revision: D3861787

fbshipit-source-id: 3eb8516
---
 infer/src/quandary/JavaTrace.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/infer/src/quandary/JavaTrace.ml b/infer/src/quandary/JavaTrace.ml
index dd6eddd56..e7233996c 100644
--- a/infer/src/quandary/JavaTrace.ml
+++ b/infer/src/quandary/JavaTrace.ml
@@ -69,7 +69,8 @@ module JavaSource = struct
           | _ ->
               []
         end
-    | _ -> failwith "Non-Java procname in Java analysis"
+    | pname when Builtin.is_registered pname -> []
+    | pname -> failwithf "Non-Java procname %a in Java analysis@." Procname.pp pname
 
   (** make a clone of [t] with a new call site *)
   let to_return t return_site =
@@ -145,7 +146,8 @@ module JavaSink = struct
           | _ ->
               []
         end
-    | _ -> failwith "Non-Java procname in Java analysis"
+    | pname when Builtin.is_registered pname -> []
+    | pname -> failwithf "Non-Java procname %a in Java analysis@." Procname.pp pname
 
   let to_callee t callee_site =
     { t with site = callee_site; }