]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/cp/semantics.c
re PR c++/34055 (ICE with invalid specialization of variadic template)
authorDouglas Gregor <doug.gregor@gmail.com>
Tue, 29 Jan 2008 13:59:59 +0000 (13:59 +0000)
committerDoug Gregor <dgregor@gcc.gnu.org>
Tue, 29 Jan 2008 13:59:59 +0000 (13:59 +0000)
commit7b3e2d465d6f267d34a18b46c1ab6650c67785d9
tree21edc5a5f99ef49778039546b761a20f1c6831c6
parentf66816e8726d9bb12d2163f4ca8404b2b22cb15f
re PR c++/34055 (ICE with invalid specialization of variadic template)

2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/34055
PR c++/34103
PR c++/34219
PR c++/34606
PR c++/34753
PR c++/34754
PR c++/34755
PR c++/34919
PR c++/34961
* c-pretty-print.c (pp_c_type_qualifier_list): Don't try to print
qualifiers for an ERROR_MARK_NODE or a NULL_TREE.

2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/34055
PR c++/34103
PR c++/34219
PR c++/34606
PR c++/34753
PR c++/34754
PR c++/34755
PR c++/34919
PR c++/34961
* typeck.c (check_return_expr): Tweak call to
check_for_bare_parameter_packs.
* class.c (add_method): Be careful with error_mark_nodes.
* cp-tree.h (check_for_bare_parameter_packs): Remove "*" from
signature.
* pt.c (struct find_parameter_pack_data): Remove
SET_PACKS_TO_ERROR.
(find_parameter_packs_r): Don't use SET_PACKS_TO_ERROR.
(uses_parameter_packs): Don't set SET_PACKS_TO_ERROR.
(make_pack_expansion): Ditto.
(check_for_bare_parameter_packs): Parameter is now a tree, not a
tree*.
(process_template_parm): Tweak call to
check_for_bare_parameter_packs.
(push_template_decl_real): Tweak calls to
check_for_bare_parameter_packs. If bare parameter packs are found
in the list of exceptions, clear out that list after giving an
error.
* semantics.c (finish_cond): Tweak call to
check_for_bare_parameter_packs.
(finish_expr_stmt): Ditto.
(finish_for_expr): Ditto.
(finish_switch_cond): Ditto.
(finish_mem_initializers): Ditto.
(finish_member_declaration): Ditto.
(finish_static_assert): Check for bare parameter packs in the
condition.
* decl2.c (cplus_decl_attributes): Check for bare parameter packs in the
attributes of a declaration.
* parser.c (cp_parser_using_declaration): Tweak call to
check_for_bare_parameter_packs.
(cp_parser_base_clause): Ditto.

2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/34055
PR c++/34103
PR c++/34219
PR c++/34606
PR c++/34753
PR c++/34754
PR c++/34755
PR c++/34919
PR c++/34961
* g++.dg/cpp0x/vt-34219-2.C: New.
* g++.dg/cpp0x/pr32126.C: Tweak expected error messages.
* g++.dg/cpp0x/vt-34961.C: New.
* g++.dg/cpp0x/vt-34055.C: Tweak error messages; add new test
cases from the re-opened PR.
* g++.dg/cpp0x/vt-34753.C: New.
* g++.dg/cpp0x/vt-34919.C: New.
* g++.dg/cpp0x/vt-34754.C: New.
* g++.dg/cpp0x/vt-34606.C: New.
* g++.dg/cpp0x/vt-34219.C: New.
* g++.dg/cpp0x/pr32125.C: Tweak expected error messages.
* g++.dg/cpp0x/vt-34755.C: New.
* g++.dg/cpp0x/pr31438.C: Ditto.
* g++.dg/cpp0x/variadic81.C: Ditto.

From-SVN: r131938
25 files changed:
gcc/ChangeLog
gcc/c-pretty-print.c
gcc/cp/ChangeLog
gcc/cp/class.c
gcc/cp/cp-tree.h
gcc/cp/decl.c
gcc/cp/decl2.c
gcc/cp/parser.c
gcc/cp/pt.c
gcc/cp/semantics.c
gcc/cp/typeck.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/cpp0x/pr31438.C
gcc/testsuite/g++.dg/cpp0x/pr32125.C
gcc/testsuite/g++.dg/cpp0x/pr32126.C
gcc/testsuite/g++.dg/cpp0x/variadic81.C
gcc/testsuite/g++.dg/cpp0x/vt-34055.C
gcc/testsuite/g++.dg/cpp0x/vt-34219-2.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34219.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34606.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34753.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34754.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34755.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34919.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/vt-34961.C [new file with mode: 0644]