From: Fariborz Jahanian <fjahanian@apple.com>
Date: Wed, 15 May 2013 22:25:03 +0000 (+0000)
Subject: Objective-C: More cases of -Wsign-conversion not
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a1bfe1ceeb633fe955bcaf218a101106ad97fc74;p=clang

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
---

diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp
index e8d84f604e..3471c00440 100644
--- a/lib/Sema/SemaChecking.cpp
+++ b/lib/Sema/SemaChecking.cpp
@@ -5135,11 +5135,13 @@ void AnalyzeImplicitConversions(Sema &S, Expr *OrigE, SourceLocation CC) {
   // 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();
diff --git a/test/SemaObjC/sign-conversion.m b/test/SemaObjC/sign-conversion.m
index 65609e9352..584ea19202 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'}}
 }