1 // RUN: %clang_cc1 -analyze -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 -analyzer-store=region -fblocks -verify %s
2 #define NULL 0
3 void clang_analyzer_eval(int);
4 void myFunc();
5 void myWeakFunc() __attribute__((weak_import));
6
testWeakFuncIsNull()7 void testWeakFuncIsNull()
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
testWeakFuncIsNot()18 void testWeakFuncIsNot()
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
testWeakFuncIsTrue()28 void testWeakFuncIsTrue()
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
f(void)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
f2()54 void f2() {
55 g(f);
56 }
57
f3(void (* f)(void),void (* g)(void))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
t10()73 void t10 () {
74 free((void*)&t10); // expected-warning {{Argument to free() is the address of the function 't10', which is not memory allocated by malloc()}}
75 }
76
77 //===----------------------------------------------------------------------===
78 // string.c : strnlen()
79 //===----------------------------------------------------------------------===
80 typedef typeof(sizeof(int)) size_t;
81 size_t strlen(const char *s) __attribute__((weak_import));
82
strlen_fn()83 size_t strlen_fn() {
84 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}}
85 }
86
87 //===----------------------------------------------------------------------===
88 // unix-fns.c : dispatch_once
89 //===----------------------------------------------------------------------===
90 typedef void (^dispatch_block_t)(void);
91 typedef long dispatch_once_t;
92 void dispatch_once(dispatch_once_t *predicate, dispatch_block_t block) __attribute__((weak_import));
93
test_dispatch_once()94 void test_dispatch_once() {
95 dispatch_once_t pred = 0;
96 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}}
97 }
test_dispatch_once_neg()98 void test_dispatch_once_neg() {
99 static dispatch_once_t pred = 0;
100 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^() {})); } while (0); // no-warning
101 }
102
103 //===----------------------------------------------------------------------===
104 // retain-release-path-notes.m
105 //===----------------------------------------------------------------------===
106 typedef struct CFType *CFTypeRef;
107 CFTypeRef CFCreateSomething() __attribute__((weak_import));
108 CFTypeRef CFGetSomething() __attribute__((weak_import));
109
CFCopyRuleViolation()110 CFTypeRef CFCopyRuleViolation () {
111 CFTypeRef object = CFGetSomething();
112 return object; // expected-warning{{Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected}}
113 }
114
CFGetRuleViolation()115 CFTypeRef CFGetRuleViolation () {
116 CFTypeRef object = CFCreateSomething(); // expected-warning{{Potential leak of an object stored into 'object'}}
117 return object; }
118