[stats] less error-prone `incr` functions

Summary:
Instead of `let incr_foo () = global_stats.foo <- global_stats.foo + 1` where you have to
check that you copy/pasted the right stuff and substituted `foo`
everywhere, write `let incr_foo () = incr Fiels.summary_foo` where
there's less room for errors.

Reviewed By: artempyanykh

Differential Revision: D16561868

fbshipit-source-id: 77ea09bef

infer/src/backend/BackendStats.ml

@@ -6,6 +6,7 @@
  *)
 open! IStd
 module F = Format
+module L = Logging
 
 include struct
   (* ignore dead modules added by @@deriving fields *)
@@ -30,27 +31,25 @@ let global_stats =
 
 let get () = global_stats
 
-let incr_summary_file_try_load () =
+let incr field =
-  global_stats.summary_file_try_load <- global_stats.summary_file_try_load + 1
+  match Field.setter field with
+  | None ->
+      L.die InternalError "incr on non-mutable field %s" (Field.name field)
+  | Some set ->
+      set global_stats (Field.get field global_stats + 1)
 
 
-let incr_summary_read_from_disk () =
+let incr_summary_file_try_load () = incr Fields.summary_file_try_load
-  global_stats.summary_read_from_disk <- global_stats.summary_read_from_disk + 1
 
+let incr_summary_read_from_disk () = incr Fields.summary_read_from_disk
 
-let incr_summary_cache_hits () =
+let incr_summary_cache_hits () = incr Fields.summary_cache_hits
-  global_stats.summary_cache_hits <- global_stats.summary_cache_hits + 1
 
+let incr_summary_cache_misses () = incr Fields.summary_cache_misses
 
-let incr_summary_cache_misses () =
+let incr_summary_has_model_queries () = incr Fields.summary_has_model_queries
-  global_stats.summary_cache_misses <- global_stats.summary_cache_misses + 1
 
-
+let copy from ~into : unit =
-let incr_summary_has_model_queries () =
-  global_stats.summary_has_model_queries <- global_stats.summary_has_model_queries + 1
-
-
-let copy from ~into =
   let { summary_file_try_load
       ; summary_read_from_disk
       ; summary_cache_hits