diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-12-13 15:35:12 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-12-13 15:35:12 +0100 |
| commit | 8e9f20cf1afad895bbb73a418ee3a183d2a2ea23 (patch) | |
| tree | 8d6601148fa8b78c438d3dac7314309e33870e31 | |
| parent | 5944e3a8cc4e34030c2f6ca06db347ecafb9371a (diff) | |
| download | gcc-8e9f20cf1afad895bbb73a418ee3a183d2a2ea23.zip gcc-8e9f20cf1afad895bbb73a418ee3a183d2a2ea23.tar.gz gcc-8e9f20cf1afad895bbb73a418ee3a183d2a2ea23.tar.bz2 | |
re PR c++/55652 (ICE (segfault) with templates and structs)
PR c++/55652
* typeck2.c (merge_exception_specifiers): Don't call operand_equal_p
if noex is NULL.
* g++.dg/cpp0x/noexcept19.C: New test.
From-SVN: r194479
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/typeck2.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/noexcept19.C | 29 |
4 files changed, 41 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index a2228fa..ea4cfb2 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2012-12-13 Jakub Jelinek <jakub@redhat.com> + + PR c++/55652 + * typeck2.c (merge_exception_specifiers): Don't call operand_equal_p + if noex is NULL. + 2012-12-11 Jason Merrill <jason@redhat.com> PR c++/54883 diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c index abddd4d..fbf5000 100644 --- a/gcc/cp/typeck2.c +++ b/gcc/cp/typeck2.c @@ -1871,7 +1871,7 @@ merge_exception_specifiers (tree list, tree add, tree fn) /* If ADD is a deferred noexcept, we must have been called from process_subob_fn. For implicitly declared functions, we build up a list of functions to consider at instantiation time. */ - if (operand_equal_p (noex, boolean_true_node, 0)) + if (noex && operand_equal_p (noex, boolean_true_node, 0)) noex = NULL_TREE; gcc_assert (fn && (!noex || is_overloaded_fn (noex))); noex = build_overload (fn, noex); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a03406a..e16352a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-12-13 Jakub Jelinek <jakub@redhat.com> + + PR c++/55652 + * g++.dg/cpp0x/noexcept19.C: New test. + 2012-12-13 Richard Biener <rguenther@suse.de> PR lto/55660 diff --git a/gcc/testsuite/g++.dg/cpp0x/noexcept19.C b/gcc/testsuite/g++.dg/cpp0x/noexcept19.C new file mode 100644 index 0000000..12ff86e --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/noexcept19.C @@ -0,0 +1,29 @@ +// PR c++/55652 +// { dg-do compile } +// { dg-options "-std=c++11" } + +template <typename T> +struct A +{ + static const bool a = false; +}; + +template <typename X, typename Y = A <X>> +struct B +{ + B () noexcept (A <Y>::a) {} +}; + +template <typename X, typename Y> +struct C +{ + X x; + Y y; +}; + +struct D +{ + D () throw (int); +}; + +C <D, B <D>> c; |