https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Unless I'm misreading ipa-split.c, it seems it is unprepared to see addressable retvals with gimple reg type, but where due to the addressability retval is not is_gimple_val. Unfortunately, it doesn't seem to be just a single spot, but tons of them. I'm afraid with right testcases we could end up e.g. with addressable int var on the lhs of a call, or as base of a MEM, etc. Richard, can you please have a look?