https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56727
--- Comment #8 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Well, if my argument is correct, then GCC generates wrong code for the very first example in comment #0. If that is deliberate as a compromise even though otherwise GCC suppresses optimizations to honor possible ELF interposition, I think this ought to be documented? To my knowledge, that is the sole instance where optimization doesn't fully honor ELF interposition possibility.