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
|
// RUN: %clang_cc1 -std=c++23 -fsyntax-only -verify %s
template <typename T> static void destroy() {
T t;
++t;
}
struct Incomplete;
template <typename = int> struct HasD {
~HasD() { destroy<Incomplete*>(); }
};
struct HasVT {
virtual ~HasVT();
};
struct S : HasVT {
HasD<> v;
};
// Ensure we don't get infinite recursion from the check, however. See GH104802
namespace GH104802 {
class foo { // expected-note {{definition of 'GH104802::foo' is not complete until the closing '}'}}
foo a; // expected-error {{field has incomplete type 'foo'}}
virtual int c();
};
class bar { // expected-note {{definition of 'GH104802::bar' is not complete until the closing '}'}}
const bar a; // expected-error {{field has incomplete type 'const bar'}}
virtual int c();
};
class baz { // expected-note {{definition of 'GH104802::baz' is not complete until the closing '}'}}
typedef class baz blech;
blech a; // expected-error {{field has incomplete type 'blech' (aka 'GH104802::baz')}}
virtual int c();
};
class quux : quux { // expected-error {{base class has incomplete type}} \
expected-note {{definition of 'GH104802::quux' is not complete until the closing '}'}}
virtual int c();
};
}
|
