1// RUN: %clang_cc1 -triple x86_64-apple-macos11 -fsyntax-only -fobjc-arc -fblocks -verify -Wunused-but-set-variable -Wno-objc-root-class %s 2 3typedef struct dispatch_queue_s *dispatch_queue_t; 4 5typedef void (^dispatch_block_t)(void); 6 7void dispatch_async(dispatch_queue_t queue, dispatch_block_t block); 8 9extern __attribute__((visibility("default"))) struct dispatch_queue_s _dispatch_main_q; 10 11id getFoo(void); 12 13@protocol P 14 15@end 16 17@interface I 18 19@end 20 21void test(void) { 22 // no diagnostics 23 __block id x = getFoo(); 24 __block id<P> y = x; 25 __block I *z = (I *)x; 26 // diagnose non-block variables 27 id x2 = getFoo(); // expected-warning {{variable 'x2' set but not used}} 28 dispatch_async(&_dispatch_main_q, ^{ 29 x = ((void *)0); 30 y = x; 31 z = ((void *)0); 32 }); 33 x2 = getFoo(); 34} 35