blob: 6b9696ea659a772e92b4684b8b374961128de150 (
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
|
// { dg-do assemble }
// GROUPS passed old-abort
// Should have been fixed by:
//
// Sun Jun 13 12:55:22 1993 Brendan Kehoe (brendan@lisa.cygnus.com)
//
// * cp-cvt.c (build_default_binary_type_conversion): Look deeper into
// what ARG1 and ARG2 are if they're POINTER_TYPEs.
class CountableSet
{
public:
virtual ~CountableSet() { }
};
template<class T>
class FixedSet : virtual public CountableSet
{
public:
virtual int Get(int, T&) = 0;
virtual ~FixedSet() { }
};
class ShrinkableSet
{
public:
virtual int Remove(int) = 0;
};
template<class T>
class PVSet : virtual public FixedSet<T>, virtual public ShrinkableSet
{
public:
virtual void Append(const T&) = 0;
virtual void operator+=(const T& a) { Append(a); }
virtual ~PVSet() { }
};
template<class T>
class MutSet : virtual public FixedSet<T>, virtual public FixedSet<T *>
{
protected:
typedef T *Tp;
public:
void Append(const Tp& tp) { Append(*tp); }
T& Access(int p)
{
Tp tp;
Get(p, tp);
return *tp;
}
virtual ~MutSet() { }
};
template <class T>
class SimpleSet : virtual public MutSet<T>
{
protected:
T *array;
int size;
virtual void Allocate(int s)
{
array = new T[s];
}
public:
SimpleSet()
{
size = 0;
array = 0;
}
int Get(int p, T& t)
{
t = array[p-1];
return 1;
}
int Get(int p, T *& t)
{
t = &array[p-1];
return 1;
}
inline void Append(const T& a)
{
array[size-1] = a;
}
inline int Remove(int n) { return 0; }
};
class Dummy
{
public:
Dummy() {}
};
int
main()
{
SimpleSet<Dummy *> bs1;
int i, j;
Dummy foo;
bs1+=&foo;// { dg-error "" } no .*
}
|
