gcc/testsuite/g++.old-deja/g++.jason/template43.C


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

// 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

main ()
{
  if (equals_x_x == 1
      && equals_x_y == 0
      && equals_y_x == 0
      && equals_y_y == 1)
    return 0;
  return 1;
}