public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/31444] New: [4.3 regression] ICE with invalid use of parameter pack in member template @ 2007-04-02 20:20 reichelt at gcc dot gnu dot org 2007-04-02 20:21 ` [Bug c++/31444] " reichelt at gcc dot gnu dot org ` (3 more replies) 0 siblings, 4 replies; 5+ messages in thread From: reichelt at gcc dot gnu dot org @ 2007-04-02 20:20 UTC (permalink / raw) To: gcc-bugs More fallout from the variadic templates on mainline: =========================================================== template<typename... T> struct A { template<int> void foo(A<T>); }; void bar() { A<int>().foo<0>(A<int>()); }; =========================================================== bug.cc:3: error: parameter packs not expanded with `...': bug.cc:3: note: 'T' bug.cc: In function 'void bar()': bug.cc:8: internal compiler error: in tsubst, at cp/pt.c:8466 Please submit a full bug report, [etc.] This is a slightly simpler testcase than PR31443, but it ICE's in tsubst instead of unify. -- Summary: [4.3 regression] ICE with invalid use of parameter pack in member template Product: gcc Version: 4.3.0 Status: UNCONFIRMED Keywords: ice-on-invalid-code, error-recovery, monitored Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: reichelt at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31444 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/31444] [4.3 regression] ICE with invalid use of parameter pack in member template 2007-04-02 20:20 [Bug c++/31444] New: [4.3 regression] ICE with invalid use of parameter pack in member template reichelt at gcc dot gnu dot org @ 2007-04-02 20:21 ` reichelt at gcc dot gnu dot org 2007-04-25 15:46 ` dgregor at gcc dot gnu dot org ` (2 subsequent siblings) 3 siblings, 0 replies; 5+ messages in thread From: reichelt at gcc dot gnu dot org @ 2007-04-02 20:21 UTC (permalink / raw) To: gcc-bugs -- reichelt at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31444 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/31444] [4.3 regression] ICE with invalid use of parameter pack in member template 2007-04-02 20:20 [Bug c++/31444] New: [4.3 regression] ICE with invalid use of parameter pack in member template reichelt at gcc dot gnu dot org 2007-04-02 20:21 ` [Bug c++/31444] " reichelt at gcc dot gnu dot org @ 2007-04-25 15:46 ` dgregor at gcc dot gnu dot org 2007-05-25 13:16 ` dgregor at gcc dot gnu dot org 2007-05-26 19:02 ` reichelt at gcc dot gnu dot org 3 siblings, 0 replies; 5+ messages in thread From: dgregor at gcc dot gnu dot org @ 2007-04-25 15:46 UTC (permalink / raw) To: gcc-bugs -- dgregor at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |dgregor at gcc dot gnu dot |dot org |org Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|0000-00-00 00:00:00 |2007-04-25 16:46:21 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31444 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/31444] [4.3 regression] ICE with invalid use of parameter pack in member template 2007-04-02 20:20 [Bug c++/31444] New: [4.3 regression] ICE with invalid use of parameter pack in member template reichelt at gcc dot gnu dot org 2007-04-02 20:21 ` [Bug c++/31444] " reichelt at gcc dot gnu dot org 2007-04-25 15:46 ` dgregor at gcc dot gnu dot org @ 2007-05-25 13:16 ` dgregor at gcc dot gnu dot org 2007-05-26 19:02 ` reichelt at gcc dot gnu dot org 3 siblings, 0 replies; 5+ messages in thread From: dgregor at gcc dot gnu dot org @ 2007-05-25 13:16 UTC (permalink / raw) To: gcc-bugs ------- Comment #1 from dgregor at gcc dot gnu dot org 2007-05-25 14:16 ------- Subject: Bug 31444 Author: dgregor Date: Fri May 25 13:15:04 2007 New Revision: 125062 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125062 Log: 2007-05-25 Douglas Gregor <doug.gregor@gmail.com> PR c++/31431 PR c++/31432 PR c++/31434 PR c++/31435 PR c++/31437 PR c++/31438 PR c++/31442 PR c++/31443 PR c++/31444 PR c++/31445 * error.c (dump_type): Dump TYPE_ARGUMENT_PACK nodes. * cp-tree.h (check_for_bare_parameter_packs): Returns bool. * pt.c (check_for_bare_parameter_packs): Return bool indicated whether everything was okay. Fix indentation. (push_template_decl_real): Check for bare parameter packs in function parameters; where errors occur, mark the parameter types with ERROR_MARK_NODEs to avert ICEs. (coerce_template_parameter_pack): New. (coerce_template_parms): Moved parameter pack coercion into coerce_template_parameter_pack, and permit it anywhere in the template parameter list (not just at the end). Parameter and argument indices can vary (somewhat) separately now, so add PARM_IDX and ARG_IDX. (fn_type_unification): Don't set an argument pack as incomplete if no argument pack was deduced. (type_unification_real): If a type parameter is a parameter pack and has not otherwise been deduced, it will be deduced to an empty parameter pack. (more_specialized_fn): Use the actual lengths of the argument lists when comparing against expansions. * semantics.c (finish_member_declaration): If a field's type has bare parameter packs, error and set its type to ERROR_MARK_NODE. 2007-05-25 Douglas Gregor <doug.gregor@gmail.com> PR c++/31431 PR c++/31432 PR c++/31434 PR c++/31435 PR c++/31437 PR c++/31438 PR c++/31442 PR c++/31443 PR c++/31444 PR c++/31445 * g++.dg/cpp0x/pr31431.C: New. * g++.dg/cpp0x/pr31437.C: New. * g++.dg/cpp0x/pr31442.C: New. * g++.dg/cpp0x/pr31444.C: New. * g++.dg/cpp0x/pr31431-2.C: New. * g++.dg/cpp0x/pr31432.C: New. * g++.dg/cpp0x/pr31434.C: New. * g++.dg/cpp0x/pr31438.C: New. * g++.dg/cpp0x/pr31443.C: New. * g++.dg/cpp0x/pr31445.C: New. * g++.dg/cpp0x/variadic-crash1.C: New. Added: trunk/gcc/testsuite/g++.dg/cpp0x/pr31431-2.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31431.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31432.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31434.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31437.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31438.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31442.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31443.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31444.C trunk/gcc/testsuite/g++.dg/cpp0x/pr31445.C trunk/gcc/testsuite/g++.dg/cpp0x/variadic-crash1.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/cp-tree.h trunk/gcc/cp/error.c trunk/gcc/cp/pt.c trunk/gcc/cp/semantics.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31444 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/31444] [4.3 regression] ICE with invalid use of parameter pack in member template 2007-04-02 20:20 [Bug c++/31444] New: [4.3 regression] ICE with invalid use of parameter pack in member template reichelt at gcc dot gnu dot org ` (2 preceding siblings ...) 2007-05-25 13:16 ` dgregor at gcc dot gnu dot org @ 2007-05-26 19:02 ` reichelt at gcc dot gnu dot org 3 siblings, 0 replies; 5+ messages in thread From: reichelt at gcc dot gnu dot org @ 2007-05-26 19:02 UTC (permalink / raw) To: gcc-bugs ------- Comment #2 from reichelt at gcc dot gnu dot org 2007-05-26 19:02 ------- Fixed on mainline. -- reichelt at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31444 ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2007-05-26 19:02 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2007-04-02 20:20 [Bug c++/31444] New: [4.3 regression] ICE with invalid use of parameter pack in member template reichelt at gcc dot gnu dot org 2007-04-02 20:21 ` [Bug c++/31444] " reichelt at gcc dot gnu dot org 2007-04-25 15:46 ` dgregor at gcc dot gnu dot org 2007-05-25 13:16 ` dgregor at gcc dot gnu dot org 2007-05-26 19:02 ` reichelt at gcc dot gnu dot 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).