From 3051d90307b067b6e2de7ce7b3f69c5460b66e50 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Tue, 27 Sep 2016 07:24:19 -0700
Subject: [PATCH] [quandary] kill unused Source.to_return proc

Reviewed By: jvillard

Differential Revision: D3927750

fbshipit-source-id: a4047f4
---
 infer/src/quandary/JavaTrace.ml | 4 ----
 infer/src/quandary/Source.ml    | 2 --
 infer/src/unit/TaintTests.ml    | 1 -
 infer/src/unit/TraceTests.ml    | 1 -
 4 files changed, 8 deletions(-)

diff --git a/infer/src/quandary/JavaTrace.ml b/infer/src/quandary/JavaTrace.ml
index c7ccf7e6b..77373d2c9 100644
--- a/infer/src/quandary/JavaTrace.ml
+++ b/infer/src/quandary/JavaTrace.ml
@@ -78,10 +78,6 @@ module JavaSource = struct
     | 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 =
-    { t with site = return_site; }
-
   let compare src1 src2 =
     SourceKind.compare src1.kind src2.kind
     |> next CallSite.compare src1.site src2.site
diff --git a/infer/src/quandary/Source.ml b/infer/src/quandary/Source.ml
index 6f6d45df4..5de11858e 100644
--- a/infer/src/quandary/Source.ml
+++ b/infer/src/quandary/Source.ml
@@ -16,8 +16,6 @@ module type S = sig
 
   val get_footprint_access_path: t -> AccessPath.t option
 
-  val to_return : t -> CallSite.t -> t
-
   (** ith return value * ith sink kind *)
   val get : CallSite.t -> (int * t) list
 end
diff --git a/infer/src/unit/TaintTests.ml b/infer/src/unit/TaintTests.ml
index b34d4ab58..8d71b5cbc 100644
--- a/infer/src/unit/TaintTests.ml
+++ b/infer/src/unit/TaintTests.ml
@@ -44,7 +44,6 @@ module MockTrace = Trace.Make(struct
       let is_footprint _ = assert false
       let make_footprint _ = assert false
       let get_footprint_access_path _ = assert false
-      let to_return _ _ = assert false
     end
 
     module Sink = struct
diff --git a/infer/src/unit/TraceTests.ml b/infer/src/unit/TraceTests.ml
index 245b0c2b2..4236cf461 100644
--- a/infer/src/unit/TraceTests.ml
+++ b/infer/src/unit/TraceTests.ml
@@ -67,7 +67,6 @@ module MockSource = struct
 
   let get _ = assert false
   let get_footprint_access_path _ = assert false
-  let to_return _ _ = assert false
 end
 
 module MockSink = struct