class.c (resolves_to_fixed_type_p): Check CLASSTYPE_FINAL.
authorJason Merrill <jason@redhat.com>
Tue, 25 Jun 2019 16:15:40 +0000 (12:15 -0400)
committerJason Merrill <jason@gcc.gnu.org>
Tue, 25 Jun 2019 16:15:40 +0000 (12:15 -0400)
commita4cc28287993320b4550a8a1d3842172d41b8d1c
tree5cab53c6ed870a1e647482ffeca76676911c19e1
parent27bb6f7c4775b6dc554811eec9597511e2d38973
class.c (resolves_to_fixed_type_p): Check CLASSTYPE_FINAL.

* class.c (resolves_to_fixed_type_p): Check CLASSTYPE_FINAL.

If we have a pointer to final class, we know the dynamic type of the object
must be that class, because it can't have any derived classes.

From-SVN: r272656
gcc/cp/ChangeLog
gcc/cp/class.c
gcc/testsuite/g++.dg/tree-ssa/final1.C [new file with mode: 0644]