https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56955
--- Comment #19 from rguenther at suse dot de <rguenther at suse dot de> --- On May 21, 2014 5:14:27 PM CEST, eggert at gnu dot org <gcc-bugzi...@gcc.gnu.org> wrote: >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? No, it has not. Richard.