annotate clang/test/SemaObjC/ovl-check.m @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -verify %s -fobjc-arc
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // These tests exist as a means to help ensure that diagnostics aren't printed
anatofuz
parents:
diff changeset
4 // in overload resolution in ObjC.
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 struct Type1 { int a; };
anatofuz
parents:
diff changeset
7 typedef const __attribute__((objc_bridge(id))) void * CFTypeRef;
anatofuz
parents:
diff changeset
8 @interface Iface1 @end
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 @interface NeverCalled
anatofuz
parents:
diff changeset
11 - (void) test:(struct Type1 *)arg;
anatofuz
parents:
diff changeset
12 - (void) test2:(CFTypeRef)arg;
anatofuz
parents:
diff changeset
13 @end
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 @interface TakesIface1
anatofuz
parents:
diff changeset
16 - (void) test:(Iface1 *)arg;
anatofuz
parents:
diff changeset
17 - (void) test2:(Iface1 *)arg;
anatofuz
parents:
diff changeset
18 @end
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 // PR26085, rdar://problem/24111333
anatofuz
parents:
diff changeset
21 void testTakesIface1(id x, Iface1 *arg) {
anatofuz
parents:
diff changeset
22 // This should resolve silently to `TakesIface1`.
anatofuz
parents:
diff changeset
23 [x test:arg];
anatofuz
parents:
diff changeset
24 [x test2:arg];
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 @class NSString;
anatofuz
parents:
diff changeset
28 @interface NeverCalledv2
anatofuz
parents:
diff changeset
29 - (void) testStr:(NSString *)arg;
anatofuz
parents:
diff changeset
30 @end
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 @interface TakesVanillaConstChar
anatofuz
parents:
diff changeset
33 - (void) testStr:(const void *)a;
anatofuz
parents:
diff changeset
34 @end
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 // Not called out explicitly by PR26085, but related.
anatofuz
parents:
diff changeset
37 void testTakesNSString(id x) {
anatofuz
parents:
diff changeset
38 // Overload resolution should not emit a diagnostic about needing to add an
anatofuz
parents:
diff changeset
39 // '@' before "someStringLiteral".
anatofuz
parents:
diff changeset
40 [x testStr:"someStringLiteral"];
anatofuz
parents:
diff changeset
41 }
anatofuz
parents:
diff changeset
42
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
43 id CreateSomething(void);
150
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 @interface TakesCFTypeRef
anatofuz
parents:
diff changeset
46 - (void) testCFTypeRef:(CFTypeRef)arg;
anatofuz
parents:
diff changeset
47 @end
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 @interface NeverCalledv3
anatofuz
parents:
diff changeset
50 - (void) testCFTypeRef:(struct Type1 *)arg;
anatofuz
parents:
diff changeset
51 @end
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 // Not called out explicitly by PR26085, but related.
anatofuz
parents:
diff changeset
54 void testTakesCFTypeRef(id x) {
anatofuz
parents:
diff changeset
55 // Overload resolution should occur silently, select the CFTypeRef overload,
anatofuz
parents:
diff changeset
56 // and produce a single complaint. (with notes)
anatofuz
parents:
diff changeset
57 [x testCFTypeRef:CreateSomething()]; // expected-error{{implicit conversion of Objective-C pointer type 'id' to C pointer type 'CFTypeRef'}} expected-note{{use __bridge}} expected-note{{use __bridge_retained}}
anatofuz
parents:
diff changeset
58 }