Fix compilation issues

Author: paveon

infer/src/backend/Payloads.ml

@@ -85,7 +85,6 @@ let empty =
   ; config_impact_analysis= no_payload
   ; cost= no_payload
   ; looper= no_payload
-  (* ; deadlock= no_payload *)
   ; disjunctive_demo= no_payload
   ; lab_resource_leaks= no_payload
   ; litho_required_props= no_payload
@@ -164,8 +163,7 @@ module SQLite = struct
       ~racerd:data_of_sqlite_column ~lab_resource_leaks:data_of_sqlite_column
       ~scope_leakage:data_of_sqlite_column ~siof:data_of_sqlite_column
       ~lineage:data_of_sqlite_column ~lineage_shape:data_of_sqlite_column
-      ~looper:data_of_sqlite_column
-      ~starvation:data_of_sqlite_column
+      ~looper:data_of_sqlite_column ~starvation:data_of_sqlite_column
 
 
   let eager_load stmt ~first_column = (make_eager first_column |> fst) stmt

infer/src/base/DBWriter.mli

@@ -56,6 +56,6 @@ val store_spec :
   -> proc_name:Sqlite3.Data.t
   -> merge_pulse_payload:(old_pulse_payload:Sqlite3.Data.t option -> Sqlite3.Data.t list)
   -> merge_report_summary:(old_report_summary:Sqlite3.Data.t option -> Sqlite3.Data.t)
-  -> merge_looper_summary:(old_report_summary:Sqlite3.Data.t option -> Sqlite3.Data.t)
+  -> merge_looper_summary:(old_looper_summary:Sqlite3.Data.t option -> Sqlite3.Data.t)
   -> merge_summary_metadata:(old_summary_metadata:Sqlite3.Data.t option -> Sqlite3.Data.t)
   -> unit

infer/src/base/IssueType.ml

@@ -623,15 +623,15 @@ let inferbo_alloc_may_be_negative =
 let infinite_cost_call ~kind = register_cost ~enabled:false "INFINITE_%s" ~kind
 
 let looper_infinite_cost =
-  register ~id:"LOOPER_INFINITE_EXECUTION_TIME" Error Looper
+  register ~category:No_category ~id:"LOOPER_INFINITE_EXECUTION_TIME" Error Looper
     ~user_documentation:
       "This warning indicates that Looper was not able to determine a static\n\
       \      upper bound on the execution cost of the procedure. By default, this\n\
       \      issue type is disabled."
 
 
 let looper_condition_always_false =
-  register ~id:"LOOPER_CONDITION_ALWAYS_FALSE" Warning Looper
+  register ~category:No_category ~id:"LOOPER_CONDITION_ALWAYS_FALSE" Warning Looper
     ~user_documentation:
       "This warning indicates that Looper determined a condition to be always false."