https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87736
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-10-24
CC| |msebor at gcc dot gnu.org
Component|c++ |middle-end
Depends on| |87731
Ever confirmed|0 |1
Severity|normal |enhancement
--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
Something like this is probably necessary for a robust implementation of
pr87731. It won't do much in GCC on its own, though it could be used by third
party static analyzers (that suggests that we might want to consider adopting
one or more existing forms of annotations already recognized by such tools).
This is also a general mechanism, not one specific to C++, so changing
Component to middle-end.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87731
[Bug 87731] Detection of mismatched alloc/free pairs
