gcc/testsuite/g++.dg/template/dependent-expr3.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// { dg-do compile }
// Origin: jbrandmeyer at users dot sourceforge dot net
// PR c++/12573: COMPONENT_REFs must be inspected for dependness.

template <bool> struct S;

template <typename K> struct Y : K {
  int x;
};

template <class T> struct Z {
  S< (bool)(&static_cast<Y<T> *>(0)->x == 0) > // { dg-error "" }
  s; // { dg-error "" }
};