https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
--- Comment #11 from Jan Hubicka ---
Fixed on mainline with r:0f2c7ccd14a29a8af8318f50b8296098fb0ab218
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
--- Comment #10 from Jan Hubicka ---
Created attachment 53430
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53430=edit
Patch I am testing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
--- Comment #9 from Jan Hubicka ---
Thanks for looking into this.
What happens here is that we start working from a call where we know that
outer_type is BA. We correctly find the BA::type and notice that it is final
and thus we do not need
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
--- Comment #8 from Xionghu Luo (luoxhu at gcc dot gnu.org) ---
The relationship is:
A A::type
|
| |
BA BA::type CACA::type
|
CBA CBA::type
class CA and CBA are final, also function CA::type and BA::type are
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
--- Comment #7 from Richard Biener ---
Honza?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
Jakub Jelinek changed:
What|Removed |Added
Target Milestone|10.4|10.5
--- Comment #6 from Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101839
Richard Biener changed:
What|Removed |Added
Target Milestone|9.5 |10.4
--- Comment #5 from Richard