[Bug c++/14085] New: Internal error when compiling template functors

[Bug c++/14085] New: Internal error when compiling template functors

[dds at aueb dot gr]

The following message appears:

GNU CPP version 3.2 (mingw special 20020817-1) (cpplib) (80386, BSD syntax)
GNU C++ version 3.2 (mingw special 20020817-1) (mingw32)
        compiled by GNU C version 3.2.
t.cpp:6: `Op::first_argument_type' is not a type, use `typename
Internal compiler error: Error reporting routines re-entered.
Please submit a full bug report,

when compiling the code:

#include <functional>

using namespace std;

template <class Op>
bool asfun(Op f, Op::first_argument_type a, Op::second_argument_type b)
{
        return Op(a, b);
}

int
main(int argc, char *argv[])
{
        return asfun(equal_to, 5, 5);
}

-- 
           Summary: Internal error when compiling template functors
           Product: gcc
           Version: 3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dds at aueb dot gr
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: minfw
  GCC host triplet: mingw
GCC target triplet: mingw


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

[Bug c++/14085] Internal error when compiling template functors

[dds at aueb dot gr]

------- Additional Comments From dds at aueb dot gr  2004-02-09 14:29 -------
Created an attachment (id=5708)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5708&action=view)
Preprocessed source code


-- 


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

[Bug c++/14085] Internal error when compiling template functors

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-02-09 15:49 -------
I can't confirm this with 3.2.3 on linux. Someone with a mingw 
installation may want to check this. 
 
I believe that this bug has been fixed later, btw. Can you try to 
use a later gcc version? 
 
W. 

-- 


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

[Bug c++/14085] [3.5 Regression] when compiling template functors

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-09 16:15 -------
Well the ICE might be gone but there is a diagnostic problem in 3.5.0 which makes this a regression:
pr14085.cc:6: error: `#`template_type_parm' not supported by dump_decl#<declaration error>::
first_argument_type' is not a type
pr14085.cc:6: error: `#`template_type_parm' not supported by dump_decl#<declaration error>::
second_argument_type' is not a type
pr14085.cc:7: error: ISO C++ forbids declaration of `a' with no type
pr14085.cc:7: error: ISO C++ forbids declaration of `b' with no type
pr14085.cc: In function `int main(int, char**)':
pr14085.cc:14: error: missing template arguments before ',' token

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
           Keywords|                            |diagnostic
      Known to work|                            |3.2.2 3.2.3 3.0.4 3.3.1
            Summary|Internal error when         |[3.5 Regression] when
                   |compiling template functors |compiling template functors
   Target Milestone|---                         |3.5.0


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.5 Regression] when       |[3.4/3.5 Regression] when
                   |compiling template functors |compiling template functors
   Target Milestone|3.5.0                       |3.4.0


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[dds at aueb dot gr]

------- Additional Comments From dds at aueb dot gr  2004-02-09 18:40 -------
Subject: Re:  Internal error when compiling template functors

bangerth at dealii dot org wrote:
> ------- Additional Comments From bangerth at dealii dot org  2004-02-09 15:49 -------
> I can't confirm this with 3.2.3 on linux. Someone with a mingw 
> installation may want to check this. 

> I believe that this bug has been fixed later, btw. Can you try to 
> use a later gcc version? 

Thanks for the very speedy response!  I just submitted the bug, in case 
you found it a useful test case for something.  I am not even entirely 
sure the program is 100% valid C++, but I saved it because it generated 
an ICE.  I typically appreciate test cases that trigger internal errors 
in my code because they help me isolate bugs.  This bug is not important 
for me, but as I see, you found a regression with it.

Cheers,

Diomidis


-- 


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-12 09:40 -------
Here is the redux for the error message:
template <class Op>
bool asfun(Op f, Op::first_argument_type a, Op::second_argument_type b)
{
        return Op(a, b);
}
pr14085.cc:2: error: `#`template_type_parm' not supported by dump_decl#<declaration 
error>::first_argument_type' is not a type
pr14085.cc:2: error: `#`template_type_parm' not supported by dump_decl#<declaration 
error>::second_argument_type' is not a type
pr14085.cc:3: error: ISO C++ forbids declaration of `a' with no type
pr14085.cc:3: error: ISO C++ forbids declaration of `b' with no type

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |3.4.0 3.5.0
   Last reconfirmed|0000-00-00 00:00:00         |2004-02-12 09:40:46
               date|                            |


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-12 09:46 -------
Blah

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |gdr at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-15 15:00 -------
Subject: Bug 14085

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	gdr@gcc.gnu.org	2004-02-15 15:00:54

Modified files:
	gcc/cp         : ChangeLog error.c 
Added files:
	gcc/testsuite/g++.dg/other: nontype-1.C 

Log message:
	PR c++/14085
	* error.c (dump_decl): Handle TEMPLATE_TYPE_PARM.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3956&r2=1.3957
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&r1=1.244&r2=1.245
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/nontype-1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-15 15:06 -------
Subject: Bug 14085

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	gdr@gcc.gnu.org	2004-02-15 15:06:02

Modified files:
	gcc/cp         : ChangeLog error.c 
Added files:
	gcc/testsuite/g++.dg/other: nontype-1.C 

Log message:
	PR c++/14085
	* error.c (dump_decl): Handle TEMPLATE_TYPE_PARM.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.52&r2=1.3892.2.53
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.241.4.1&r2=1.241.4.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/nontype-1.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-15 16:24 -------
Fixed for 3.4 and mainline.

-- 


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[andreas dot meier_ at gmx dot de]

------- Additional Comments From andreas dot meier_ at gmx dot de  2004-02-16 10:31 -------
So it can be closed

-- 


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

[Bug c++/14085] [3.4/3.5 Regression] when compiling template functors

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-16 12:07 -------
Fixed.

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


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