aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2015-06-11 11:45:08 -0400
committerJason Merrill <jason@gcc.gnu.org>2015-06-11 11:45:08 -0400
commit133bc698cb8f42e3655fc68fee19c62fd18d98f7 (patch)
treea7f47c02064f13ba211155bec11f1c616d004ee1 /gcc
parentacb2970c3bdf4cfd81954278d28f53adcffab99c (diff)
downloadgcc-133bc698cb8f42e3655fc68fee19c62fd18d98f7.zip
gcc-133bc698cb8f42e3655fc68fee19c62fd18d98f7.tar.gz
gcc-133bc698cb8f42e3655fc68fee19c62fd18d98f7.tar.bz2
re PR c++/66445 (ICE with lambda in stmt expression in a template)
PR c++/66445 * constexpr.c (potential_constant_expression_1): Handle a DECL_EXPR of TYPE_DECL. From-SVN: r224382
Diffstat (limited to 'gcc')
-rw-r--r--gcc/cp/ChangeLog4
-rw-r--r--gcc/cp/constexpr.c5
-rw-r--r--gcc/testsuite/g++.dg/ext/stmtexpr18.C7
3 files changed, 16 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index b6fdc10..23c8deb 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
2015-06-11 Jason Merrill <jason@redhat.com>
+ PR c++/66445
+ * constexpr.c (potential_constant_expression_1): Handle a
+ DECL_EXPR of TYPE_DECL.
+
PR c++/66450
* constexpr.c (cxx_eval_store_expression): Avoid messing up outer
ctx->ctor.
diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c
index af6b39e..5dc59a4 100644
--- a/gcc/cp/constexpr.c
+++ b/gcc/cp/constexpr.c
@@ -4462,6 +4462,11 @@ potential_constant_expression_1 (tree t, bool want_rval, bool strict,
}
return false;
+ case TYPE_DECL:
+ case TAG_DEFN:
+ /* We can see these in statement-expressions. */
+ return true;
+
default:
if (objc_is_property_ref (t))
return false;
diff --git a/gcc/testsuite/g++.dg/ext/stmtexpr18.C b/gcc/testsuite/g++.dg/ext/stmtexpr18.C
new file mode 100644
index 0000000..d9b99bf
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/stmtexpr18.C
@@ -0,0 +1,7 @@
+// PR c++/66445
+// { dg-options "" }
+
+template <typename> void foo ()
+{
+ int a = ({ struct A{} b; 42; });
+}