re PR c++/79797 (ICE with NSDMI, this pointer and constexpr)

	PR c++/79797
	* constexpr.c (lookup_placeholder): Tweak.

From-SVN: r246210

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e5fa93aefb34c949ce5e73ad19d06700d8aa3927..99836fbaeea83511c77de6a15f8db7050562f4cc 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-16  Jason Merrill  <jason@redhat.com>
+
+       PR c++/79797
+       * constexpr.c (lookup_placeholder): Tweak.
+
 2017-03-15  Jason Merrill  <jason@redhat.com>
 
        PR c++/80043 - ICE with -fpermissive

diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c
index 2510e23e61bbff115c81bad79a5cd8854f20041b..4136b349282f99481e83a8261e616c18d0d88589 100644 (file)
--- a/gcc/cp/constexpr.c
+++ b/gcc/cp/constexpr.c
@@ -3832,14 +3832,17 @@ cxx_eval_switch_expr (const constexpr_ctx *ctx, tree t,
 static tree
 lookup_placeholder (const constexpr_ctx *ctx, bool lval, tree type)
 {
-  if (!ctx || !ctx->ctor || (lval && !ctx->object))
+  if (!ctx)
     return NULL_TREE;
 
   /* We could use ctx->object unconditionally, but using ctx->ctor when we
      can is a minor optimization.  */
-  if (!lval && same_type_p (TREE_TYPE (ctx->ctor), type))
+  if (!lval && ctx->ctor && same_type_p (TREE_TYPE (ctx->ctor), type))
     return ctx->ctor;
 
+  if (!ctx->object)
+    return NULL_TREE;
+
   /* Since an object cannot have a field of its own type, we can search outward
      from ctx->object to find the unique containing object of TYPE.  */
   tree ob = ctx->object;