Home | History | Annotate | Download | only in Analysis 
      1 // RUN: %clang_cc1 -analyze -analyzer-checker=experimental.core -analyzer-checker=deadcode.DeadStores,osx.cocoa.RetainCount -verify %s
      2 
      3 typedef signed char BOOL;
      4 typedef unsigned int NSUInteger;
      5 typedef struct _NSZone NSZone;
      6 @class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
      7 @protocol NSObject  - (BOOL)isEqual:(id)object; @end
      8 @protocol NSCopying  - (id)copyWithZone:(NSZone *)zone; @end
      9 @protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder; @end
     10 @interface NSObject <NSObject> {} @end
     11 extern id NSAllocateObject(Class aClass, NSUInteger extraBytes, NSZone *zone);
     12 @interface NSValue : NSObject <NSCopying, NSCoding>  - (void)getValue:(void *)value; @end
     13 typedef float CGFloat;
     14 typedef struct _NSPoint {} NSRange;
     15 @interface NSValue (NSValueRangeExtensions)  + (NSValue *)valueWithRange:(NSRange)range;
     16 - (BOOL)containsObject:(id)anObject;
     17 @end
     18 @class NSURLAuthenticationChallenge;
     19 @interface NSResponder : NSObject <NSCoding> {} @end
     20 @class NSArray, NSDictionary, NSString;
     21 @interface NSObject (NSKeyValueBindingCreation)
     22 + (void)exposeBinding:(NSString *)binding;
     23 - (NSArray *)exposedBindings;
     24 @end
     25 extern NSString *NSAlignmentBinding;
     26 
     27 // This test case was reported as a false positive due to a bug in the
     28 // LiveVariables <-> deadcode.DeadStores interplay.  We should not flag a warning
     29 // here.  The test case was reported in:
     30 //  http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-July/002157.html
     31 void DeadStoreTest(NSObject *anObject) {
     32   NSArray *keys;
     33   if ((keys = [anObject exposedBindings]) &&   // no-warning
     34       ([keys containsObject:@"name"] && [keys containsObject:@"icon"])) {}
     35 }
     36 
     37 // This test case was a false positive due to how clang models
     38 // pointer types and ObjC object pointer types differently.  Here
     39 // we don't warn about a dead store because 'nil' is assigned to
     40 // an object pointer for the sake of defensive programming.
     41 void rdar_7631278(NSObject *x) {
     42   x = ((void*)0);
     43 }
     44 
     45 // This test case issuing a bogus warning for the declaration of 'isExec'
     46 // because the compound statement for the @synchronized was being visited
     47 // twice by the LiveVariables analysis.
     48 BOOL baz_rdar8527823();
     49 void foo_rdar8527823();
     50 @interface RDar8527823
     51 - (void) bar_rbar8527823;
     52 @end
     53 @implementation RDar8527823
     54 - (void) bar_rbar8527823
     55 {
     56  @synchronized(self) {
     57    BOOL isExec = baz_rdar8527823(); // no-warning
     58    if (isExec) foo_rdar8527823();
     59  }
     60 }
     61 @end
     62 
     63 // Don't flag dead stores to assignments to self within a nested assignment.
     64 @interface Rdar7947686
     65 - (id) init;
     66 @end
     67 
     68 @interface Rdar7947686_B : Rdar7947686
     69 - (id) init;
     70 @end
     71 
     72 @implementation Rdar7947686_B
     73 - (id) init {
     74   id x = (self = [super init]); // no-warning
     75   return x;
     76 }
     77 @end
     78 
     79