2013-04-27 05:43:01 +08:00
|
|
|
// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.Loops,debug.ExprInspection -verify %s
|
2012-06-12 00:40:41 +08:00
|
|
|
|
|
|
|
void clang_analyzer_eval(int);
|
|
|
|
|
|
|
|
#define nil ((id)0)
|
|
|
|
|
2013-06-22 08:23:26 +08:00
|
|
|
typedef unsigned long NSUInteger;
|
2012-06-12 00:40:41 +08:00
|
|
|
@protocol NSFastEnumeration
|
|
|
|
- (int)countByEnumeratingWithState:(void *)state objects:(id *)objects count:(unsigned)count;
|
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSObject
|
|
|
|
+ (instancetype)testObject;
|
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSEnumerator <NSFastEnumeration>
|
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSArray : NSObject <NSFastEnumeration>
|
2013-06-22 08:23:26 +08:00
|
|
|
- (NSUInteger)count;
|
2012-06-12 00:40:41 +08:00
|
|
|
- (NSEnumerator *)objectEnumerator;
|
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSDictionary : NSObject <NSFastEnumeration>
|
2013-06-22 08:23:26 +08:00
|
|
|
- (NSUInteger)count;
|
2012-06-12 00:40:41 +08:00
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSMutableDictionary : NSDictionary
|
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSSet : NSObject <NSFastEnumeration>
|
2013-06-22 08:23:26 +08:00
|
|
|
- (NSUInteger)count;
|
2012-06-12 00:40:41 +08:00
|
|
|
@end
|
|
|
|
|
|
|
|
@interface NSPointerArray : NSObject <NSFastEnumeration>
|
|
|
|
@end
|
|
|
|
|
2013-06-22 08:23:26 +08:00
|
|
|
@interface NSString : NSObject
|
|
|
|
@end
|
|
|
|
|
2012-06-12 00:40:41 +08:00
|
|
|
void test() {
|
|
|
|
id x;
|
|
|
|
for (x in [NSArray testObject])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
|
|
|
|
|
|
|
|
for (x in [NSMutableDictionary testObject])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
|
|
|
|
|
|
|
|
for (x in [NSSet testObject])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
|
|
|
|
|
|
|
|
for (x in [[NSArray testObject] objectEnumerator])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
|
|
|
|
|
|
|
|
for (x in [NSPointerArray testObject])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{UNKNOWN}}
|
|
|
|
}
|
|
|
|
|
|
|
|
void testWithVarInFor() {
|
|
|
|
for (id x in [NSArray testObject])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{TRUE}}
|
|
|
|
for (id x in [NSPointerArray testObject])
|
|
|
|
clang_analyzer_eval(x != nil); // expected-warning{{UNKNOWN}}
|
|
|
|
}
|
|
|
|
|
2013-04-27 05:43:01 +08:00
|
|
|
void testNonNil(id a, id b) {
|
|
|
|
clang_analyzer_eval(a != nil); // expected-warning{{UNKNOWN}}
|
|
|
|
for (id x in a)
|
|
|
|
clang_analyzer_eval(a != nil); // expected-warning{{TRUE}}
|
|
|
|
|
|
|
|
if (b != nil)
|
|
|
|
return;
|
|
|
|
for (id x in b)
|
|
|
|
*(volatile int *)0 = 1; // no-warning
|
|
|
|
clang_analyzer_eval(b != nil); // expected-warning{{FALSE}}
|
|
|
|
}
|
|
|
|
|
2013-06-22 08:23:26 +08:00
|
|
|
void collectionIsEmpty(NSMutableDictionary *D){
|
|
|
|
if ([D count] == 0) { // Count is zero.
|
|
|
|
NSString *s = 0;
|
|
|
|
for (NSString *key in D) {
|
|
|
|
s = key; // Loop is never entered.
|
|
|
|
}
|
|
|
|
clang_analyzer_eval(s == 0); //expected-warning{{TRUE}}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void processCollection(NSMutableDictionary *D);
|
|
|
|
void collectionIsEmptyCollectionIsModified(NSMutableDictionary *D){
|
|
|
|
if ([D count] == 0) { // Count is zero.
|
|
|
|
NSString *s = 0;
|
|
|
|
processCollection(D); // However, the collection has changed.
|
|
|
|
for (NSString *key in D) {
|
|
|
|
s = key; // Loop might be entered.
|
|
|
|
}
|
|
|
|
clang_analyzer_eval(s == 0); //expected-warning{{FALSE}} //expected-warning{{TRUE}}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
int collectionIsEmptyNSSet(NSSet *S){
|
|
|
|
if ([S count] == 2) { // Count is non zero.
|
|
|
|
int tapCounts[2];
|
|
|
|
int i = 0;
|
|
|
|
for (NSString *elem in S) {
|
|
|
|
tapCounts[i]= 1; // Loop is entered.
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
return (tapCounts[0]); //no warning
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
int collectionIsNotEmptyNSArray(NSArray *A) {
|
|
|
|
int count = [A count];
|
|
|
|
if (count > 0) {
|
|
|
|
int i;
|
|
|
|
int j;
|
|
|
|
for (NSString *a in A) {
|
|
|
|
i = 1;
|
|
|
|
j++;
|
|
|
|
}
|
|
|
|
clang_analyzer_eval(i == 1); // expected-warning {{TRUE}}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void onlySuppressExitAfterZeroIterations(NSMutableDictionary *D) {
|
|
|
|
if (D.count > 0) {
|
|
|
|
int *x;
|
|
|
|
int i;
|
|
|
|
for (NSString *key in D) {
|
|
|
|
x = 0;
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
// Test that this is reachable.
|
|
|
|
int y = *x; // expected-warning {{Dereference of null pointer}}
|
|
|
|
y++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void onlySuppressLoopExitAfterZeroIterations_WithContinue(NSMutableDictionary *D) {
|
|
|
|
if (D.count > 0) {
|
|
|
|
int *x;
|
|
|
|
int i;
|
|
|
|
for (NSString *key in D) {
|
|
|
|
x = 0;
|
|
|
|
i++;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
// Test that this is reachable.
|
|
|
|
int y = *x; // expected-warning {{Dereference of null pointer}}
|
|
|
|
y++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
int* getPtr();
|
|
|
|
void onlySuppressLoopExitAfterZeroIterations_WithBreak(NSMutableDictionary *D) {
|
|
|
|
if (D.count > 0) {
|
|
|
|
int *x;
|
|
|
|
int i;
|
|
|
|
for (NSString *key in D) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
x = getPtr();
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
int y = *x; // expected-warning {{Dereference of null pointer}}
|
|
|
|
y++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
int consistencyBetweenLoopsWhenCountIsUnconstrained(NSMutableDictionary *D) {
|
|
|
|
// Note, The current limitation is that we need to have a count.
|
|
|
|
// TODO: This should work even when we do not call count.
|
|
|
|
int count = [D count];
|
|
|
|
int i;
|
|
|
|
int j = 0;
|
|
|
|
for (NSString *key in D) {
|
|
|
|
i = 5;
|
|
|
|
j++;
|
|
|
|
}
|
|
|
|
for (NSString *key in D) {
|
|
|
|
return i; // no-warning
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
int consistencyBetweenLoopsWhenCountIsUnconstrained_dual(NSMutableDictionary *D) {
|
|
|
|
int count = [D count];
|
|
|
|
int i = 8;
|
|
|
|
int j = 1;
|
|
|
|
for (NSString *key in D) {
|
|
|
|
i = 0;
|
|
|
|
j++;
|
|
|
|
}
|
|
|
|
for (NSString *key in D) {
|
|
|
|
i = 5;
|
|
|
|
j++;
|
|
|
|
}
|
|
|
|
return 5/i;
|
|
|
|
}
|