81 lines
2.6 KiB
C++
81 lines
2.6 KiB
C++
|
// RUN: %clang_cc1 -std=c++98 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
|
||
|
|
// RUN: %clang_cc1 -std=c++11 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
|
||
|
|
// RUN: %clang_cc1 -std=c++14 %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
|
||
|
|
// RUN: %clang_cc1 -std=c++1z %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
|
||
|
|
|
||
|
|
namespace dr1213 { // dr1213: 7
|
||
|
|
#if __cplusplus >= 201103L
|
||
|
|
using T = int[3];
|
||
|
|
int &&r = T{}[1];
|
||
|
|
|
||
|
|
using T = decltype((T{}));
|
||
|
|
using U = decltype((T{}[2]));
|
||
|
|
using U = int &&;
|
||
|
|
|
||
|
|
// Same thing but in a case where we consider overloaded operator[].
|
||
|
|
struct ConvertsToInt {
|
||
|
|
operator int();
|
||
|
|
};
|
||
|
|
struct X { int array[1]; };
|
||
|
|
using U = decltype(X().array[ConvertsToInt()]);
|
||
|
|
|
||
|
|
// We apply the same rule to vector subscripting.
|
||
|
|
typedef int V4Int __attribute__((__vector_size__(sizeof(int) * 4)));
|
||
|
|
typedef int EV4Int __attribute__((__ext_vector_type__(4)));
|
||
|
|
using U = decltype(V4Int()[0]);
|
||
|
|
using U = decltype(EV4Int()[0]);
|
||
|
|
#endif
|
||
|
|
}
|
||
|
|
|
||
|
|
namespace dr1250 { // dr1250: 3.9
|
||
|
|
struct Incomplete;
|
||
|
|
|
||
|
|
struct Base {
|
||
|
|
virtual const Incomplete *meow() = 0;
|
||
|
|
};
|
||
|
|
|
||
|
|
struct Derived : Base {
|
||
|
|
virtual Incomplete *meow();
|
||
|
|
};
|
||
|
|
}
|
||
|
|
|
||
|
|
namespace dr1265 { // dr1265: 5
|
||
|
|
#if __cplusplus >= 201103L
|
||
|
|
auto a = 0, b() -> int; // expected-error {{declaration with trailing return type must be the only declaration in its group}}
|
||
|
|
auto b() -> int, d = 0; // expected-error {{declaration with trailing return type must be the only declaration in its group}}
|
||
|
|
auto e() -> int, f() -> int; // expected-error {{declaration with trailing return type must be the only declaration in its group}}
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if __cplusplus >= 201402L
|
||
|
|
auto g(), h = 0; // expected-error {{function with deduced return type must be the only declaration in its group}}
|
||
|
|
auto i = 0, j(); // expected-error {{function with deduced return type must be the only declaration in its group}}
|
||
|
|
auto k(), l(); // expected-error {{function with deduced return type must be the only declaration in its group}}
|
||
|
|
#endif
|
||
|
|
}
|
||
|
|
|
||
|
|
namespace dr1295 { // dr1295: 4
|
||
|
|
struct X {
|
||
|
|
unsigned bitfield : 4;
|
||
|
|
};
|
||
|
|
|
||
|
|
X x = {1};
|
||
|
|
|
||
|
|
unsigned const &r1 = static_cast<X &&>(x).bitfield; // expected-error 0-1{{C++11}}
|
||
|
|
unsigned const &r2 = static_cast<unsigned &&>(x.bitfield); // expected-error 0-1{{C++11}}
|
||
|
|
|
||
|
|
template<unsigned &r> struct Y {};
|
||
|
|
Y<x.bitfield> y;
|
||
|
|
#if __cplusplus <= 201402L
|
||
|
|
// expected-error@-2 {{does not refer to any declaration}} expected-note@-3 {{here}}
|
||
|
|
#else
|
||
|
|
// expected-error@-4 {{refers to subobject}}
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if __cplusplus >= 201103L
|
||
|
|
const unsigned other = 0;
|
||
|
|
using T = decltype(true ? other : x.bitfield);
|
||
|
|
using T = unsigned;
|
||
|
|
#endif
|
||
|
|
}
|
||
|
|
|