// { dg-do compile } // Contributed by: Giovanni Bajo <giovannibajo at gcc dot gnu dot org> // DR 49: Non-constant pointers are invalid template arguments. template<int *a> struct R { /* ... */ }; template<int b[5]> struct S { /* ... */ }; int p; template struct R<&p>; // OK template struct S<&p>; // OK due to parameter adjustment int *ptr; template struct R<ptr>; // { dg-error "argument" } template struct S<ptr>; // { dg-error "argument" } int v[5]; template struct R<v>; // OK due to implicit argument conversion template struct S<v>; // OK due to both adjustment and conversion