[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-12-03 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-12-03 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 --- Comment #13 from CVS Commits --- The master branch has been updated by Martin Sebor : https://gcc.gnu.org/g:dce6c58db87ebf7f4477bd3126228e73e497 commit r11-5732-gdce6c58db87ebf7f4477bd3126228e73e497 Author: Martin Sebor Date: Thu

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-11-13 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 --- Comment #12 from Martin Sebor --- David Malcolm: I went with "overloading" attribute malloc in my patch for the reasons I explained my comments on your patch and in the patch submission email. I'm open to changing the name (or the associatio

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-11-13 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 --- Comment #11 from Martin Sebor --- Patch: https://gcc.gnu.org/pipermail/gcc-patches/2020-November/559053.html

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-10-26 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-10-06 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org --- Comment

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-04-08 Thread torva...@linux-foundation.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 --- Comment #8 from Linus Torvalds --- (In reply to Jonathan Wakely from comment #6) > I can see uses that aren't just "frees the memory", e.g. after fclose and > close any further uses of their argument are probably errors. The close case > is i

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-04-08 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 Martin Sebor changed: What|Removed |Added Status|NEW |ASSIGNED Target Milestone|---

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-04-08 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 --- Comment #6 from Jonathan Wakely --- I can see uses that aren't just "frees the memory", e.g. after fclose and close any further uses of their argument are probably errors. The close case is interesting because it's not a pointer argument.

[Bug middle-end/94527] RFE: Add an __attribute__ that marks a function as freeing an object

2020-04-07 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527 Richard Biener changed: What|Removed |Added Component|tree-optimization |middle-end --- Comment #5 from Richard