aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2017-08-02 09:28:21 +0200
committerJakub Jelinek <jakub@gcc.gnu.org>2017-08-02 09:28:21 +0200
commite4f0733af41d5fa2035f6eceb24a74ccba13afcf (patch)
treef01a1db155b779b4ad8d878c8fe5bbfb4771c573
parent349721b7de62e4b30a7ecfd7cb157bfcb73e738d (diff)
downloadgcc-e4f0733af41d5fa2035f6eceb24a74ccba13afcf.zip
gcc-e4f0733af41d5fa2035f6eceb24a74ccba13afcf.tar.gz
gcc-e4f0733af41d5fa2035f6eceb24a74ccba13afcf.tar.bz2
re PR c++/81640 (ICE in lookup_fnfields_slot_nolazy w/ -Wshadow=compatible-local)
PR c++/81640 * call.c (build_user_type_conversion_1): Only call lookup_fnfields_slot if totype is CLASS_TYPE_P. * g++.dg/warn/Wshadow-compatible-local-2.C: New test. From-SVN: r250816
-rw-r--r--gcc/cp/ChangeLog6
-rw-r--r--gcc/cp/call.c2
-rw-r--r--gcc/testsuite/ChangeLog3
-rw-r--r--gcc/testsuite/g++.dg/warn/Wshadow-compatible-local-2.C21
4 files changed, 31 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 03a9d08..8be4294 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2017-08-02 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/81640
+ * call.c (build_user_type_conversion_1): Only call
+ lookup_fnfields_slot if totype is CLASS_TYPE_P.
+
2017-07-31 Jason Merrill <jason@redhat.com>
* decl.c (declare_global_var): Set DECL_CONTEXT.
diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index e74d48d..f633fa5 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -3735,7 +3735,7 @@ build_user_type_conversion_1 (tree totype, tree expr, int flags,
gcc_assert (!MAYBE_CLASS_TYPE_P (fromtype) || !MAYBE_CLASS_TYPE_P (totype)
|| !DERIVED_FROM_P (totype, fromtype));
- if (MAYBE_CLASS_TYPE_P (totype))
+ if (CLASS_TYPE_P (totype))
/* Use lookup_fnfields_slot instead of lookup_fnfields to avoid
creating a garbage BASELINK; constructors can't be inherited. */
ctors = lookup_fnfields_slot (totype, complete_ctor_identifier);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 41ccd0d..142e4de 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
2017-08-02 Jakub Jelinek <jakub@redhat.com>
+ PR c++/81640
+ * g++.dg/warn/Wshadow-compatible-local-2.C: New test.
+
PR middle-end/79499
* gcc.dg/pr79499.c: New test.
diff --git a/gcc/testsuite/g++.dg/warn/Wshadow-compatible-local-2.C b/gcc/testsuite/g++.dg/warn/Wshadow-compatible-local-2.C
new file mode 100644
index 0000000..da8f43b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wshadow-compatible-local-2.C
@@ -0,0 +1,21 @@
+// PR c++/81640
+// { dg-do compile }
+// { dg-options "-Wshadow=compatible-local" }
+
+struct A {};
+struct B { operator bool () const { return true; } };
+
+template <typename T>
+void
+foo ()
+{
+ T d, e;
+ if (e)
+ A d;
+}
+
+void
+bar ()
+{
+ foo <B> ();
+}