test/Analysis/PR3991.m

   1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify -triple x86_64-apple-darwin9 -Wno-incomplete-implementation %s
   2 // expected-no-diagnostics
   3
   4 //===----------------------------------------------------------------------===//
   5 // Delta-debugging produced forward declarations.
   6 //===----------------------------------------------------------------------===//
   7
   8 typedef signed char BOOL;
   9 typedef struct _NSZone NSZone;
  10 @class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
  11 @protocol NSObject  - (BOOL)isEqual:(id)object;
  12 @end  @protocol NSCopying  - (id)copyWithZone:(NSZone *)zone;
  13 @end  @protocol NSMutableCopying  - (id)mutableCopyWithZone:(NSZone *)zone;
  14 @end  @protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder;
  15 @end    @interface NSObject <NSObject> {
  16 }
  17 @end    extern id <NSObject> NSAllocateObject(Class aClass, unsigned extraBytes, NSZone *zone);
  18 @interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding>  - (unsigned)count;
  19 @end   @class NSTimer, NSPort, NSArray;
  20 @class NSURLHandle, NSMutableArray, NSMutableData, NSData, NSURL;
  21 @interface NSResponder : NSObject <NSCoding> {
  22 }
  23 @end      @class NSBitmapImageRep, NSCursor, NSGraphicsContext, NSImage, NSPasteboard, NSScrollView, NSWindow, NSAttributedString;
  24 @interface NSView : NSResponder {
  25   struct __VFlags2 {
  26   }
  27   _vFlags2;
  28 }
  29 @end @class NSTextField, NSPanel, NSArray, NSWindow, NSImage, NSButton, NSError;
  30 @interface NSBox : NSView {
  31 }
  32 @end @class GDataFeedDocList, GDataServiceTicket, GDataServiceTicket, IHGoogleDocsAdapter;
  33 @protocol IHGoogleDocsAdapterDelegate  - (void)googleDocsAdapter:(IHGoogleDocsAdapter*)inGoogleDocsAdapter accountVerifyIsValid:(BOOL)inIsValid error:(NSError *)inError;
  34 @end   @interface IHGoogleDocsAdapter : NSObject {
  35 }
  36 - (NSArray *)entries;
  37 @end extern Class const kGDataUseRegisteredClass ;
  38 @interface IHGoogleDocsAdapter ()  - (GDataFeedDocList *)feedDocList;
  39 - (NSArray *)directoryPathComponents;
  40 - (unsigned int)currentPathComponentIndex;
  41 - (void)setCurrentPathComponentIndex:(unsigned int)aCurrentPathComponentIndex;
  42 - (NSURL *)folderFeedURL;
  43 @end
  44
  45 @implementation IHGoogleDocsAdapter    - (id)initWithUsername:(NSString *)inUsername password:(NSString *)inPassword owner:(NSObject <IHGoogleDocsAdapterDelegate> *)owner {
  46   return 0;
  47 }
  48
  49 //===----------------------------------------------------------------------===//
  50 // Actual test case:
  51 //
  52 // The analyzer currently doesn't reason about ObjCKVCRefExpr.  Have both
  53 // GRExprEngine::Visit and GRExprEngine::VisitLValue have such expressions
  54 // evaluate to UnknownVal.
  55 //===----------------------------------------------------------------------===//
  56
  57 - (void)docListListFetchTicket:(GDataServiceTicket *)ticket               finishedWithFeed:(GDataFeedDocList *)feed {
  58   BOOL doGetDir = self.directoryPathComponents != 0 && self.currentPathComponentIndex < [self.directoryPathComponents count];
  59   if (doGetDir)  {
  60     BOOL isDirExisting = [[self.feedDocList entries] count] > 0;
  61     if (isDirExisting)   {
  62       if (self.folderFeedURL != 0)    {
  63         if (++self.currentPathComponentIndex == [self.directoryPathComponents count])     {
  64         }
  65       }
  66     }
  67   }
  68 }
  69 @end