Viewing file:  attr-warning.C (1.35 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// Bug c++/83871 - wrong code due to attributes on distinct template
// specializations
// Test to verify that an explicit template specifialization does not
// "inherit" attribute warning from a primary template declared with
// it.
// { dg-do compile }
// { dg-options "-Wall" }
struct Special;
// Primary has no attributes here.
template <class T>
void fwarn_primary ();
// Uses of the primary template, including declarations of its
// specializations, should not be diagnosed until after it has
// been redeclared with attribute warning.
template <>
void fwarn_primary<Special> ();
void use_primary_before_warning ()
{
// Verify that uses of the primary are not diagnosed.
fwarn_primary<char>();
fwarn_primary<short>();
}
// Redeclare the primary with attribute warning.
template <class T>
void __attribute__ ((warning ("primary")))
fwarn_primary ();
// Attribute warning is special in that it only warns for functions
// that are actually used, not those that are only declared.
template <>
void fwarn_primary<double> ();
void use_primary_after_warning ()
{
// Verify that uses of the redeclared primary are diagnosed.
fwarn_primary<int>(); // { dg-warning "primary" }
fwarn_primary<long>(); // { dg-warning "primary" }
}
void use_special ()
{
// Verify that the use of the specializatoin is not diagnosed.
fwarn_primary<Special>();
}
|
