[Bug middle-end/87731] Detection of mismatched alloc/free pairs

[msebor at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87731

Martin Sebor  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
   Target Milestone|--- |11.0
 Resolution|--- |FIXED

--- Comment #8 from Martin Sebor  ---
Implemented for GCC 11 in r11-5732.

[Bug middle-end/87731] Detection of mismatched alloc/free pairs

[msebor at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87731

Martin Sebor  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |msebor at gcc dot 
gnu.org
   See Also||https://gcc.gnu.org/bugzill
   ||a/show_bug.cgi?id=80532

--- Comment #7 from Martin Sebor  ---
Testing a prototype patch (see also pr80532).

[Bug middle-end/87731] Detection of mismatched alloc/free pairs

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87731

Martin Sebor  changed:

   What|Removed |Added

   See Also||https://gcc.gnu.org/bugzill
   ||a/show_bug.cgi?id=91582

--- Comment #6 from Martin Sebor  ---
See also pr91582 for a related project (the detection could be done in the
strlen pass that's being enhanced to track dynamic memory allocation, or it
could be done in a separate pass of its own, at the cost of duplicating some
functionality).

[Bug middle-end/87731] Detection of mismatched alloc/free pairs

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87731

Martin Sebor  changed:

   What|Removed |Added

  Component|c++ |middle-end
   Severity|normal  |enhancement

--- Comment #5 from Martin Sebor  ---
Like pr87736, this is also a general mechanism, not one specific to C++, so
changing Component to middle-end.