https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123160
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
On the other side, one could argue that ECF_RET1 is a pure optimization thing
and unless the compiler optimizes hard, when you use the return value of
memcpy/memset etc. and call objsz on that what exact subobject it points to can
be lost. Definitely older versions of gcc wouldn't be able to track that, I
bet they'd return a don't know value in those cases (all ones or 0 depending on
mode).