public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
@ 2013-10-03 20:41 reichelt at gcc dot gnu.org
  2013-10-03 22:52 ` [Bug c++/58606] " paolo.carlini at oracle dot com
                   ` (11 more replies)
  0 siblings, 12 replies; 13+ messages in thread
From: reichelt at gcc dot gnu.org @ 2013-10-03 20:41 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 58606
           Summary: [4.8/4.9 Regression] [c++11] ICE with specialization
                    in variadic template
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reichelt at gcc dot gnu.org

The following valid code snippet (compiled with "-std=c++11") triggers an ICE
since GCC 4.8.0:

========================================
template<int&...> struct A
{
  template<typename> struct B;

  template<typename T> struct B<T*> {};
};
========================================

bug.cc:5:35: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have template_decl in lookup_template_class_1,
at cp/pt.c:7645
   template<typename T> struct B<T*> {};
                                   ^
0xcd83ea tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        ../../gcc/gcc/tree.c:9176
0x54c851 tree_check3(tree_node*, char const*, int, char const*, tree_code,
tree_code, tree_code)
        ../../gcc/gcc/tree.h:2649
0x5b44be lookup_template_class_1
        ../../gcc/gcc/cp/pt.c:7645
0x5b44be lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
        ../../gcc/gcc/cp/pt.c:7695
0x6b4572 finish_template_type(tree_node*, tree_node*, int)
        ../../gcc/gcc/cp/semantics.c:2856
0x64cc60 cp_parser_template_id
        ../../gcc/gcc/cp/parser.c:13219
0x64ce92 cp_parser_class_name
        ../../gcc/gcc/cp/parser.c:18752
0x642b6f cp_parser_qualifying_entity
        ../../gcc/gcc/cp/parser.c:5448
0x642b6f cp_parser_nested_name_specifier_opt
        ../../gcc/gcc/cp/parser.c:5173
0x6362ce cp_parser_class_head
        ../../gcc/gcc/cp/parser.c:19194
0x6362ce cp_parser_class_specifier_1
        ../../gcc/gcc/cp/parser.c:18833
0x638180 cp_parser_class_specifier
        ../../gcc/gcc/cp/parser.c:19102
0x638180 cp_parser_type_specifier
        ../../gcc/gcc/cp/parser.c:14081
0x64d679 cp_parser_decl_specifier_seq
        ../../gcc/gcc/cp/parser.c:11328
0x651cf3 cp_parser_single_declaration
        ../../gcc/gcc/cp/parser.c:22580
0x654b18 cp_parser_template_declaration_after_export
        ../../gcc/gcc/cp/parser.c:22456
0x6347e2 cp_parser_member_declaration
        ../../gcc/gcc/cp/parser.c:19704
0x6357de cp_parser_member_specification_opt
        ../../gcc/gcc/cp/parser.c:19631
0x6357de cp_parser_class_specifier_1
        ../../gcc/gcc/cp/parser.c:18886
0x638180 cp_parser_class_specifier
        ../../gcc/gcc/cp/parser.c:19102
Please submit a full bug report, [etc.]


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
@ 2013-10-03 22:52 ` paolo.carlini at oracle dot com
  2013-10-10 11:40 ` rguenth at gcc dot gnu.org
                   ` (10 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-10-03 22:52 UTC (permalink / raw)
  To: gcc-bugs

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
  2013-10-03 22:52 ` [Bug c++/58606] " paolo.carlini at oracle dot com
@ 2013-10-10 11:40 ` rguenth at gcc dot gnu.org
  2013-10-16  9:49 ` jakub at gcc dot gnu.org
                   ` (9 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-10-10 11:40 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.2


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
  2013-10-03 22:52 ` [Bug c++/58606] " paolo.carlini at oracle dot com
  2013-10-10 11:40 ` rguenth at gcc dot gnu.org
@ 2013-10-16  9:49 ` jakub at gcc dot gnu.org
  2014-01-27 18:24 ` jason at gcc dot gnu.org
                   ` (8 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-10-16  9:49 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.2                       |4.8.3

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.2 has been released.


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2013-10-16  9:49 ` jakub at gcc dot gnu.org
@ 2014-01-27 18:24 ` jason at gcc dot gnu.org
  2014-01-28  4:31 ` jason at gcc dot gnu.org
                   ` (7 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-01-27 18:24 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-01-27
                 CC|                            |jason at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
     Ever confirmed|0                           |1


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (3 preceding siblings ...)
  2014-01-27 18:24 ` jason at gcc dot gnu.org
@ 2014-01-28  4:31 ` jason at gcc dot gnu.org
  2014-01-28 13:45 ` jason at gcc dot gnu.org
                   ` (6 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-01-28  4:31 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Jan 28 04:31:14 2014
New Revision: 207167

URL: http://gcc.gnu.org/viewcvs?rev=207167&root=gcc&view=rev
Log:
    PR c++/58606
    * pt.c (template_parm_to_arg): Call convert_from_reference.
    (tsubst_template_arg): Don't strip reference refs.

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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (4 preceding siblings ...)
  2014-01-28  4:31 ` jason at gcc dot gnu.org
@ 2014-01-28 13:45 ` jason at gcc dot gnu.org
  2014-01-28 14:01 ` jason at gcc dot gnu.org
                   ` (5 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-01-28 13:45 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Jan 28 13:44:57 2014
New Revision: 207189

URL: http://gcc.gnu.org/viewcvs?rev=207189&root=gcc&view=rev
Log:
    PR c++/58606
    * pt.c (template_parm_to_arg): Call convert_from_reference.
    (tsubst_template_arg): Don't strip reference refs.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/cpp0x/variadic146.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/pt.c


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (5 preceding siblings ...)
  2014-01-28 13:45 ` jason at gcc dot gnu.org
@ 2014-01-28 14:01 ` jason at gcc dot gnu.org
  2014-02-21  4:43 ` jason at gcc dot gnu.org
                   ` (4 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-01-28 14:01 UTC (permalink / raw)
  To: gcc-bugs

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

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

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.8.3/4.9.


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (6 preceding siblings ...)
  2014-01-28 14:01 ` jason at gcc dot gnu.org
@ 2014-02-21  4:43 ` jason at gcc dot gnu.org
  2014-02-21 14:01 ` jason at gcc dot gnu.org
                   ` (3 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-02-21  4:43 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Feb 21 04:42:59 2014
New Revision: 207978

URL: http://gcc.gnu.org/viewcvs?rev=207978&root=gcc&view=rev
Log:
    PR c++/60274
    Revert:
    PR c++/58606
    * pt.c (template_parm_to_arg): Call convert_from_reference.
    (tsubst_template_arg): Don't strip reference refs.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/template/ref7.C
Removed:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/cpp0x/variadic146.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/pt.c


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (7 preceding siblings ...)
  2014-02-21  4:43 ` jason at gcc dot gnu.org
@ 2014-02-21 14:01 ` jason at gcc dot gnu.org
  2014-02-21 21:07 ` [Bug c++/58606] [4.8 " reichelt at gcc dot gnu.org
                   ` (2 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-02-21 14:01 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Feb 21 14:00:44 2014
New Revision: 207994

URL: http://gcc.gnu.org/viewcvs?rev=207994&root=gcc&view=rev
Log:
    PR c++/60167
    PR c++/60222
    PR c++/58606
    * parser.c (cp_parser_template_argument): Restore dereference.
    * pt.c (template_parm_to_arg): Dereference non-pack expansions too.
    (process_partial_specialization): Handle deref.
    (unify): Likewise.

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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (8 preceding siblings ...)
  2014-02-21 14:01 ` jason at gcc dot gnu.org
@ 2014-02-21 21:07 ` reichelt at gcc dot gnu.org
  2014-05-22  9:03 ` rguenth at gcc dot gnu.org
  2014-07-31 15:55 ` jason at gcc dot gnu.org
  11 siblings, 0 replies; 13+ messages in thread
From: reichelt at gcc dot gnu.org @ 2014-02-21 21:07 UTC (permalink / raw)
  To: gcc-bugs

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
      Known to work|                            |4.9.0
         Resolution|FIXED                       |---
            Summary|[4.8/4.9 Regression]        |[4.8 Regression] [c++11]
                   |[c++11] ICE with            |ICE with specialization in
                   |specialization in variadic  |variadic template
                   |template                    |
      Known to fail|4.9.0                       |

--- Comment #7 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Since the patch was reverted on the 4.8 branch, the bug is again open there.


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (9 preceding siblings ...)
  2014-02-21 21:07 ` [Bug c++/58606] [4.8 " reichelt at gcc dot gnu.org
@ 2014-05-22  9:03 ` rguenth at gcc dot gnu.org
  2014-07-31 15:55 ` jason at gcc dot gnu.org
  11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-05-22  9:03 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.3                       |4.8.4

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 4.8.3 is being released, adjusting target milestone.


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug c++/58606] [4.8 Regression] [c++11] ICE with specialization in variadic template
  2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
                   ` (10 preceding siblings ...)
  2014-05-22  9:03 ` rguenth at gcc dot gnu.org
@ 2014-07-31 15:55 ` jason at gcc dot gnu.org
  11 siblings, 0 replies; 13+ messages in thread
From: jason at gcc dot gnu.org @ 2014-07-31 15:55 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|4.8.4                       |4.9.0

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> ---
I think this is riskier than I want to apply to 4.8.


^ permalink raw reply	[flat|nested] 13+ messages in thread
end of thread, other threads:[~2014-07-31 15:55 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-10-03 20:41 [Bug c++/58606] New: [4.8/4.9 Regression] [c++11] ICE with specialization in variadic template reichelt at gcc dot gnu.org
2013-10-03 22:52 ` [Bug c++/58606] " paolo.carlini at oracle dot com
2013-10-10 11:40 ` rguenth at gcc dot gnu.org
2013-10-16  9:49 ` jakub at gcc dot gnu.org
2014-01-27 18:24 ` jason at gcc dot gnu.org
2014-01-28  4:31 ` jason at gcc dot gnu.org
2014-01-28 13:45 ` jason at gcc dot gnu.org
2014-01-28 14:01 ` jason at gcc dot gnu.org
2014-02-21  4:43 ` jason at gcc dot gnu.org
2014-02-21 14:01 ` jason at gcc dot gnu.org
2014-02-21 21:07 ` [Bug c++/58606] [4.8 " reichelt at gcc dot gnu.org
2014-05-22  9:03 ` rguenth at gcc dot gnu.org
2014-07-31 15:55 ` jason at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).