[Bug c++/38933] New: [4.3 regression] fails to build valid code

[Bug c++/38933] New: [4.3 regression] fails to build valid code

[doko at ubuntu dot com]

the attached test case builds with 4.3.2 and 4.4.0, but not with 4.2.4 and
4.3.3.

$ g++ -c SmartSearcher.ii
In file included from SmartSearcher.cc:23:
Printer.h: In member function 'CollPrinter& CollPrinter::operator=(const
std::pair<_T1, _T2>&)':
Printer.h:103: error: expected primary-expression before ':' token


-- 
           Summary: [4.3 regression] fails to build valid code
           Product: gcc
           Version: 4.3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: doko at ubuntu dot com


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

[Bug c++/38933] [4.3 regression] fails to build valid code

[doko at ubuntu dot com]

------- Comment #1 from doko at ubuntu dot com  2009-01-22 11:57 -------
Created an attachment (id=17161)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17161&action=view)
preprocessed source


-- 


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

[Bug c++/38933] [4.3/4.4 Regression] fails to build valid code

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-01-22 12:24 -------
Reducing.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
           Keywords|                            |rejects-valid
      Known to fail|                            |4.3.3
      Known to work|                            |4.3.2
           Priority|P3                          |P1
            Summary|[4.3 regression] fails to   |[4.3/4.4 Regression] fails
                   |build valid code            |to build valid code
   Target Milestone|---                         |4.3.3


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

[Bug c++/38933] [4.3/4.4 Regression] fails to build valid code

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-01-22 12:32 -------
HJ, can you track down this to the revision that broke it?  Thx.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hjl at gnu dot org


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

[Bug c++/38933] [4.3/4.4 Regression] fails to build valid code

[doko at ubuntu dot com]

------- Comment #4 from doko at ubuntu dot com  2009-01-22 12:38 -------
20090111 is ok, 20090117 not.


-- 


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

[Bug c++/38933] [4.3/4.4 Regression] fails to build code

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-01-22 12:57 -------
Hm, I don't think this is valid:

 enum Type { NAME, FACETS, TAGS, QUIET };
...
 template<typename ITEMS, typename TAGS>
 CollPrinter& operator=(const std::pair<ITEMS, TAGS>& data)
 {
...
   switch (m_type)
   {
...
    case TAGS:

is it?  EDG rejects it with

t.3.ii(73): error: type name is not allowed
                case TAGS:
                     ^

Reduced testcase:

class Foo {
  enum { TAGS = 1 };
  template <typename TAGS>
  void foo(TAGS x, int i)
  {
    switch (i) {
    case TAGS:;
    }
  }
};


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|rejects-valid               |
            Summary|[4.3/4.4 Regression] fails  |[4.3/4.4 Regression] fails
                   |to build valid code         |to build code


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

[Bug c++/38933] [4.3/4.4 Regression] fails to build code

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P3


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

[Bug c++/38933] [4.3/4.4 Regression] fails to build code

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2009-01-22 21:33 -------
Yes this is invalid code, see PR 36019 for the reason why.  


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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