blob: ab90be55844bb9a6342d3a6c5643e668a8132538 (
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
// PR c++/37962
// Negative test for auto
// { dg-do compile }
// { dg-options "-std=c++0x" }
#include <typeinfo>
#include <stdarg.h>
#include <stddef.h>
int i = *(auto *) 0; // { dg-error "auto" }
struct A *p = (auto *) 0; // { dg-error "auto" }
int *q = static_cast <auto *>(0); // { dg-error "auto" }
const int *r = const_cast <auto *>(q); // { dg-error "auto" }
const std::type_info &t1 = typeid (auto); // { dg-error "auto" }
const std::type_info &t2 = typeid (auto *); // { dg-error "auto" }
struct A
{
operator auto (); // { dg-error "auto" }
operator auto *(); // { dg-error "auto" }
};
struct A2
{
operator auto () -> int; // { dg-error "invalid use of" }
operator auto *() -> int; // { dg-error "auto" }
};
template <typename> struct B
{
enum { e };
};
template <typename T> struct C
{
C () : i () {}
int i;
};
bool d = (auto (A::*)()) 0; // { dg-error "auto" }
void
foo ()
{
(auto) { 0 }; // { dg-error "auto" }
C<int> c;
dynamic_cast<auto> (c); // { dg-error "auto" }
reinterpret_cast<auto> (c); // { dg-error "auto" }
int i = auto (0); // { dg-error "auto" }
auto p1 = new (auto); // { dg-error "auto" }
auto p2 = new (auto) (42); // { dg-error "invalid use of|deduce" }
offsetof (auto, fld); // { dg-error "auto" }
offsetof (auto *, fld); // { dg-error "auto" }
sizeof (auto); // { dg-error "auto" }
sizeof (auto *); // { dg-error "auto" }
}
void
foo2 (void)
{
__alignof__ (auto); // { dg-error "auto" }
__alignof__ (auto *); // { dg-error "auto" }
__typeof__ (auto) v1; // { dg-error "auto" }
__typeof__ (auto *) v2; // { dg-error "auto" }
__is_class (auto); // { dg-error "auto|expected" }
__is_pod (auto *); // { dg-error "auto|expected" }
__is_base_of (int, auto); // { dg-error "auto|expected" }
__is_base_of (auto, int); // { dg-error "auto|expected" }
__is_base_of (auto, auto *); // { dg-error "auto|expected" }
}
B<auto> b; // { dg-error "auto|invalid" }
C<auto> c; // { dg-error "auto|invalid" }
C<auto *> c2; // { dg-error "auto|invalid" }
enum : auto { EE = 0 }; // { dg-error "must be an integral type" }
enum struct D : auto * { FF = 0 }; // { dg-error "must be an integral type|declar|expected" }
void
bar ()
{
try { } catch (auto i) { } // { dg-error "invalid use of" }
try { } catch (auto) { } // { dg-error "invalid use of" }
try { } catch (auto *i) { } // { dg-error "invalid use of" }
try { } catch (auto *) { } // { dg-error "invalid use of" }
}
void
baz (int i, ...)
{
va_list ap;
va_start (ap, i);
va_arg (ap, auto); // { dg-error "invalid use of" }
va_arg (ap, auto *); // { dg-error "invalid use of|expected" }
va_arg (ap, auto &); // { dg-error "invalid use of|expected" }
va_end (ap);
}
template <typename T = auto> struct E {}; // { dg-error "invalid use of" }
template <class T = auto *> struct F {}; // { dg-error "invalid use of|expected" }
auto fnlate () -> auto; // { dg-error "invalid use of" }
auto fnlate2 () -> auto *; // { dg-error "invalid use of|expected" }
void
badthrow () throw (auto) // { dg-error "invalid use of" }
{
}
void
badthrow2 () throw (auto &) // { dg-error "invalid use of|expected" }
{
}
template <auto V = 4> struct G {}; // { dg-error "auto" }
template <typename T> struct H { H (); ~H (); };
H<auto> h; // { dg-error "invalid" }
void qq (auto); // { dg-error "auto" }
void qr (auto*); // { dg-error "auto" }
|