From b6fc605c5a583e8bbab7637b348c6a19126a2d0d Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Mon, 15 Jun 2020 03:06:16 -0700 Subject: [PATCH] [biabdcution] Delete BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED Reviewed By: ngorogiannis Differential Revision: D22018997 fbshipit-source-id: 3c644560d --- infer/man/man1/infer-full.txt | 2 -- infer/man/man1/infer-report.txt | 2 -- infer/man/man1/infer.txt | 2 -- infer/src/base/IssueType.ml | 5 ----- infer/src/base/IssueType.mli | 2 -- infer/src/biabduction/Exceptions.ml | 4 ---- 6 files changed, 17 deletions(-) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 1e99dd7f5..7d5dfd586 100644 --- a/infer/man/man1/infer-full.txt +++ b/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), diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index 885c80250..37dfd4c21 100644 --- a/infer/man/man1/infer-report.txt +++ b/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), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index 227fd305c..c223dbf4a 100644 --- a/infer/man/man1/infer.txt +++ b/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), diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 9d4e62fb6..018739e9e 100644 --- a/infer/src/base/IssueType.ml +++ b/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 diff --git a/infer/src/base/IssueType.mli b/infer/src/base/IssueType.mli index 7226b5721..8a4aa2e42 100644 --- a/infer/src/base/IssueType.mli +++ b/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 diff --git a/infer/src/biabduction/Exceptions.ml b/infer/src/biabduction/Exceptions.ml index 8637dcbae..9b3dd888e 100644 --- a/infer/src/biabduction/Exceptions.ml +++ b/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 ->