https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110052
Alexander Monakov <amonakov at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amonakov at gcc dot gnu.org --- Comment #1 from Alexander Monakov <amonakov at gcc dot gnu.org> --- That would be an invalid transform because 'myrealloc' might check its third argument ('size') for equality against some other pointer (e.g. in some global variable, or even the first argument) and change behavior based on the outcome.