[Infer] Dedup reports of weakSelf in Noescape block

Summary: Once we identify a weakSelf variable that is being used in a Noescape block, we want to report only the first occurrence.

Reviewed By: skcho

Differential Revision: D19941502

fbshipit-source-id: 2b6d4648b

infer/src/checkers/SelfInBlock.ml

@@ -134,9 +134,10 @@ module Domain = struct
 end
 
 type report_issues_result =
-  { weakSelfList: DomainData.t list
+  { reported_captured_strong_self: Pvar.Set.t
+  ; reported_weak_self_in_noescape_block: Pvar.Set.t
   ; selfList: DomainData.t list
-  ; reported_captured_strong_self: Pvar.Set.t }
+  ; weakSelfList: DomainData.t list }
 
 module TransferFunctions = struct
   module Domain = Domain
@@ -436,7 +437,12 @@ let report_mix_self_weakself_issues summary domain (weakSelf : DomainData.t) (se
   Reporting.log_error summary ~ltr ~loc:self.loc IssueType.mixed_self_weakself message
 
 
-let report_weakself_in_no_escape_block_issues summary domain (weakSelf : DomainData.t) procname =
+let report_weakself_in_no_escape_block_issues summary domain (weakSelf : DomainData.t) procname
+    reported_weak_self_in_noescape_block =
+  if not (Pvar.Set.mem weakSelf.pvar reported_weak_self_in_noescape_block) then (
+    let reported_weak_self_in_noescape_block =
+      Pvar.Set.add weakSelf.pvar reported_weak_self_in_noescape_block
+    in
     let message =
       F.asprintf
         "This block uses `%a` at %a. This is probably not needed since the block is passed to the \
@@ -445,7 +451,9 @@ let report_weakself_in_no_escape_block_issues summary domain (weakSelf : DomainD
         (Procname.to_simplified_string procname)
     in
     let ltr = make_trace_use_self_weakself domain in
-  Reporting.log_error summary ~ltr ~loc:weakSelf.loc IssueType.weak_self_in_noescape_block message
+    Reporting.log_error summary ~ltr ~loc:weakSelf.loc IssueType.weak_self_in_noescape_block message ;
+    reported_weak_self_in_noescape_block )
+  else reported_weak_self_in_noescape_block
 
 
 let report_weakself_multiple_issue summary domain (weakSelf1 : DomainData.t)
@@ -493,19 +501,27 @@ let report_issues summary domain attributes =
         in
         {result with reported_captured_strong_self}
     | DomainData.WEAK_SELF ->
-        ( match attributes.ProcAttributes.passed_as_noescape_block_to with
+        let reported_weak_self_in_noescape_block =
+          match attributes.ProcAttributes.passed_as_noescape_block_to with
           | Some procname ->
               report_weakself_in_no_escape_block_issues summary domain domain_data procname
+                result.reported_weak_self_in_noescape_block
           | None ->
-            () ) ;
-        {result with weakSelfList= domain_data :: result.weakSelfList}
+              result.reported_weak_self_in_noescape_block
+        in
+        { result with
+          reported_weak_self_in_noescape_block
+        ; weakSelfList= domain_data :: result.weakSelfList }
     | DomainData.SELF ->
         {result with selfList= domain_data :: result.selfList}
     | _ ->
         result
   in
   let report_issues_result_empty =
-    {weakSelfList= []; selfList= []; reported_captured_strong_self= Pvar.Set.empty}
+    { reported_captured_strong_self= Pvar.Set.empty
+    ; reported_weak_self_in_noescape_block= Pvar.Set.empty
+    ; selfList= []
+    ; weakSelfList= [] }
   in
   let domain_bindings =
     Vars.bindings domain

infer/tests/codetoanalyze/objc/self-in-block/NoescapeBlock.m

@@ -34,6 +34,7 @@
   __weak __typeof(self) weakSelf = self;
   [allResults enumerateObjectsUsingBlock:^(id obj, NSUInteger idx, BOOL* stop) {
     B* result = [weakSelf process:obj]; // bug
+    B* result1 = [weakSelf process:obj]; // no bug because of dedup
     if (result != nil) {
       [resultsList addObject:result];
     }

infer/tests/codetoanalyze/objc/self-in-block/issues.exp

@@ -1,4 +1,5 @@
-codetoanalyze/objc/self-in-block/NoescapeBlock.m, objc_blockA::weak_in_noescape_block_bad:_1, 1, WEAK_SELF_IN_NO_ESCAPE_BLOCK, no_bucket, ERROR, [Using &weakSelf]
+codetoanalyze/objc/self-in-block/NoescapeBlock.m, objc_blockA::weak_in_noescape_block_bad:_1, 1, MULTIPLE_WEAKSELF, no_bucket, ERROR, [Using &weakSelf,Using &weakSelf]
+codetoanalyze/objc/self-in-block/NoescapeBlock.m, objc_blockA::weak_in_noescape_block_bad:_1, 1, WEAK_SELF_IN_NO_ESCAPE_BLOCK, no_bucket, ERROR, [Using &weakSelf,Using &weakSelf]
 codetoanalyze/objc/self-in-block/StrongSelf.m, objc_blockSelfInBlockTest::mixSelfWeakSelf_bad_1, 4, MIXED_SELF_WEAKSELF, no_bucket, ERROR, [Using &weakSelf,Using &self,Using &self]
 codetoanalyze/objc/self-in-block/StrongSelf.m, objc_blockSelfInBlockTest::strongSelfCheck2_bad_6, 6, STRONG_SELF_NOT_CHECKED, no_bucket, ERROR, [&strongSelf assigned here,Using &strongSelf not checked for null,Using &strongSelf not checked for null]
 codetoanalyze/objc/self-in-block/StrongSelf.m, objc_blockSelfInBlockTest::strongSelfCheck3_bad_9, 2, STRONG_SELF_NOT_CHECKED, no_bucket, ERROR, [&strongSelf assigned here,Using &strongSelf not checked for null]