gcc/testsuite/g++.dg/ext/attr-warning.C

   1 // Bug c++/83871 - wrong code due to attributes on distinct template
   2 // specializations
   3 // Test to verify that an explicit template specifialization does not
   4 // "inherit" attribute warning from a primary template declared with
   5 // it.
   6 // { dg-do compile }
   7 // { dg-options "-Wall" }
   8
   9 struct Special;
  10
  11 // Primary has no attributes here.
  12 template <class T>
  13 void fwarn_primary ();
  14
  15 // Uses of the primary template, including declarations of its
  16 // specializations, should not be diagnosed until after it has
  17 // been redeclared with attribute warning.
  18 template <>
  19 void fwarn_primary<Special> ();
  20
  21 void use_primary_before_warning ()
  22 {
  23   // Verify that uses of the primary are not diagnosed.
  24   fwarn_primary<char>();
  25   fwarn_primary<short>();
  26 }
  27
  28 // Redeclare the primary with attribute warning.
  29 template <class T>
  30 void __attribute__ ((warning ("primary")))
  31 fwarn_primary ();
  32
  33 // Attribute warning is special in that it only warns for functions
  34 // that are actually used, not those that are only declared.
  35 template <>
  36 void fwarn_primary<double> ();
  37
  38 void use_primary_after_warning ()
  39 {
  40   // Verify that uses of the redeclared primary are diagnosed.
  41   fwarn_primary<int>();           // { dg-warning "primary" }
  42   fwarn_primary<long>();          // { dg-warning "primary" }
  43 }
  44
  45 void use_special ()
  46 {
  47   // Verify that the use of the specializatoin is not diagnosed.
  48   fwarn_primary<Special>();
  49 }