From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Fri, 21 Jun 2019 21:58:19 +0000 (+0000)
Subject: re PR c++/90909 (call devirtualized to pure virtual)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fd4e7255b60901581961b62e364ce85baf52d631;p=gcc.git

re PR c++/90909 (call devirtualized to pure virtual)

2019-06-21  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/90909
	* g++.dg/other/final7.C: New.

From-SVN: r272576
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5e94d9a8338..72dcea8a4d2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-06-21  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/90909
+	* g++.dg/other/final7.C: New.
+
 2019-06-21  Jakub Jelinek  <jakub@redhat.com>
 
 	* g++.dg/vect/simd-2.cc: Don't xfail, instead expect vectorization on
diff --git a/gcc/testsuite/g++.dg/other/final7.C b/gcc/testsuite/g++.dg/other/final7.C
new file mode 100644
index 00000000000..43ab7baae97
--- /dev/null
+++ b/gcc/testsuite/g++.dg/other/final7.C
@@ -0,0 +1,11 @@
+// PR c++/90909
+// { dg-do run { target c++11 } }
+
+#include <cassert>
+
+struct S1 { virtual bool f() { return false; } };
+struct S2: S1 { virtual bool f() { return true; } };
+struct S3: S2 { using S1::f; };
+struct S4 final: S3 { void g(); };
+void S4::g() { assert (f() == true); }
+int main() { S4().g(); }