https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56955
--- Comment #18 from Paul Eggert <eggert at gnu dot org> ---
(In reply to Richard Biener from comment #16)
> void foo (int *p)
> {
> int *q = realloc (p, sizeof (int));
> *q = 2;
> }
>
> may I remove the store *q = 2 as dead?
Yes, the consensus nowadays is that you can.
I'll be happy to send the proposed change to gcc-patches but would like to be
sure it's correct first. Has this new information about realloc changed your
opinion about whether realloc can be given the malloc attribute?
