blob: 59641de85937a8665c5069f5af1a6f6f0a6a2484 (
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
|
// { dg-do run }
// Test matching of partial specializations.
template <int* x, int* y>
class EQUAL {
public:
enum { value = 0 };
};
template <int* x>
class EQUAL<x,x> {
public:
enum { value = 1 };
};
int x;
int y;
int equals_x_x = EQUAL<&x,&x>::value; // expected value: 1
int equals_x_y = EQUAL<&x,&y>::value; // expected value: 0
int equals_y_x = EQUAL<&y,&x>::value; // expected value: 0
int equals_y_y = EQUAL<&y,&y>::value; // expected value: 1
int main ()
{
if (equals_x_x == 1
&& equals_x_y == 0
&& equals_y_x == 0
&& equals_y_y == 1)
return 0;
return 1;
}
|
