https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64139
--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> --- And by the way, neither ipa-cp nor ipa-prop invents anything funny here. It feeds ipa-devirt exactly the same context that it created in ipa_compute_jump_functions_for_edge (i.e. that the constructor created for the call argument).