[quandary] log instead of failing hard when specified source has no return value

Reviewed By: jeremydubreil

Differential Revision: D4483898

fbshipit-source-id: 0e8ea5a

infer/src/quandary/TaintAnalysis.ml

@@ -431,8 +431,10 @@ module Make (TaintSpecification : TaintSpec.S) = struct
                   let access_tree = add_source source ret_id ret_typ astate_with_sink.access_tree in
                   { astate_with_sink with access_tree; }
               | Some _, None ->
-                  failwithf
+                  L.err
-                    "%a is marked as a source, but has no return value" Procname.pp callee_pname
+                    "Warning: %a is marked as a source, but has no return value"
+                    Procname.pp callee_pname;
+                  astate_with_sink
               | None, _ ->
                   astate_with_sink in