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

Richard Smith via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 12 13:42:40 PST 2015


Author: rsmith
Date: Thu Nov 12 15:42:39 2015
New Revision: 252955

URL: http://llvm.org/viewvc/llvm-project?rev=252955&view=rev
Log:
Additional tests from r252690 that I forgot to 'svn add'.

>From a patch by Nicholas Allegra!

Added:
    cfe/trunk/test/Sema/auto-type.c
    cfe/trunk/test/SemaCXX/auto-type-from-cxx.cpp

Added: cfe/trunk/test/Sema/auto-type.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/auto-type.c?rev=252955&view=auto
==============================================================================
--- cfe/trunk/test/Sema/auto-type.c (added)
+++ cfe/trunk/test/Sema/auto-type.c Thu Nov 12 15:42:39 2015
@@ -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}}
+{}

Added: cfe/trunk/test/SemaCXX/auto-type-from-cxx.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaCXX/auto-type-from-cxx.cpp?rev=252955&view=auto
==============================================================================
--- cfe/trunk/test/SemaCXX/auto-type-from-cxx.cpp (added)
+++ cfe/trunk/test/SemaCXX/auto-type-from-cxx.cpp Thu Nov 12 15:42:39 2015
@@ -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'}}
+}
+




More information about the cfe-commits mailing list