From: Jason Merrill <jason@redhat.com>
Date: Thu, 16 Mar 2017 21:16:33 +0000 (-0400)
Subject: re PR c++/79797 (ICE with NSDMI, this pointer  and constexpr)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fbd603c43d7315bf2b29880548cb80ef4d8f62cd;p=gcc.git

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 e5fa93aefb3..99836fbaeea 100644
--- 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 2510e23e61b..4136b349282 100644
--- 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;