https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Or the ranger could do it itself, similarly to how it handles .ASSUME, but without actually querying anything but the global range of the return value if any. Though, doing that in the range means that we won't know ranges of functions which with LTO are in a different partition, while doing it as IPA optimization could allow even that to work.