[quandary] eliminate spammy soft error for bad return summary

Reviewed By: jeremydubreil

Differential Revision: D6427143

fbshipit-source-id: 55aedb3

infer/src/quandary/TaintAnalysis.ml

@@ -317,9 +317,7 @@ module Make (TaintSpecification : TaintSpec.S) = struct
           | Some base_var ->
               Some (AccessPath.Abs.with_base base_var ret_ap)
           | None ->
-              L.internal_error
-                "Have summary for retval %a of callee %a, but no ret id to bind it to@\n"
-                AccessPath.Abs.pp ret_ap Typ.Procname.pp (CallSite.pname callee_site) ;
+              (* TODO (T23832636): fail hard here *)
               None
         in
         let project ~formal_ap ~actual_ap =

infer/tests/codetoanalyze/cpp/quandary/basics.cpp

@@ -195,4 +195,8 @@ void loop_ok() {
   }
 }
 
+void ret_void_ok() { return; }
+
+void ret_void_transitive_ok() { return ret_void_ok(); }
+
 }