Activate timeout logging in the progress bar when developer mode is on.

Reviewed By: jberdine

Differential Revision: D3041187

fb-gh-sync-id: b1450db
shipit-source-id: b1450db

infer/src/backend/logging.ml

@@ -181,3 +181,17 @@ let log_progress_file () =
 
 let log_progress_procedure () =
   log_progress_simple "."
+
+let log_progress_timeout_event failure_kind =
+  if !Config.developer_mode then
+    begin
+      match failure_kind with
+      | FKtimeout ->
+          log_progress_simple "T"
+      | FKsymops_timeout _ ->
+          log_progress_simple "S"
+      | FKrecursion_timeout _ ->
+          log_progress_simple "R"
+      | FKcrash _ ->
+          log_progress_simple "C"
+    end

infer/src/backend/logging.mli

@@ -135,3 +135,6 @@ val log_progress_file : unit -> unit
 
 (** Progress bar: start of the analysis of a procedure. *)
 val log_progress_procedure : unit -> unit
+
+(** Progress bar: log a timeout event if in developer mode. *)
+val log_progress_timeout_event : failure_kind -> unit

infer/src/backend/timeout.ml

@@ -119,6 +119,7 @@ let exe_timeout f x =
   with
   | Analysis_failure_exe kind ->
       resume_previous_timeout ();
+      L.log_progress_timeout_event kind;
       Errdesc.warning_err (State.get_loc ()) "TIMEOUT: %a@." pp_failure_kind kind;
       Some kind
   | exe ->