[Bug c++/20220] New: [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[Bug c++/20220] New: [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[giovannibajo at libero dot it]

The attached preprocessed source code is an example of a recent regresion of 
the C++ frontend which totally *kills* Boost: test rate dropped from 90% to 9% 
because of this! This used to work like 2 weeks ago...

-- 
           Summary: [4.0/4.1 Regression] Rejecting invalid template code,
                    breaks most of Boost
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: giovannibajo at libero dot it
                CC: gcc-bugs at gcc dot gnu dot org,mw8329 at yahoo dot com
                    dot au


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.0.0
            Version|unknown                     |4.0.0


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-02-26 00:46 -------
Created an attachment (id=8288)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8288&action=view)
Preprocessed source (to be reduced)


-- 


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-26 00:55 -------
Easy reduction:
template <class T, T i> class b {};
template <class T, T i> class a
{
static const T value = i;
  b<T, static_cast<T>(value+1) > next;
};

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-26 00:55:09
               date|                            |


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-26 00:58 -------
This worked with 4.0.0 20050113 but fails with 20050210.

-- 


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-02-26 12:01 -------
I forgot to thank Martin Wille for notifying me of this bug and providing me 
with this testcase.

-- 


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-28 01:09 -------
(In reply to comment #3)
> This worked with 4.0.0 20050113 but fails with 20050210.
To get a smaller window, it fails with 20050201.
Hmm, it passes with 20050225.
I think this was fixed by:
        PR c++/19991
        * init.c (integral_constant_value): Iterate if the value of a decl
        is itself a constant.

Since this is fixed both the orginal full test case and the reduced version, I am going to close it as fixed.
Giovanni if you want to apply the testcase I think that would be useful for the future.

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


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

[Bug c++/20220] [4.0/4.1 Regression] Rejecting invalid template code, breaks most of Boost

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-01 14:32 -------
*** Bug 20261 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |redi at gcc dot gnu dot org


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