https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123619
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jan Hubicka <[email protected]>: https://gcc.gnu.org/g:fe050fa9d1249a7a528a30a499d1abc23f47f2c8 commit r16-7075-gfe050fa9d1249a7a528a30a499d1abc23f47f2c8 Author: Jan Hubicka <[email protected]> Date: Tue Jan 27 19:18:13 2026 +0100 Remove impossible speculation in ipa_polymorphic_call_context::possible_dynamic_type_change This patch makes ipa-cp dataflow monotone by making sure we do not use speculation that was proved to be impossible earlier. gcc/ChangeLog: PR ipa/123619 * ipa-polymorphic-call.cc (ipa_polymorphic_call_context::possible_dynamic_type_change): Remove impossible speuculation.
