// { dg-do compile } | |
// Origin: <drow at gcc dot gnu dot org>, | |
// <giovannibajo at gcc dot gnu dot org> | |
// c++/13243: Template parameters of non integral or enumeration type can't be | |
// used for integral constant expressions. ADDR_EXPR and INDIRECT_REF are | |
// invalid too. | |
template <int T> class foo {}; | |
template <int *T> class bar {}; | |
template <int *PI> | |
void dep5(bar<PI> *); | |
template <int *PI> | |
void dep6(bar<PI+1> *); // { dg-error "" "integral or enumeration" } | |
template <int I> | |
void dep7(bar<I+1> *); | |
template <int *PI> | |
void dep8(foo< *PI > *); // { dg-error "" "integral or enumeration" } | |
template <int PI[1]> | |
void dep9(foo< *PI > *); // { dg-error "" "integral or enumeration" } | |
template <int PI[1]> | |
void dep9a(foo< sizeof(*PI) > *); | |
template <int PI[1]> | |
void dep10(foo< PI[0] > *); // { dg-error "" "integral or enumeration" } | |
template <int I> | |
void dep11(foo< *&I > *); // { dg-error "" "constant-expression" } | |
template <int I> | |
void dep12(foo< (&I)[4] > *); // { dg-error "" "constant-expression" } | |