Additional tests from r252690 that I forgot to 'svn add'.

From a patch by Nicholas Allegra!

llvm-svn: 252955
This commit is contained in:
Richard Smith 2015-11-12 21:42:39 +00:00
parent 90862c40ad
commit 03fd3915ee
2 changed files with 45 additions and 0 deletions

View File

@ -0,0 +1,26 @@
// RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic -std=c11
__auto_type a = 5; // expected-warning {{'__auto_type' is a GNU extension}}
__extension__ __auto_type a1 = 5;
#pragma clang diagnostic ignored "-Wgnu-auto-type"
__auto_type b = 5.0;
__auto_type c = &b;
__auto_type d = (struct {int a;}) {5};
_Static_assert(__builtin_types_compatible_p(__typeof(a), int), "");
__auto_type e = e; // expected-error {{variable 'e' declared with '__auto_type' type cannot appear in its own initializer}}
struct s { __auto_type a; }; // expected-error {{'__auto_type' not allowed in struct member}}
__auto_type f = 1, g = 1.0; // expected-error {{'__auto_type' deduced as 'int' in declaration of 'f' and deduced as 'double' in declaration of 'g'}}
__auto_type h() {} // expected-error {{'__auto_type' not allowed in function return type}}
int i() {
struct bitfield { int field:2; };
__auto_type j = (struct bitfield){1}.field; // expected-error {{cannot pass bit-field as __auto_type initializer in C}}
}
int k(l)
__auto_type l; // expected-error {{'__auto_type' not allowed in K&R-style function parameter}}
{}

View File

@ -0,0 +1,19 @@
// RUN: %clang_cc1 -std=c++14 -fsyntax-only -verify %s
struct A {
operator __auto_type() {} // expected-error {{'__auto_type' not allowed in conversion function type}}
};
__auto_type a() -> int; // expected-error {{'__auto_type' not allowed in function return type}}
template <typename T>
__auto_type b() { return T::x; } // expected-error {{'__auto_type' not allowed in function return type}}
auto c() -> __auto_type { __builtin_unreachable(); } // expected-error {{'__auto_type' not allowed in function return type}}
int d() {
decltype(__auto_type) e = 1; // expected-error {{expected expression}}
auto _ = [](__auto_type f) {}; // expected-error {{'__auto_type' not allowed in lambda parameter}}
__auto_type g = 2;
struct BitField { int field:2; };
__auto_type h = BitField{1}.field; // (should work from C++)
new __auto_type; // expected-error {{'__auto_type' not allowed in type allocated by 'new'}}
}