https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114985
--- Comment #14 from Jan Hubicka <hubicka at gcc dot gnu.org> --- So this is problem in ipa_value_range_from_jfunc? It is Maritn's code, I hope he will know why types are wrong here. Once can get type compatibility problem on mismatched declarations and LTO, but it seems that this testcase is single-file. So indeed this looks like a bug either in jump function construction or even earlier...