https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92528
--- Comment #8 from Martin Jambor <jamborm at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #6) > There is no need to clear polymorphic call context. It does not refer to the > parameters of caller. If it was valid for all possible contexts it is still > valid. > > So I think ipa_set_jf_unknown shall not clear bits and m_vr. I agree, it should not, scalar UNKNOWN is not necessarily related to the non-scalar bits. I'll put that to my TODO-list (but feel free to move it out before I do :-)