1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core,debug.ExprInspection,unix.Malloc,unix.cstring,alpha.unix.cstring,unix.API,osx.API,osx.cocoa.RetainCount -Wno-null-dereference -Wno-tautological-compare -fblocks -verify -analyzer-config eagerly-assume=false %s 2 #define NULL 0 3 void clang_analyzer_eval(int); 4 void myFunc(void); 5 void myWeakFunc(void) __attribute__((weak_import)); 6 7 void testWeakFuncIsNull(void) 8 { 9 clang_analyzer_eval(myFunc == NULL); // expected-warning{{FALSE}} 10 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{UNKNOWN}} 11 if (myWeakFunc == NULL) { 12 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{TRUE}} 13 } else { 14 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{FALSE}} 15 } 16 } 17 18 void testWeakFuncIsNot(void) 19 { 20 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{UNKNOWN}} 21 if (!myWeakFunc) { 22 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{TRUE}} 23 } else { 24 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{FALSE}} 25 } 26 } 27 28 void testWeakFuncIsTrue(void) 29 { 30 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{UNKNOWN}} 31 if (myWeakFunc) { 32 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{FALSE}} 33 } else { 34 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{TRUE}} 35 } 36 } 37 38 //===----------------------------------------------------------------------=== 39 // func.c 40 //===----------------------------------------------------------------------=== 41 void f(void) __attribute__((weak_import)); 42 void g(void (*fp)(void)) __attribute__((weak_import)); 43 44 void f(void) { 45 void (*p)(void); 46 p = f; 47 p = &f; 48 p(); 49 (*p)(); 50 } 51 52 void g(void (*fp)(void)); 53 54 void f2(void) { 55 g(f); 56 } 57 58 void f3(void (*f)(void), void (*g)(void)) { 59 clang_analyzer_eval(!f); // expected-warning{{UNKNOWN}} 60 f(); 61 clang_analyzer_eval(!f); // expected-warning{{FALSE}} 62 63 clang_analyzer_eval(!g); // expected-warning{{UNKNOWN}} 64 (*g)(); 65 clang_analyzer_eval(!g); // expected-warning{{FALSE}} 66 } 67 68 //===----------------------------------------------------------------------=== 69 // free.c 70 //===----------------------------------------------------------------------=== 71 void free(void *) __attribute__((weak_import)); 72 73 void t10 (void) { 74 free((void*)&t10); 75 // expected-warning@-1{{Argument to 'free()' is the address of the function 't10', which is not memory allocated by 'malloc()'}} 76 // expected-warning@-2{{attempt to call free on non-heap object 't10'}} 77 } 78 79 //===----------------------------------------------------------------------=== 80 // string.c : strnlen() 81 //===----------------------------------------------------------------------=== 82 typedef typeof(sizeof(int)) size_t; 83 size_t strlen(const char *s) __attribute__((weak_import)); 84 85 size_t strlen_fn(void) { 86 return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the address of the function 'strlen_fn', which is not a null-terminated string}} 87 } 88 89 //===----------------------------------------------------------------------=== 90 // unix-fns.c : dispatch_once 91 //===----------------------------------------------------------------------=== 92 typedef void (^dispatch_block_t)(void); 93 typedef long dispatch_once_t; 94 void dispatch_once(dispatch_once_t *predicate, dispatch_block_t block) __attribute__((weak_import)); 95 96 void test_dispatch_once(void) { 97 dispatch_once_t pred = 0; 98 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^(void) {})); } while (0); // expected-warning{{Call to 'dispatch_once' uses the local variable 'pred' for the predicate value}} 99 } 100 void test_dispatch_once_neg(void) { 101 static dispatch_once_t pred = 0; 102 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^(void) {})); } while (0); // no-warning 103 } 104 105 //===----------------------------------------------------------------------=== 106 // retain-release-path-notes.m 107 //===----------------------------------------------------------------------=== 108 typedef struct CFType *CFTypeRef; 109 CFTypeRef CFCreateSomething(void) __attribute__((weak_import)); 110 CFTypeRef CFGetSomething(void) __attribute__((weak_import)); 111 112 CFTypeRef CFCopyRuleViolation (void) { 113 CFTypeRef object = CFGetSomething(); 114 return object; // expected-warning{{Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected}} 115 } 116 117 CFTypeRef CFGetRuleViolation (void) { 118 CFTypeRef object = CFCreateSomething(); // expected-warning{{Potential leak of an object stored into 'object'}} 119 return object; } 120