test/Analysis/uninit-msg-expr.m

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