[param-not-null] Adding a test

Summary: This shows a test of the capabilities of the checker: it's able to take into account the check for null that happens outside the block. Reviewed By: geralt-encore Differential Revision: D69590721 fbshipit-source-id: cfa0022fa2f75c4c3f1867397605d886ee98c9c1
facebook · Feb 13, 2025 · fa4fa77 · fa4fa77
1 parent 6d2bfce
commit fa4fa77
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/infer/tests/codetoanalyze/objc/parameter-not-null-checked/Blocks_as_parameters.m b/infer/tests/codetoanalyze/objc/parameter-not-null-checked/Blocks_as_parameters.m
@@ -193,6 +193,14 @@ + (void)block_call_safe_on_queue_macro_ok:(MyBlock)completion {
   BLOCK_CALL_SAFE_ON_QUEUE(dispatch_get_main_queue(), completion, nil);
 }
 
+- (void)startWithCompletionHandlerOk:(MyBlock)completion {
+  if (completion != nil) {
+    dispatch_async(dispatch_get_main_queue(), ^{
+      completion();
+    });
+  }
+}
+
 @end
 
 #ifdef __clang__