69 lines · cpp
1// RUN: %clang_cc1 -funknown-anytype -fsyntax-only -verify %s2 3namespace test0 {4 extern __unknown_anytype test0;5 extern __unknown_anytype test1();6 extern __unknown_anytype test2(int);7}8 9namespace test1 {10 extern __unknown_anytype foo;11 int test() {12 // TODO: it would be great if the 'cannot initialize' errors13 // turned into something more interesting. It's just a matter of14 // making sure that these locations check for placeholder types15 // properly.16 17 int x = foo; // expected-error {{'foo' has unknown type}}18 int y = 0 + foo; // expected-error {{'foo' has unknown type}}19 return foo; // expected-error {{'foo' has unknown type}}20 }21}22 23namespace test2 {24 extern __unknown_anytype foo();25 void test() {26 foo(); // expected-error {{'foo' has unknown return type}}27 }28}29 30namespace test3 {31 extern __unknown_anytype foo;32 void test() {33 foo(); // expected-error {{call to unsupported expression with unknown type}}34 ((void(void)) foo)(); // expected-error {{variable 'foo' with unknown type cannot be given a function type}}35 }36}37 38namespace test4 {39 extern __unknown_anytype test0(...);40 extern __unknown_anytype test1(...);41 42 void test() {43 void (*fn)(int) = (void(*)(int)) test0;44 int x = (int) test1; // expected-error {{function 'test1' with unknown type must be given a function type}}45 }46}47 48namespace test5 {49 template<typename T> struct X; // expected-note{{template is declared here}}50 51 extern __unknown_anytype test0(...);52 53 void test() {54 (X<int>)test0(); // expected-error{{implicit instantiation of undefined template 'test5::X<int>'}}55 }56}57 58namespace test6 {59 extern __unknown_anytype func();60 extern __unknown_anytype var;61 double *d;62 63 void test() {64 d = (double*)&func(); // expected-error{{address-of operator cannot be applied to a call to a function with unknown return type}}65 d = (double*)&var;66 }67 68}69