gcc/testsuite/g++.dg/ext/attr-optimize.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 optimize from a primary template declared with
   5 // one.
   6 // { dg-do compile }
   7 // { dg-options "-O2 -Wall -fdump-tree-optimized" }
   8
   9 enum Special { };
  10
  11 void foptimize_none_primary_failed ();
  12
  13 template <class T>
  14 void __attribute__ ((optimize ("no-printf-return-value")))
  15 foptimize_none ()
  16 {
  17   // The call to snprintf and the test should be retained.
  18   if (2 != __builtin_snprintf (0, 0, "%hhx", 0x12))
  19     foptimize_none_primary_failed ();
  20 }
  21
  22 void foptimize_none_special_failed ();
  23
  24 template <>
  25 inline void
  26 foptimize_none<Special>()
  27 {
  28   // The whole if statement should be eliminated.
  29   if (3 != __builtin_snprintf (0, 0, "1%hhx", 0x12))
  30     foptimize_none_special_failed ();
  31 }
  32
  33 void test_primary ()
  34 {
  35   foptimize_none<void>();
  36   // { dg-final { scan-tree-dump-times "foptimize_none_primary_failed *\\(\\)" 1 "optimized" } }
  37 }
  38
  39 void test_special ()
  40 {
  41   // Should be eliminated.
  42   foptimize_none<Special>();
  43 // { dg-final { scan-tree-dump-not "foptimize_none_special_failed *\\(\\)" "optimized" } }
  44 }
  45
  46 // { dg-final { scan-tree-dump-times "__builtin_snprintf" 1 "optimized" } }