[Bug c++/47705] New: internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[Bug c++/47705] New: internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[bero at arklinux dot org]

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

           Summary: internal compiler error: in convert_nontype_argument,
                    at cp/pt.c:5006
           Product: gcc
           Version: 4.5.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: bero@arklinux.org


Running the following (invalid) code:


template<char const * const x> class Something {
};

extern char const xyz;

class SomethingElse:public Something<xyz> {
};


through gcc 4.5.2 results in:


test.cpp:6:41: internal compiler error: in convert_nontype_argument, at
cp/pt.c:5006



The problem with the code is that xyz should be xyz[] -- I'd expect the error
message to be

test.cpp:6:41: error: ‘xyz’ is not a valid template argument because ‘xyz’ is a
variable, not the address of a variable

Which is what you get if you remove the "const" in "extern char const xyz;"

[Bug c++/47705] [4.5/4.6 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.02.11 19:07:06
      Known to work|                            |4.4.3
            Summary|internal compiler error: in |[4.5/4.6 Regression]
                   |convert_nontype_argument,   |internal compiler error: in
                   |at cp/pt.c:5006             |convert_nontype_argument,
                   |                            |at cp/pt.c:5006
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-02-11 19:07:06 UTC ---
confirmed as a regression since 4.4 which says:
inv.cc:6: error: 'xyz' is not a valid template argument because 'xyz' is a
variable, not the address of a variable

[Bug c++/47705] [4.5/4.6 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.3

[Bug c++/47705] [4.5/4.6 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |jakub at gcc dot gnu.org

[Bug c++/47705] [4.5/4.6 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jason at gcc dot gnu.org]

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

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                     |

[Bug c++/47705] [4.5/4.6 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 17:30:43 UTC ---
Author: jason
Date: Tue Mar  8 17:30:36 2011
New Revision: 170782

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170782
Log:
    PR c++/47705
    * pt.c (convert_nontype_argument): Don't crash on non-pointer
    argument to pointer parameter.

Added:
    trunk/gcc/testsuite/g++.dg/template/nontype21.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/47705] [4.5 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.0
            Summary|[4.5/4.6 Regression]        |[4.5 Regression] internal
                   |internal compiler error: in |compiler error: in
                   |convert_nontype_argument,   |convert_nontype_argument,
                   |at cp/pt.c:5006             |at cp/pt.c:5006
      Known to fail|                            |4.5.2

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-08 18:52:13 UTC ---
Fixed on the trunk.

[Bug c++/47705] [4.5 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 22:03:02 UTC ---
Author: jason
Date: Tue Mar  8 22:02:59 2011
New Revision: 170791

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170791
Log:
    PR c++/47705
    * pt.c (convert_nontype_argument): Only call decay_conversion on
    arrays.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/g++.dg/template/nontype21.C

[Bug c++/47705] [4.5 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 22:40:03 UTC ---
Author: jason
Date: Tue Mar  8 22:39:57 2011
New Revision: 170795

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170795
Log:
    PR c++/47705
    * pt.c (convert_nontype_argument): Only call decay_conversion on
    arrays.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/template/nontype21.C
Modified:
    branches/gcc-4_5-branch/gcc/cp/ChangeLog
    branches/gcc-4_5-branch/gcc/cp/pt.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog

[Bug c++/47705] [4.5 Regression] internal compiler error: in convert_nontype_argument, at cp/pt.c:5006

[jason at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-08 22:42:49 UTC ---
Fixed in 4.5 as well.