https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31279
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2012-02-02 00:00:00 |2019-2-24
CC| |msebor at gcc dot gnu.org
Depends on| |83859
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
I have implemented three attributes: read_only, read_write, and write_only.
They take two arguments: one refers to the pointer function parameter and the
other to the size of the object the pointer points to. See bug 83859. Besides
warning, they can also be used for optimization. I'm hoping to submit the
feature for GCC 10.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83859
[Bug 83859] Please add new attribute which will establish relation between
parameters for buffer and its size
