This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug other/56955] documentation for attribute malloc contradicts itself
- From: "eggert at gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 21 May 2014 15:14:27 +0000
- Subject: [Bug other/56955] documentation for attribute malloc contradicts itself
- Auto-submitted: auto-generated
- References: <bug-56955-4 at http dot gcc dot gnu dot org/bugzilla/>
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?