https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122779
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org,
| |jmelcr at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is a dup of the missing IPA support (especialy IPA-SRA) for IFN_ASSUME
calls.
The two are fundamentally very different things because if evaluation of x has
any side-effects (and for the function calls you've mentioned that can be
determined only after inlining them all), then the __builtin_unreachable() case
evaluates those side-effects, while [[assume(x)]] doesn't.
