Commit 8924e9dd by Paolo Carlini

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

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

	PR c++/90909
	Revert:
	2019-05-21  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/67184
	PR c++/69445
	* call.c (build_over_call): Devirtualize when the final overrider
	comes from the base.

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

	PR c++/90909
	Revert:
	2019-05-21  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/67184
	PR c++/69445
	* g++.dg/other/final3.C: New.
	* g++.dg/other/final4.C: Likewise.
	* g++.dg/other/final5.C: Likewise.

	* g++.dg/other/final6.C: New.

From-SVN: r272574
parent f70d81ba
// PR c++/67184
// { dg-do compile { target c++11 } }
// { dg-options "-fdump-tree-original" }
struct V {
virtual void foo();
};
struct wV final : V {
};
struct oV final : V {
void foo();
};
void call(wV& x)
{
x.foo();
x.V::foo();
}
void call(oV& x)
{
x.foo();
x.V::foo();
}
// { dg-final { scan-tree-dump-times "OBJ_TYPE_REF" 0 "original" } }
// PR c++/67184
// { dg-do compile { target c++11 } }
// { dg-options "-fdump-tree-original" }
struct B
{
virtual void operator()();
virtual operator int();
virtual int operator++();
};
struct D final : B { };
void foo(D& d) { d(); int t = d; ++d; }
// { dg-final { scan-tree-dump-times "OBJ_TYPE_REF" 0 "original" } }
// PR c++/69445
// { dg-do compile { target c++11 } }
// { dg-options "-fdump-tree-original" }
struct Base {
virtual void foo() const = 0;
virtual void bar() const {}
};
struct C final : Base {
void foo() const { }
};
void func(const C & c) {
c.bar();
c.foo();
}
// { dg-final { scan-tree-dump-times "OBJ_TYPE_REF" 0 "original" } }
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment