blob: a07ec83d10a0e46369a674464b1a72b800decac4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
// RUN: %clang_cc1 -funknown-anytype -fsyntax-only -verify %s
namespace test0 {
extern __unknown_anytype test0;
extern __unknown_anytype test1();
extern __unknown_anytype test2(int);
}
namespace test1 {
extern __unknown_anytype foo;
int test() {
// TODO: it would be great if the 'cannot initialize' errors
// turned into something more interesting. It's just a matter of
// making sure that these locations check for placeholder types
// properly.
int x = foo; // expected-error {{'foo' has unknown type}}
int y = 0 + foo; // expected-error {{'foo' has unknown type}}
return foo; // expected-error {{'foo' has unknown type}}
}
}
namespace test2 {
extern __unknown_anytype foo();
void test() {
foo(); // expected-error {{'foo' has unknown return type}}
}
}
namespace test3 {
extern __unknown_anytype foo;
void test() {
foo(); // expected-error {{call to unsupported expression with unknown type}}
((void(void)) foo)(); // expected-error {{variable 'foo' with unknown type cannot be given a function type}}
}
}
// rdar://problem/9899447
namespace test4 {
extern __unknown_anytype test0(...);
extern __unknown_anytype test1(...);
void test() {
void (*fn)(int) = (void(*)(int)) test0;
int x = (int) test1; // expected-error {{function 'test1' with unknown type must be given a function type}}
}
}
|
