[Bug c++/42687] The prevention of ADL with the help of parentheses doesn't work

[Bug c++/42687] The prevention of ADL with the help of parentheses doesn't work

[f.sowade-gcc at r9e dot de]

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

Florian Sowade <f.sowade-gcc at r9e dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |f.sowade-gcc at r9e dot de

--- Comment #2 from Florian Sowade <f.sowade-gcc at r9e dot de> 2011-03-29 13:27:51 UTC ---
The change in http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#705
only changed the wording to make this behavior clearer.
But the behavior itself is, like clearly argumented there, implied by the old
version of 3.4.2.

This is still not fixed in trunk. Neither in c++0x mode with the explicit
wording in the standard, nor in c++03 mode with the more subtle wording in the
standard.

[Bug c++/42687] The prevention of ADL with the help of parentheses doesn't work

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.03.29 13:46:50
     Ever Confirmed|0                           |1

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-03-29 13:46:50 UTC ---
(In reply to comment #2)
> This is still not fixed in trunk.

Yup, that's why the bug report is still open.
It can be confimed though.

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.1.2
            Summary|The prevention of ADL with  |[4.4/4.5/4.6/4.7
                   |the help of parentheses     |Regression] The prevention
                   |doesn't work                |of ADL with the help of
                   |                            |parentheses doesn't work

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-03-29 13:49:22 UTC ---
This is actually a regression, as 4.1 compiled the example

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.4.6

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.6                       |4.4.7

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jason at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-04-27 00:10:34 UTC ---
This was broken by the fix for bug 37862.

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jason at gcc dot gnu.org]

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2011-04-27 05:20:10 UTC ---
Author: jason
Date: Wed Apr 27 05:20:06 2011
New Revision: 173008

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173008
Log:
    PR c++/42687
    * parser.c (cp_parser_primary_expression): Set *idk to
    CP_ID_KIND_NONE for a parenthesized identifier.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/lookup/koenig13.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/parser.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jason at gcc dot gnu.org]

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

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> 2011-04-27 05:20:50 UTC ---
Author: jason
Date: Wed Apr 27 05:20:46 2011
New Revision: 173010

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173010
Log:
    PR c++/42687
    * parser.c (cp_parser_primary_expression): Set *idk to
    CP_ID_KIND_NONE for a parenthesized identifier.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/lookup/koenig13.C
Modified:
    branches/gcc-4_5-branch/gcc/cp/ChangeLog
    branches/gcc-4_5-branch/gcc/cp/parser.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #10 from Jason Merrill <jason at gcc dot gnu.org> 2011-04-27 05:22:22 UTC ---
Fixed.

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jason at gcc dot gnu.org]

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> 2011-04-27 05:20:38 UTC ---
Author: jason
Date: Wed Apr 27 05:20:33 2011
New Revision: 173009

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173009
Log:
    PR c++/42687
    * parser.c (cp_parser_primary_expression): Set *idk to
    CP_ID_KIND_NONE for a parenthesized identifier.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/lookup/koenig13.C
Modified:
    branches/gcc-4_4-branch/gcc/cp/ChangeLog
    branches/gcc-4_4-branch/gcc/cp/parser.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog

[Bug c++/42687] [4.4/4.5/4.6/4.7 Regression] The prevention of ADL with the help of parentheses doesn't work

[jason at gcc dot gnu.org]

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2011-04-27 05:17:26 UTC ---
Author: jason
Date: Wed Apr 27 05:17:20 2011
New Revision: 173007

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173007
Log:
    PR c++/42687
    * parser.c (cp_parser_primary_expression): Set *idk to
    CP_ID_KIND_NONE for a parenthesized identifier.

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

[Bug c++/42687] New: The prevention of ADL with the help of parentheses doesn't work

[max at e-soft dot ru]

g++ doesn't accept correct code:

namespace N
{
    struct S { };
    void f(const S &) { }
}

void f(const N::S &) { }

int main()
{
    N::S v;
    (f)(v); // no ambiguity: ADL is prevented with (), only ::f is considered
}

--------------------------------------
References:

    1) http://www.josuttis.com/tmplbook/ - "9.2.1 Argument-Dependent Lookup",
page 123.

    2) http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n3000.pdf -
"3.4.2 Argument-dependent name lookup", example on page 46.


-- 
           Summary: The prevention of ADL with the help of parentheses
                    doesn't work
           Product: gcc
           Version: 4.4.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: max at e-soft dot ru


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

[Bug c++/42687] The prevention of ADL with the help of parentheses doesn't work

[jwakely dot gcc at gmail dot com]

------- Comment #1 from jwakely dot gcc at gmail dot com  2010-01-11 18:37 -------
This was changed by
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#705 and didn't
appear in the working draft until November.
It's hardly surprising that a compiler released in October doesn't support it


-- 


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