commit a1bfe1ceeb633fe955bcaf218a101106ad97fc74
author Fariborz Jahanian <fjahanian@apple.com> Wed May 15 22:25:03 2013 +0000
committer Fariborz Jahanian <fjahanian@apple.com> Wed May 15 22:25:03 2013 +0000
tree 5bfe9a9d5007a9aa7fa1c40e0ff7b00e67fd59bb
parent e30903d99ca2d530f95f22430a9a01fe2e1921d4

Objective-C: More cases of -Wsign-conversion not
working on new Objective-C array subscripting
syntax. // rdar://13855682


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181940 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Sema/SemaChecking.cpp

diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp
index e8d84f6..3471c00 100644
--- a/lib/Sema/SemaChecking.cpp
+++ b/lib/Sema/SemaChecking.cpp
@@ -5135,11 +5135,13 @@
   // Now continue drilling into this expression.
   
   if (PseudoObjectExpr * POE = dyn_cast<PseudoObjectExpr>(E)) {
-    Expr *Result = POE->getResultExpr();
-    if (const OpaqueValueExpr *OVE = dyn_cast_or_null<OpaqueValueExpr>(Result))
-      return AnalyzeImplicitConversions(S, OVE->getSourceExpr(), CC);
+    if (POE->getResultExpr())
+      E = POE->getResultExpr();
   }
   
+  if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(E))
+    return AnalyzeImplicitConversions(S, OVE->getSourceExpr(), CC);
+  
   // Skip past explicit casts.
   if (isa<ExplicitCastExpr>(E)) {
     E = cast<ExplicitCastExpr>(E)->getSubExpr()->IgnoreParenImpCasts();

test/SemaObjC/sign-conversion.m

diff --git a/test/SemaObjC/sign-conversion.m b/test/SemaObjC/sign-conversion.m
index 65609e9..584ea19 100644
--- a/test/SemaObjC/sign-conversion.m
+++ b/test/SemaObjC/sign-conversion.m
@@ -1,21 +1,39 @@
 // RUN: %clang_cc1 -fsyntax-only -verify -Wsign-conversion %s
 // rdar://13855394
 
+typedef unsigned int NSUInteger;
+
 @interface NSObject
 - new;
+- (NSUInteger)hash;
 @end
 
 @interface X : NSObject
-@property unsigned int uint;
+@property NSUInteger uint;
 @end
 
-@implementation X 
-@synthesize uint;
+@interface NSArray : NSObject 
+
+- (NSUInteger)count;
+- (id)objectAtIndex:(NSUInteger)index;
+- (id)objectAtIndexedSubscript:(NSUInteger)index;
+
 @end
 
 void foo() {
     X *x = [X new];
     signed int sint = -1;
-    [x setUint:sint];  // expected-warning {{implicit conversion changes signedness: 'int' to 'unsigned int'}}
-    x.uint = sint; // expected-warning {{implicit conversion changes signedness: 'int' to 'unsigned int'}}
+    [x setUint:sint];  // expected-warning {{implicit conversion changes signedness: 'int' to 'NSUInteger'}}
+    x.uint = sint; // expected-warning {{implicit conversion changes signedness: 'int' to 'NSUInteger'}}
+}
+
+// rdar://13855682
+void Test1() {
+signed int si = -1;
+NSArray *array;
+
+(void)((NSObject*)array[si]).hash; // expected-warning {{implicit conversion changes signedness: 'int' to 'NSUInteger'}}
+
+(void)[((NSObject*)array[si]) hash]; // expected-warning {{implicit conversion changes signedness: 'int' to 'NSUInteger'}}
+(void)array[si]; // expected-warning {{implicit conversion changes signedness: 'int' to 'NSUInteger'}}
 }