public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/52597] New: [C++11] missing diagnostics for invalid use of non-static member function in decltype
@ 2012-03-16  2:45 hstong at ca dot ibm.com
  2012-03-16  9:55 ` [Bug c++/52597] " redi at gcc dot gnu.org
                   ` (6 more replies)
  0 siblings, 7 replies; 8+ messages in thread
From: hstong at ca dot ibm.com @ 2012-03-16  2:45 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52597

             Bug #: 52597
           Summary: [C++11] missing diagnostics for invalid use of
                    non-static member function in decltype
    Classification: Unclassified
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: hstong@ca.ibm.com
              Host: powerpc64-unknown-linux-gnu
            Target: powerpc64-unknown-linux-gnu


The following test case shows that GCC allows several ill-formed decltype
constructs with non-static member functions.

Using the last form, SFINAE can be put into play--so wrong overload resolution
and partial specialization matching can be made to occur.

In particular:

bar0 violates N3290 subclause 5.1.1 [expr.prim.general] paragraph 12 regarding
valid uses of an id-expression that denotes a non-static data member or non-
static member function.

The other decltype specifiers violate N3290 subclause 5.2.5 [expr.ref]
paragraph 4 since the non-static member function is not used as the left-hand
operand of a member function call.


### Self-contained source:$ cat illdclty.cc
struct A {
   int zip();

   decltype(zip) bar0;  // invalid use of non-static member function name
      // [expr.prim.general]
   void bar1() {   typedef decltype(this->A::zip) x;   }
      // invalid use of non-static member function name
      // [expr.ref]
   void bar2() {   typedef decltype(A::zip) x;   }
      // invalid use of non-static member function name
      // (same as bar1), see [class.mfct.non-static]
};

typedef decltype(A().zip) x;
      // invalid use of non-static member function name
      // [expr.ref]


### Compiler invocation:$ g++-4.6.0 --std=c++0x illdclty.cc -W -Wall -pedantic
-c


### Compiler output:
(return code 0)


### g++ -v output:$ g++-4.6.0 -v
Using built-in specs.
COLLECT_GCC=g++-4.6.0
COLLECT_LTO_WRAPPER=/data/gcc/libexec/gcc/powerpc64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: powerpc64-unknown-linux-gnu
Configured with: ./configure --prefix=/data/gcc --program-suffix=-4.6.0
--disable-libssp --disable-libgcj --enable-version-specific-runtime-libs
--with-cpu=default32 --enable-secureplt --with-long-double-128 --enable-shared
--enable-__cxa_atexit --enable-threads=posix --enable-languages=c,c++,fortran
--with-gmp=/usr/local
Thread model: posix
gcc version 4.6.0 (GCC)


^ permalink raw reply	[flat|nested] 8+ messages in thread
end of thread, other threads:[~2020-04-27  8:26 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-03-16  2:45 [Bug c++/52597] New: [C++11] missing diagnostics for invalid use of non-static member function in decltype hstong at ca dot ibm.com
2012-03-16  9:55 ` [Bug c++/52597] " redi at gcc dot gnu.org
2012-03-29  1:05 ` hstong at ca dot ibm.com
2012-08-24 11:53 ` redi at gcc dot gnu.org
2012-08-24 12:43 ` hstong at ca dot ibm.com
2012-08-24 14:07 ` [Bug c++/52597] [C++11] confusing " redi at gcc dot gnu.org
2013-03-27 10:06 ` paolo.carlini at oracle dot com
2020-04-27  8:26 ` redi at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).