From 1241e9840381c73da1f6fc018a141c614c9883c2 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 23 May 2019 05:13:42 -0700 Subject: [PATCH] [clang] avoid error on ObjC model Summary: Infer was complaining about a parameter not null checked, which was failing the model compilation since no errors are allowed on models. Reviewed By: ezgicicek Differential Revision: D15453573 fbshipit-source-id: 3bd0df715 --- infer/models/objc/src/Dispatch_once.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/models/objc/src/Dispatch_once.m b/infer/models/objc/src/Dispatch_once.m index 7e6729307..c52bb1660 100644 --- a/infer/models/objc/src/Dispatch_once.m +++ b/infer/models/objc/src/Dispatch_once.m @@ -14,6 +14,6 @@ typedef void (^dispatch_block_t)(void); typedef long dispatch_once_t; -static void _dispatch_once(dispatch_once_t* predicate, dispatch_block_t block) { +static void _dispatch_once(dispatch_once_t* predicate, __nonnull dispatch_block_t block) { block(); }