gcc/testsuite/g++.dg/Wattributes-3.C

   1 // PR c++/83394 - always_inline vs. noinline no longer diagnosed
   2 // { dg-do compile }
   3 // { dg-options "-Wattributes" }
   4
   5 #define ATTR(list) __attribute__ (list)
   6
   7 struct A
   8 {
   9   ATTR ((__noinline__)) operator int ();
  10 };
  11
  12 ATTR ((__always_inline__))
  13 A::operator int ()            // { dg-warning "ignoring attribute .always_inline. because it conflicts with attribute .noinline." }
  14 {
  15   return 0;
  16 }
  17
  18
  19 struct B
  20 {
  21   operator char () const;
  22   ATTR ((__always_inline__)) operator int () const;
  23 };
  24
  25 B::operator char () const { return 0; }
  26
  27 ATTR ((__noinline__))
  28 B::operator int () const      // { dg-warning "ignoring attribute .noinline. because it conflicts with attribute .always_inline." }
  29 {
  30   return 0;
  31 }
  32
  33
  34 struct C
  35 {
  36   operator char ();
  37   ATTR ((__always_inline__)) operator short ();
  38   operator int ();
  39   ATTR ((__noinline__)) operator long ();
  40 };
  41
  42 C::operator char () { return 0; }
  43
  44 ATTR ((__noinline__))
  45 C::operator short ()           // { dg-warning "ignoring attribute .noinline. because it conflicts with attribute .always_inline." }
  46 { return 0; }
  47
  48 inline ATTR ((__noinline__))
  49 C::operator int ()
  50 { return 0; }
  51
  52
  53 ATTR ((__always_inline__))
  54 C::operator long ()           // { dg-warning "ignoring attribute .always_inline. because it conflicts with attribute .noinline." }
  55 { return 0; }
  56
  57
  58 struct D
  59 {
  60   int foo ();
  61   int foo (int);
  62   int ATTR ((const)) foo (int, int);
  63   int ATTR ((pure)) foo (int, int, int);
  64
  65   int ATTR ((const)) foo (int, int, int, int);
  66
  67   int foo (int, int, int, int, int);
  68 };
  69
  70 int ATTR ((const))
  71 D::foo ()
  72 { return 0; }
  73
  74 int ATTR ((pure))
  75 D::foo (int)
  76 { return 0; }
  77
  78 int ATTR ((pure))
  79 D::foo (int, int)             // { dg-warning "ignoring attribute .pure. because it conflicts with attribute .const." }
  80 { return 0; }
  81
  82 int ATTR ((const))
  83 D::foo (int, int, int)        // { dg-warning "ignoring attribute .const. because it conflicts with attribute .pure." }
  84 { return 0; }
  85
  86 int
  87 D::foo (int, int, int, int) { return 0; }
  88
  89 int ATTR ((const))
  90 D::foo (int, int, int, int, int) { return 0; }