diff options
| author | Marek Polacek <polacek@redhat.com> | 2017-01-04 17:47:04 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2017-01-04 17:47:04 +0000 |
| commit | baf9ebc8cc9c34becea5be1146c48e2cb99d2ea5 (patch) | |
| tree | 1e8977eb530936cd4c8f16bac4c5909d6bd3524b /gcc | |
| parent | 5dd9a9d0c9294455077ba6401701fd3566dcf07c (diff) | |
| download | gcc-baf9ebc8cc9c34becea5be1146c48e2cb99d2ea5.zip gcc-baf9ebc8cc9c34becea5be1146c48e2cb99d2ea5.tar.gz gcc-baf9ebc8cc9c34becea5be1146c48e2cb99d2ea5.tar.bz2 | |
re PR c++/77545 (ICE on valid C++11 code: in potential_constant_expression_1, at cp/constexpr.c:5480)
PR c++/77545
PR c++/77284
* constexpr.c (potential_constant_expression_1): Handle CLEANUP_STMT.
* g++.dg/cpp0x/range-for32.C: New test.
* g++.dg/cpp0x/range-for33.C: New test.
From-SVN: r244062
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/constexpr.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/range-for32.C | 16 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/range-for33.C | 14 |
5 files changed, 44 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 71aada7..48061a0 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2017-01-04 Marek Polacek <polacek@redhat.com> + + PR c++/77545 + PR c++/77284 + * constexpr.c (potential_constant_expression_1): Handle CLEANUP_STMT. + 2017-01-04 Nathan Sidwell <nathan@acm.org> PR c++/66735 diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c index 1e83b0b..a3dec68 100644 --- a/gcc/cp/constexpr.c +++ b/gcc/cp/constexpr.c @@ -5661,6 +5661,7 @@ potential_constant_expression_1 (tree t, bool want_rval, bool strict, /* We can see these in statement-expressions. */ return true; + case CLEANUP_STMT: case EMPTY_CLASS_EXPR: return false; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8ad3017..d8ff32f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2017-01-04 Marek Polacek <polacek@redhat.com> + + PR c++/77545 + PR c++/77284 + * g++.dg/cpp0x/range-for32.C: New test. + * g++.dg/cpp0x/range-for33.C: New test. + 2017-01-04 David Malcolm <dmalcolm@redhat.com> * gcc.dg/Wmissing-braces-fixits.c: New test case. diff --git a/gcc/testsuite/g++.dg/cpp0x/range-for32.C b/gcc/testsuite/g++.dg/cpp0x/range-for32.C new file mode 100644 index 0000000..375a707 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/range-for32.C @@ -0,0 +1,16 @@ +// PR c++/77545 +// { dg-do compile { target c++11 } } +// { dg-options "-Wno-pedantic" } + +template < typename T > struct A +{ + A (); + ~A (); + T t; +}; + +void f (A < int > a) +{ + for (auto x : (A<int>[]) { a }) + ; +} diff --git a/gcc/testsuite/g++.dg/cpp0x/range-for33.C b/gcc/testsuite/g++.dg/cpp0x/range-for33.C new file mode 100644 index 0000000..206f36e --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/range-for33.C @@ -0,0 +1,14 @@ +// PR c++/77284 +// { dg-do compile { target c++11 } } + +#include <initializer_list> + +struct A +{ + ~A () {} +}; + +void foo (A & v) +{ + for (A a : { v }) {}; +} |