old-autovect-branch/gcc/testsuite/g++.dg/template/nontype3.C

   1 // { dg-do compile }
   2 // Origin: <drow at gcc dot gnu dot org>,
   3 //         <giovannibajo at gcc dot gnu dot org>
   4 // c++/13243: Template parameters of non integral or enumeration type can't be
   5 //  used for integral constant expressions. ADDR_EXPR and INDIRECT_REF are
   6 //  invalid too.
   7
   8 template <int T> class foo {};
   9 template <int *T> class bar {};
  10
  11 template <int *PI>
  12 void dep5(bar<PI> *);
  13
  14 template <int *PI>
  15 void dep6(bar<PI+1> *); // { dg-error "" "integral or enumeration" }
  16
  17 template <int I>
  18 void dep7(bar<I+1> *);
  19
  20 template <int *PI>
  21 void dep8(foo< *PI > *); // { dg-error "" "integral or enumeration" }
  22
  23 template <int PI[1]>
  24 void dep9(foo< *PI > *); // { dg-error "" "integral or enumeration" }
  25
  26 template <int PI[1]>
  27 void dep9a(foo< sizeof(*PI) > *);
  28
  29 template <int PI[1]>
  30 void dep10(foo< PI[0] > *); // { dg-error "" "integral or enumeration" }
  31
  32 template <int I>
  33 void dep11(foo< *&I > *); // { dg-error "" "constant-expression" }
  34
  35 template <int I>
  36 void dep12(foo< (&I)[4] > *); // { dg-error "" "constant-expression" }
  37