clang/test/SemaObjC/objc-literal-nsnumber.m

   1 // RUN: %clang_cc1  -fsyntax-only -fblocks -triple x86_64-apple-darwin10 -verify %s
   2 // rdar://10111397
   3
   4 #if __LP64__
   5 typedef unsigned long NSUInteger;
   6 typedef long NSInteger;
   7 #else
   8 typedef unsigned int NSUInteger;
   9 typedef int NSInteger;
  10 #endif
  11
  12 void checkNSNumberUnavailableDiagnostic() {
  13   id num = @1000; // expected-error {{definition of class NSNumber must be available to use Objective-C numeric literals}}
  14
  15   int x = 1000;
  16   id num1 = @(x); // expected-error {{definition of class NSNumber must be available to use Objective-C numeric literals}}\
  17                   // expected-error {{illegal type 'int' used in a boxed expression}}
  18 }
  19
  20 @class NSNumber; // expected-note 2 {{forward declaration of class here}}
  21
  22 void checkNSNumberFDDiagnostic() {
  23   id num = @1000; // expected-error {{definition of class NSNumber must be available to use Objective-C numeric literals}}
  24
  25   int x = 1000;
  26   id num1 = @(x); // expected-error {{definition of class NSNumber must be available to use Objective-C numeric literals}}\
  27                   // expected-error {{illegal type 'int' used in a boxed expression}}
  28 }
  29
  30 @interface NSObject
  31 + (NSObject*)nsobject;
  32 @end
  33
  34 @interface NSNumber : NSObject
  35 + (NSNumber *)numberWithChar:(char)value;
  36 + (NSNumber *)numberWithUnsignedChar:(unsigned char)value;
  37 + (NSNumber *)numberWithShort:(short)value;
  38 + (NSNumber *)numberWithUnsignedShort:(unsigned short)value;
  39 + (NSNumber *)numberWithInt:(int)value;
  40 + (NSNumber *)numberWithUnsignedInt:(unsigned int)value;
  41 + (NSNumber *)numberWithLong:(long)value;
  42 + (NSNumber *)numberWithUnsignedLong:(unsigned long)value;
  43 + (NSNumber *)numberWithLongLong:(long long)value;
  44 + (NSNumber *)numberWithUnsignedLongLong:(unsigned long long)value;
  45 + (NSNumber *)numberWithFloat:(float)value;
  46 + (NSNumber *)numberWithInteger:(NSInteger)value ;
  47 + (NSNumber *)numberWithUnsignedInteger:(NSUInteger)value ;
  48 @end
  49
  50 // rdar://16417427
  51 int big = 1391126400;
  52 int thousand = 1000;
  53 int main() {
  54   NSNumber * N = @3.1415926535;  // expected-error {{declaration of 'numberWithDouble:' is missing in NSNumber class}}
  55   NSNumber *noNumber = @__objc_yes; // expected-error {{declaration of 'numberWithBool:' is missing in NSNumber class}}
  56   NSNumber * NInt = @1000;
  57   NSNumber * NLongDouble = @1000.0l; // expected-error{{'long double' is not a valid literal type for NSNumber}}
  58   id character = @ 'a';
  59
  60   NSNumber *NNegativeInt = @-1000;
  61   NSNumber *NPositiveInt = @+1000;
  62   NSNumber *NNegativeFloat = @-1000.1f;
  63   NSNumber *NPositiveFloat = @+1000.1f;
  64
  65   int five = 5;
  66   @-five; // expected-error{{@- must be followed by a number to form an NSNumber object}}
  67   @+five; // expected-error{{@+ must be followed by a number to form an NSNumber object}}
  68   NSNumber *av = @(1391126400000);
  69   NSNumber *bv = @(1391126400 * 1000); // expected-warning {{overflow in expression; result is -443003904 with type 'int'}}
  70   NSNumber *cv = @(big * thousand);
  71 }
  72
  73 // Dictionary test
  74 @class NSDictionary;  // expected-note {{forward declaration of class here}}
  75
  76 NSDictionary *err() {
  77   return @{@"name" : @"value"}; // expected-error {{definition of class NSDictionary must be available to use Objective-C dictionary literals}}
  78 }
  79
  80 @interface NSDate : NSObject
  81 + (NSDate *) date;
  82 @end
  83
  84 @protocol NSCopying
  85 - copy;
  86 @end
  87
  88 @interface NSDictionary : NSObject
  89 + (id)dictionaryWithObjects:(const id [])objects forKeys:(const id<NSCopying> [])keys count:(NSUInteger)cnt;
  90 @end
  91
  92 @interface NSString<NSCopying>
  93 @end
  94
  95 id NSUserName();
  96
  97 int Int();
  98
  99 NSDictionary * blocks() {
 100   return @{ @"task" : ^ { return 17; } };
 101 }
 102
 103 NSDictionary * warn() {
 104   NSDictionary *dictionary = @{@"name" : NSUserName(),
 105                                @"date" : [NSDate date],
 106                                @"name2" : @"other",
 107                                NSObject.nsobject : @"nsobject" }; // expected-warning{{passing 'NSObject *' to parameter of incompatible type 'const id<NSCopying>'}}
 108   NSDictionary *dictionary2 = @{@"name" : Int()}; // expected-error {{collection element of type 'int' is not an Objective-C object}}
 109
 110   NSObject *o;
 111   NSDictionary *dictionary3 = @{o : o, // expected-warning{{passing 'NSObject *' to parameter of incompatible type 'const id<NSCopying>'}}
 112                                @"date" : [NSDate date] };
 113   return dictionary3;
 114 }
 115
 116 // rdar:// 11231426
 117 typedef float BOOL;
 118
 119 BOOL radar11231426() {
 120         return __objc_yes;
 121 }
 122
 123 id stringBoxingNoSuchMethod(const char *str) {
 124   return @(str); // expected-error {{declaration of 'stringWithUTF8String:' is missing in NSString class}}
 125 }