[biabdcution] Delete BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED

Reviewed By: ngorogiannis

Differential Revision: D22018997

fbshipit-source-id: 3c644560d

infer/man/man1/infer-full.txt

@@ -363,8 +363,6 @@ OPTIONS
              BIABDUCTION_MEMORY_LEAK (disabled by default),
              BIABD_CONDITION_ALWAYS_FALSE (disabled by default),
              BIABD_CONDITION_ALWAYS_TRUE (disabled by default),
-             BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED (enabled by
-           default),
              BIABD_USE_AFTER_FREE (enabled by default),
              BUFFER_OVERRUN_L1 (enabled by default),
              BUFFER_OVERRUN_L2 (enabled by default),

infer/man/man1/infer-report.txt

@@ -93,8 +93,6 @@ OPTIONS
              BIABDUCTION_MEMORY_LEAK (disabled by default),
              BIABD_CONDITION_ALWAYS_FALSE (disabled by default),
              BIABD_CONDITION_ALWAYS_TRUE (disabled by default),
-             BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED (enabled by
-           default),
              BIABD_USE_AFTER_FREE (enabled by default),
              BUFFER_OVERRUN_L1 (enabled by default),
              BUFFER_OVERRUN_L2 (enabled by default),

infer/man/man1/infer.txt

@@ -363,8 +363,6 @@ OPTIONS
              BIABDUCTION_MEMORY_LEAK (disabled by default),
              BIABD_CONDITION_ALWAYS_FALSE (disabled by default),
              BIABD_CONDITION_ALWAYS_TRUE (disabled by default),
-             BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED (enabled by
-           default),
              BIABD_USE_AFTER_FREE (enabled by default),
              BUFFER_OVERRUN_L1 (enabled by default),
              BUFFER_OVERRUN_L2 (enabled by default),

infer/src/base/IssueType.ml

@@ -248,11 +248,6 @@ let biabd_condition_always_true =
     Warning Biabduction
 
 
-let biabd_registered_observer_being_deallocated =
-  register_from_string ~hum:"Registered Observer Being Deallocated"
-    ~id:"BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED" Error Biabduction
-
-
 let biabd_use_after_free =
   register_from_string ~hum:"Use After Free" ~id:"BIABD_USE_AFTER_FREE" Error Biabduction
 

infer/src/base/IssueType.mli

@@ -88,8 +88,6 @@ val biabd_condition_always_false : t
 
 val biabd_condition_always_true : t
 
-val biabd_registered_observer_being_deallocated : t
-
 val biabd_use_after_free : t
 
 val buffer_overrun_l1 : t

infer/src/biabduction/Exceptions.ml

@@ -195,10 +195,6 @@ let recognize_exception exn : IssueToReport.t =
       {issue_type= IssueType.precondition_not_met; description= desc; ocaml_pos= Some ocaml_pos}
   | Retain_cycle (desc, ocaml_pos) ->
       {issue_type= IssueType.retain_cycle; description= desc; ocaml_pos= Some ocaml_pos}
-  | Registered_observer_being_deallocated (desc, ocaml_pos) ->
-      { issue_type= IssueType.biabd_registered_observer_being_deallocated
-      ; description= desc
-      ; ocaml_pos= Some ocaml_pos }
   | SymOp.Analysis_failure_exe _ ->
       {issue_type= IssueType.failure_exe; description= Localise.no_desc; ocaml_pos= None}
   | Skip_function desc ->