https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124406
--- Comment #13 from Jan Hubicka <hubicka at gcc dot gnu.org> --- For calls of interposable function, the result of ipa-pure-const are not used. So this is why we are trying to skip it. ipa-pure-const will detect the property, will call i.e. set_nothrow_flag which will do nothing since the symbol is interposable. I think we simply want to drop the flag_lto check. LTO only makes a difference for ipa-pure-const, but not for local one and this is gating local pure const. Looking at history, this is a result of commonising the lto/non-LTO path and then separating it again. Honza
