Clang Project

clang_source_code/test/Analysis/method-arg-decay.m
1// RUN: %clang_cc1 -analyzer-checker=core -verify %s -Wno-incomplete-implementation
2typedef signed char BOOL;
3typedef int NSInteger;
4typedef unsigned int NSUInteger;
5typedef struct _NSZone NSZone;
6@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
7@protocol NSObject  - (BOOL)isEqual:(id)object;
8@end  @protocol NSCopying  - (id)copyWithZone:(NSZone *)zone;
9@end  @protocol NSMutableCopying  - (id)mutableCopyWithZone:(NSZone *)zone;
10@end  @protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder;
11@end    @interface NSObject <NSObject> {
12}
13@end    extern id NSAllocateObject(Class aClass, NSUInteger extraBytes, NSZone *zone);
14@interface NSValue : NSObject <NSCopying, NSCoding>  - (void)getValue:(void *)value;
15@end       @class NSString, NSData, NSMutableData, NSMutableDictionary, NSMutableArray;
16typedef struct {
17}
18  NSFastEnumerationState;
19@protocol NSFastEnumeration  - (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len;
20@end        @class NSString;
21typedef struct _NSRange {
22}
23  NSRange;
24@interface NSValue (NSValueRangeExtensions)  + (NSValue *)valueWithRange:(NSRange)range;
25- (id)objectAtIndex:(NSUInteger)index;
26@end         typedef unsigned short unichar;
27@interface NSString : NSObject <NSCopying, NSMutableCopying, NSCoding>    - (NSUInteger)length;
28@end       @class NSArray, NSDictionary, NSString, NSError;
29@interface NSSet : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration>  - (NSUInteger)count;
30@end    extern NSString *NSAccessibilityRoleDescription(NSString *role, NSString *subrole)     ;
31@interface NSResponder : NSObject <NSCoding> {
32}
33@end    @protocol NSAnimatablePropertyContainer      - (id)animator;
34@end  extern NSString *NSAnimationTriggerOrderIn ;
35@interface NSView : NSResponder  <NSAnimatablePropertyContainer>  {
36}
37@end  @class NSAttributedString, NSEvent, NSFont, NSFormatter, NSImage, NSMenu, NSText, NSView;
38@interface NSWindowController : NSResponder <NSCoding> {
39}
40@end @class NSArray, NSFont, NSTabViewItem;
41@interface NSTabView : NSView {
42}
43- (NSArray *)tabViewItems;
44- (NSString *)label;
45@end typedef enum {
46PBXNoItemChanged = 0x00,     PBXProjectItemChanged = 0x01,     PBXReferenceChanged = 0x02,     PBXGroupChanged = 0x04,     PBXTargetChanged = 0x08,     PBXBuildPhaseChanged = 0x10,     PBXBuildFileChanged = 0x20,     PBXBreakpointChanged = 0x40, }
47  PBXArchiveMask;
48@interface PBXModule : NSWindowController {
49}
50@end       typedef enum {
51PBXFindMatchContains,     PBXFindMatchStartsWith,     PBXFindMatchWholeWords,     PBXFindMatchEndsWith }
52  PBXFindMatchStyle;
53@protocol PBXSelectableText  - (NSString *)selectedString;
54@end  @protocol PBXFindableText <PBXSelectableText>    - (BOOL)findText:(NSString *)string ignoreCase:(BOOL)ignoreCase matchStyle:(PBXFindMatchStyle)matchStyle backwards:(BOOL)backwards wrap:(BOOL)wrap;
55@end  @class PBXProjectDocument, PBXProject, PBXAttributedStatusView;
56@interface PBXProjectModule : PBXModule <PBXFindableText> {
57}
58@end @class PBXBookmark;
59@protocol PBXSelectionTarget - (NSObject <PBXSelectionTarget> *) performAction:(id)action withSelection:(NSArray *)selection;  // expected-note {{method 'performAction:withSelection:' declared here}}
60@end @class XCPropertyDictionary, XCPropertyCondition, XCPropertyConditionSet, XCMutablePropertyConditionSet;
61extern NSMutableArray *XCFindPossibleKeyModules(PBXModule *module, BOOL useExposedModulesOnly);
62@interface NSString (StringUtilities) - (NSString *) trimToLength:(NSInteger)length preserveRange:(NSRange)range;
63- (id) objectOfType:(Class)type matchingFunction:(BOOL (void *, void *))comparator usingData:(void *)data;
64@end  @class XCControlView;
65@protocol XCDockViewHeader - (NSImage *) headerImage;
66@end  @class XCDockableTabModule;
67@interface XCExtendedTabView : NSTabView <XCDockViewHeader> {
68}
69@end     @class PBXProjectDocument, PBXFileReference, PBXModule, XCWindowTool;
70@interface XCPerspectiveModule : PBXProjectModule <PBXSelectionTarget> {
71  XCExtendedTabView *_perspectivesTabView;
72}
73- (PBXModule *) moduleForTab:(NSTabViewItem *)item;
74@end  
75@implementation XCPerspectiveModule // expected-warning {{method 'performAction:withSelection:' in protocol 'PBXSelectionTarget' not implemented}}}
76+ (void) openForProjectDocument:(PBXProjectDocument *)projectDocument {
77}
78- (PBXModule *) type:(Class)type inPerspective:(id)perspectiveIdentifer  matchingFunction:(BOOL (void *, void *))comparator usingData:(void *)data {
79  NSArray *allItems = [_perspectivesTabView tabViewItems];
80  NSInteger i, c = [allItems count];
81  for (i = 0;
82       i < c;
83       i++) {
84    NSTabViewItem *item = [allItems objectAtIndex:i];
85    if ([[item label] isEqual:perspectiveIdentifer]) {
86      PBXProjectModule *pModule = (PBXProjectModule *)[self moduleForTab:item];
87      PBXModule *obj = [XCFindPossibleKeyModules(pModule, (BOOL)0) objectOfType:type     matchingFunction:comparator usingData:data];
88    }
89  }
90  return 0;
91}
92- (BOOL)buffer:(char *)buf containsAnyPrompts:(char *[])prompts
93{
94 prompts++;
95 return (BOOL)0;
96}
97@end
98
CodeThinker, Enjoy your reading code