https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109112
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
There is nothing odd on it. The extra optimization information assume provides
is right now used solely by value range propagation and that works only on
scalars. For anything else, the assumptions are noted but for now nothing
takes advantage of them. And it will take a while before that changes.
Assumptions provide optimization hints, the compiler isn't required to make use
of them. There will always be assumptions which compiler won't be able to do
anything with them.
