diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2019-06-21 21:58:19 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2019-06-21 21:58:19 +0000 |
| commit | fd4e7255b60901581961b62e364ce85baf52d631 (patch) | |
| tree | 885106ec835d2d875e0d881f9481acb58896887e /gcc | |
| parent | c13c129f8f49b41184f5b1c4b64d76d67db90dae (diff) | |
| download | gcc-fd4e7255b60901581961b62e364ce85baf52d631.zip gcc-fd4e7255b60901581961b62e364ce85baf52d631.tar.gz gcc-fd4e7255b60901581961b62e364ce85baf52d631.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/other/final7.C | 11 |
2 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5e94d9a..72dcea8 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 0000000..43ab7ba --- /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(); } |