1 // RUN: %clang_cc1 -triple i386-apple-darwin8 -analyze -analyzer-checker=core,alpha.core -analyzer-constraints=range -analyzer-store=region -Wno-objc-root-class %s > %t.1 2>&1 2 // RUN: FileCheck -input-file=%t.1 -check-prefix=CHECK-darwin8 %s 3 // RUN: %clang_cc1 -triple i386-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-constraints=range -analyzer-store=region -Wno-objc-root-class %s > %t.2 2>&1 4 // RUN: FileCheck -input-file=%t.2 -check-prefix=CHECK-darwin9 %s 5 // RUN: %clang_cc1 -triple thumbv6-apple-ios4.0 -analyze -analyzer-checker=core,alpha.core -analyzer-constraints=range -analyzer-store=region -Wno-objc-root-class %s > %t.3 2>&1 6 // RUN: FileCheck -input-file=%t.3 -check-prefix=CHECK-darwin9 %s 7 8 @interface MyClass {} 9 - (void *)voidPtrM; 10 - (int)intM; 11 - (long long)longlongM; 12 - (unsigned long long)unsignedLongLongM; 13 - (double)doubleM; 14 - (long double)longDoubleM; 15 - (void)voidM; 16 @end 17 @implementation MyClass 18 - (void *)voidPtrM { return (void *)0; } 19 - (int)intM { return 0; } 20 - (long long)longlongM { return 0; } 21 - (unsigned long long)unsignedLongLongM { return 0; } 22 - (double)doubleM { return 0.0; } 23 - (long double)longDoubleM { return 0.0; } 24 - (void)voidM {} 25 @end 26 27 void createFoo() { 28 MyClass *obj = 0; 29 30 void *v = [obj voidPtrM]; // no-warning 31 int i = [obj intM]; // no-warning 32 } 33 34 void createFoo2() { 35 MyClass *obj = 0; 36 37 long double ld = [obj longDoubleM]; 38 } 39 40 void createFoo3() { 41 MyClass *obj; 42 obj = 0; 43 44 long long ll = [obj longlongM]; 45 } 46 47 void createFoo4() { 48 MyClass *obj = 0; 49 50 double d = [obj doubleM]; 51 } 52 53 void createFoo5() { 54 MyClass *obj = (id)@""; 55 56 double d = [obj doubleM]; // no-warning 57 } 58 59 void createFoo6() { 60 MyClass *obj; 61 obj = 0; 62 63 unsigned long long ull = [obj unsignedLongLongM]; 64 } 65 66 void handleNilPruneLoop(MyClass *obj) { 67 if (!!obj) 68 return; 69 70 // Test if [obj intM] evaluates to 0, thus pruning the entire loop. 71 for (int i = 0; i < [obj intM]; i++) { 72 long long j = [obj longlongM]; 73 } 74 75 long long j = [obj longlongM]; 76 } 77 78 int handleVoidInComma() { 79 MyClass *obj = 0; 80 return [obj voidM], 0; 81 } 82 83 int marker(void) { // control reaches end of non-void function 84 } 85 86 // CHECK-darwin8: warning: The receiver of message 'longDoubleM' is nil and returns a value of type 'long double' that will be garbage 87 // CHECK-darwin8: warning: The receiver of message 'longlongM' is nil and returns a value of type 'long long' that will be garbage 88 // CHECK-darwin8: warning: The receiver of message 'doubleM' is nil and returns a value of type 'double' that will be garbage 89 // CHECK-darwin8: warning: The receiver of message 'unsignedLongLongM' is nil and returns a value of type 'unsigned long long' that will be garbage 90 // CHECK-darwin8: warning: The receiver of message 'longlongM' is nil and returns a value of type 'long long' that will be garbage 91 92 // CHECK-darwin9-NOT: warning: The receiver of message 'longlongM' is nil and returns a value of type 'long long' that will be garbage 93 // CHECK-darwin9-NOT: warning: The receiver of message 'unsignedLongLongM' is nil and returns a value of type 'unsigned long long' that will be garbage 94 // CHECK-darwin9-NOT: warning: The receiver of message 'doubleM' is nil and returns a value of type 'double' that will be garbage 95 // CHECK-darwin9-NOT: warning: The receiver of message 'longlongM' is nil and returns a value of type 'long long' that will be garbage 96 // CHECK-darwin9-NOT: warning: The receiver of message 'longDoubleM' is nil and returns a value of type 'long double' that will be garbage 97 // CHECK-darwin9: 1 warning generated 98 99
