uninit-msg-expr.m revision c4d2c9074be6eb2091086eddd6c8f052f3b245c8
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=basic -verify %s 2// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s 3 4//===----------------------------------------------------------------------===// 5// The following code is reduced using delta-debugging from 6// Foundation.h (Mac OS X). 7// 8// It includes the basic definitions for the test cases below. 9// Not directly including Foundation.h directly makes this test case 10// both svelte and portable to non-Mac platforms. 11//===----------------------------------------------------------------------===// 12 13typedef signed char BOOL; 14typedef unsigned int NSUInteger; 15typedef struct _NSZone NSZone; 16@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator; 17@protocol NSObject - (BOOL)isEqual:(id)object; @end 18@protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end 19@protocol NSMutableCopying - (id)mutableCopyWithZone:(NSZone *)zone; @end 20@protocol NSCoding - (void)encodeWithCoder:(NSCoder *)aCoder; @end 21@interface NSObject <NSObject> {} @end 22@class NSString, NSData; 23@class NSString, NSData, NSMutableData, NSMutableDictionary, NSMutableArray; 24typedef struct {} NSFastEnumerationState; 25@protocol NSFastEnumeration 26- (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len; 27@end 28@class NSData, NSIndexSet, NSString, NSURL; 29@interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration> 30- (NSUInteger)count; 31@end 32@interface NSArray (NSArrayCreation) 33+ (id)array; 34- (NSUInteger)length; 35- (void)addObject:(id)object; 36@end 37extern NSString * const NSUndoManagerCheckpointNotification; 38 39//===----------------------------------------------------------------------===// 40// Test cases. 41//===----------------------------------------------------------------------===// 42 43unsigned f1() { 44 NSString *aString; 45 return [aString length]; // expected-warning {{Receiver in message expression is an uninitialized value}} 46} 47 48unsigned f2() { 49 NSString *aString = 0; 50 return [aString length]; // no-warning 51} 52 53void f3() { 54 NSMutableArray *aArray = [NSArray array]; 55 NSString *aString; 56 [aArray addObject:aString]; // expected-warning {{Argument in message expression is an uninitialized value}} 57} 58