https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94629
--- Comment #18 from Martin Liška <marxin at gcc dot gnu.org> --- The code in ipa_polymorphic_call_context::set_by_invariant seems fishy. It's there since the beginning: r5-3634-g6f8091fc3ed9d3cfa7a6dee7e9f9a34eb4308b2a. @Honza: Can you please take a look?