gcc/testsuite/g++.dg/cpp2a/ptrmem1a.C

   1 // P0704R1
   2 // { dg-do compile { target c++11 } }
   3 // { dg-options "" }
   4
   5 struct S {
   6   void ref() & {}
   7   void cref() const& {}
   8   void vref() volatile & {}
   9   void cvref() const volatile & {}
  10 };
  11
  12 void
  13 foo ()
  14 {
  15   S{}.ref();            // { dg-error "argument discards qualifiers" }
  16   S{}.cref();
  17   S{}.vref();           // { dg-error "argument discards qualifiers" }
  18   S{}.cvref();          // { dg-error "argument discards qualifiers" }
  19
  20   (S{}.*&S::ref)();     // { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) &' requires an lvalue" }
  21   (S{}.*&S::cref)();
  22   (S{}.*&S::vref)();    // { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) volatile &' requires an lvalue" }
  23   (S{}.*&S::cvref)();   // { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) const volatile &' requires an lvalue" }
  24 }