[Bug c++/28985] New: class member access using a qualified-id fails to check for match of classes

[Bug c++/28985] New: class member access using a qualified-id fails to check for match of classes

[amylaar at gcc dot gnu dot org]

The following code violates clause 4 of 3.4.5

class C {};

void
f ()
{
  C o;

  class C {};

  o.C::~C ();
}


-- 
           Summary: class member access using a qualified-id fails to check
                    for match of classes
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: amylaar at gcc dot gnu dot org


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

[Bug c++/28985] [4.0/4.1/4.2 Regression] class member access using a qualified-id fails to check for match of classes

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-09-09 04:10 -------
Confirmed, a regression from 3.3.3 which gave:
t.cc: In function `void f()':
t.cc:10: error: lookup of `C' in the scope of `class C' (`class C') does not
   match lookup in the current scope (`class f()::C')


To me this looks related to PR 28513.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to fail|                            |3.4.0 4.0.0 4.1.0 4.2.0
      Known to work|                            |3.3.3 3.2.3 3.0.4 2.95.3
   Last reconfirmed|0000-00-00 00:00:00         |2006-09-09 04:10:48
               date|                            |
            Summary|class member access using a |[4.0/4.1/4.2 Regression]
                   |qualified-id fails to check |class member access using a
                   |for match of classes        |qualified-id fails to check
                   |                            |for match of classes
   Target Milestone|---                         |4.0.4


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

[Bug c++/28985] [4.0/4.1/4.2 Regression] class member access using a qualified-id fails to check for match of classes

[mmitchel at gcc dot gnu dot org]

------- Comment #2 from mmitchel at gcc dot gnu dot org  2006-09-10 22:09 -------
The rules in the standard regarding destructor lookup, what constitues the same
name, etc., are not well-specified.  The last time I investigated this, the EDG
front end used rules which did not seem to match the standard, but, IIRC, John
Spicer argued that was a bug in the standard.

In any case, this case is certainly invalid, but it may also be dangerous to
try to fix it.


-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug c++/28985] [4.0/4.1/4.2/4.3 Regression] class member access using a qualified-id fails to check for match of classes

[gdr at gcc dot gnu dot org]

------- Comment #3 from gdr at gcc dot gnu dot org  2007-02-03 19:44 -------
won't fix in GCC-4.0.x.  Adjusting milestone.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.4                       |4.1.3


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

[Bug c++/28985] [4.0/4.1/4.2/4.3 Regression] class member access using a qualified-id fails to check for match of classes

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.3                       |4.1.2


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

[Bug c++/28985] [4.0/4.1/4.2/4.3 Regression] class member access using a qualified-id fails to check for match of classes

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.2                       |4.1.3


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

[Bug c++/28985] [4.2/4.3/4.4 Regression] class member access using a qualified-id fails to check for match of classes

[jsm28 at gcc dot gnu dot org]

------- Comment #4 from jsm28 at gcc dot gnu dot org  2008-07-04 21:29 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2/4.3/4.4 Regression]|[4.2/4.3/4.4 Regression]
                   |class member access using a |class member access using a
                   |qualified-id fails to check |qualified-id fails to check
                   |for match of classes        |for match of classes
   Target Milestone|4.1.3                       |4.2.5


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

[Bug c++/28985] [4.2/4.3/4.4 Regression] class member access using a qualified-id fails to check for match of classes

[jason at gcc dot gnu dot org]

------- Comment #5 from jason at gcc dot gnu dot org  2008-12-03 21:52 -------
This is open core issue 399:

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#399

Suspending.


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |SUSPENDED


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

[Bug c++/28985] [DR 399] class member access using a qualified-id fails to check for match of classes

[jason at gcc dot gnu dot org]

------- Comment #6 from jason at gcc dot gnu dot org  2008-12-04 14:53 -------
Removing regression tag.


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.2/4.3/4.4 Regression] [DR|[DR 399] class member access
                   |399] class member access    |using a qualified-id fails
                   |using a qualified-id fails  |to check for match of
                   |to check for match of       |classes
                   |classes                     |


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

[Bug c++/28985] [DR 399] class member access using a qualified-id fails to check for match of classes

[jsm28 at gcc dot gnu dot org]

------- Comment #7 from jsm28 at gcc dot gnu dot org  2009-03-31 19:42 -------
Removing milestone since not currently tagged a regression.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.5                       |---


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

[Bug c++/28985] [DR 399] class member access using a qualified-id fails to check for match of classes

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28985

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |NEW
      Known to work|                            |
      Known to fail|                            |

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
[Accepted at the November, 2020 meeting as part of paper P1787R6 and moved to
DR at the February, 2021 meeting.]