1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=unix.API,osx.API %s -analyzer-store=region -fblocks -verify 2 3 struct _opaque_pthread_once_t { 4 long __sig; 5 char __opaque[8]; 6 }; 7 typedef struct _opaque_pthread_once_t __darwin_pthread_once_t; 8 typedef __darwin_pthread_once_t pthread_once_t; 9 int pthread_once(pthread_once_t *, void (*)(void)); 10 typedef long unsigned int __darwin_size_t; 11 typedef __darwin_size_t size_t; 12 void *malloc(size_t); 13 14 typedef void (^dispatch_block_t)(void); 15 typedef long dispatch_once_t; 16 void dispatch_once(dispatch_once_t *predicate, dispatch_block_t block); 17 18 #ifndef O_CREAT 19 #define O_CREAT 0x0200 20 #define O_RDONLY 0x0000 21 #endif 22 int open(const char *, int, ...); 23 int close(int fildes); 24 25 void test_open(const char *path) { 26 int fd; 27 fd = open(path, O_RDONLY); // no-warning 28 if (!fd) 29 close(fd); 30 31 fd = open(path, O_CREAT); // expected-warning{{Call to 'open' requires a third argument when the 'O_CREAT' flag is set}} 32 if (!fd) 33 close(fd); 34 } 35 36 void test_dispatch_once() { 37 dispatch_once_t pred = 0; 38 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^() {})); } while (0); // expected-warning{{Call to 'dispatch_once' uses the local variable 'pred' for the predicate value}} 39 } 40 void test_dispatch_once_neg() { 41 static dispatch_once_t pred = 0; 42 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^() {})); } while (0); // no-warning 43 } 44 45 void test_pthread_once_aux(); 46 47 void test_pthread_once() { 48 pthread_once_t pred = {0x30B1BCBA, {0}}; 49 pthread_once(&pred, test_pthread_once_aux); // expected-warning{{Call to 'pthread_once' uses the local variable 'pred' for the "control" value}} 50 } 51 void test_pthread_once_neg() { 52 static pthread_once_t pred = {0x30B1BCBA, {0}}; 53 pthread_once(&pred, test_pthread_once_aux); // no-warning 54 } 55 56 // PR 2899 - warn of zero-sized allocations to malloc(). 57 void pr2899() { 58 char* foo = malloc(0); // expected-warning{{Call to 'malloc' has an allocation size of 0 bytes}} 59 for (unsigned i = 0; i < 100; i++) { 60 foo[i] = 0; 61 } 62 } 63 void pr2899_nowarn(size_t size) { 64 char* foo = malloc(size); // no-warning 65 for (unsigned i = 0; i < 100; i++) { 66 foo[i] = 0; 67 } 68 } 69
