Disabling the NSNotification center error from the backend

Reviewed By: dulmarod

Differential Revision: D3139192

fb-gh-sync-id: d0cd264
fbshipit-source-id: d0cd264

infer/src/backend/abs.ml

@@ -1024,7 +1024,7 @@ let check_observer_is_unsubscribed_deallocation prop e =
   match Prop.get_observer_attribute prop e with
   | Some Sil.Aobserver ->
       (match pvar_opt with
-       |  Some pvar ->
+       |  Some pvar when !Config.nsnotification_center_checker_backend ->
            L.d_strln (" ERROR: Object " ^ (Pvar.to_string pvar) ^
                       " is being deallocated while still registered in a notification center");
            let desc = Localise.desc_registered_observer_being_deallocated pvar loc in

infer/src/backend/config.ml

@@ -412,3 +412,5 @@ let string_of_language = function
   | C_CPP -> "C_CPP"
 
 let show_progress_bar = ref true
+
+let nsnotification_center_checker_backend = ref false

infer/tests/codetoanalyze/objc/errors/registered_observer/ViewController.m

@@ -64,10 +64,10 @@ int fooOK2() {
 }
 
 int barError() {
-  ViewController* vc = [[ViewController alloc] init];
-  [vc fired];
+  // ViewController* vc = [[ViewController alloc] init];
+  //[vc fired];
 
-  vc = [[ViewController alloc] init];
+  // vc = [[ViewController alloc] init];
   return 0;
 }
 

infer/tests/endtoend/objc/RegisteredObserver.java

@@ -50,7 +50,7 @@ public class RegisteredObserver {
       throws InterruptedException, IOException, InferException {
     InferResults inferResults = InferRunner.runInferObjC(inferCmd);
     String[] methods = {
-      "fooError", "barError"
+      //"fooError", "barError"
     };
     assertThat(
         "Results should contain " + REGISTERED_OBSERVER,