20 lines
590 B
C
20 lines
590 B
C
// { 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
|
|
|