[Bug c++/35650] New: Can't bind ref-to-function through using-decl. in namespace

[Bug c++/35650] New: Can't bind ref-to-function through using-decl. in namespace

[gcc-bugzilla at contacts dot eelis dot net]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 846 bytes --]

Consider:

  void f();
  namespace N { using ::f; }

  void h()
  {
    void (& a)() = f; // ok
    void (& b)() = N::f;
      // error: invalid initialization of non-const reference of
      // type ‘void (&)()’ from a temporary of type ‘void ()()’
  }

Since in h, f and N::f are simply two ways of naming the same function, the
error seems unwarranted to me.

Comeau 4.3.9 accepts the code.


-- 
           Summary: Can't bind ref-to-function through using-decl. in
                    namespace
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gcc-bugzilla at contacts dot eelis dot net


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-03-20 19:55 -------
Confirmed.  Fails since 3.4.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |rejects-valid
      Known to fail|                            |3.4.6
      Known to work|                            |3.3.6
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-20 19:55:23
               date|                            |
            Summary|Can't bind ref-to-function  |[4.1/4.2/4.3/4.4 Regression]
                   |through using-decl. in      |Can't bind ref-to-function
                   |namespace                   |through using-decl. in
                   |                            |namespace
   Target Milestone|---                         |4.1.3


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[bangerth at dealii dot org]

------- Comment #2 from bangerth at dealii dot org  2008-03-25 19:02 -------
Confirmed again. Funny enough, this works:
-----------------
void f();
namespace N { using ::f; }

void h()
{
  void (& b)() = N::f;   // not ok
  void (& c)() = *&N::f; // ok!?
}
-----------------

W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at dealii dot org


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2008-
                   |                            |04/msg01609.html
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-03-20 19:55:23         |2008-04-22 07:37:27
               date|                            |


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2008-04-29 08:59 -------
Subject: Bug 35650

Author: jakub
Date: Tue Apr 29 08:58:20 2008
New Revision: 134788

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134788
Log:
        PR c++/35650
        * parser.c (cp_parser_lookup_name): Look through single function
        OVERLOAD.

        * g++.dg/init/ref17.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/init/ref17.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-04-29 08:59 -------
Subject: Bug 35650

Author: jakub
Date: Tue Apr 29 08:58:58 2008
New Revision: 134789

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134789
Log:
        PR c++/35650
        * parser.c (cp_parser_lookup_name): Look through single function
        OVERLOAD.

        * g++.dg/init/ref17.C: New test.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/init/ref17.C
Modified:
    branches/gcc-4_3-branch/gcc/cp/ChangeLog
    branches/gcc-4_3-branch/gcc/cp/parser.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/35650] [4.1/4.2/4.3/4.4 Regression] Can't bind ref-to-function through using-decl. in namespace

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2008-04-29 09:06 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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