[starvation] tune logging and avoid dieing on non-struct locks

Reviewed By: mbouaziz

Differential Revision: D13398275

fbshipit-source-id: 83937ac59

infer/src/concurrency/ConcurrencyModels.ml

@@ -105,7 +105,7 @@ end = struct
     let qname_str = QualifiedCppName.to_qual_string qname in
     match List.find lock_models ~f:(fun mdl -> String.equal qname_str mdl.classname) with
     | None ->
-        L.debug Analysis Medium "is_recursive_lock_type: Could not find lock type %a@."
+        L.debug Analysis Verbose "is_recursive_lock_type: Could not find lock type %a@."
           QualifiedCppName.pp qname ;
         true
     | Some mdl ->
@@ -215,7 +215,7 @@ end = struct
 
   let get_lock_effect pname actuals =
     let log_parse_error error =
-      L.internal_error "%s pname:%a actuals:%a@." error Typ.Procname.pp pname
+      L.debug Analysis Verbose "%s pname:%a actuals:%a@." error Typ.Procname.pp pname
         (PrettyPrintable.pp_collection ~pp_item:HilExp.pp)
         actuals
     in

infer/src/concurrency/starvationDomain.ml

@@ -259,8 +259,9 @@ let is_recursive_lock event tenv =
     | {Typ.desc= Tptr ({desc= Tstruct name}, _)} | {desc= Tstruct name} ->
         ConcurrencyModels.is_recursive_lock_type name
     | typ ->
-        L.die L.InternalError "Asked if non-struct type %a is a recursive lock type.@."
-          (Typ.pp_full Pp.text) typ
+        L.debug Analysis Verbose "Asked if non-struct type %a is a recursive lock type.@."
+          (Typ.pp_full Pp.text) typ ;
+        true
   in
   match event with
   | {Event.elem= LockAcquire lock_path} ->