https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32667
--- Comment #16 from Patrick J. LoPresti <lopresti at gmail dot com> --- Well, Valgrind itself is another real-world example. Tools like Valgrind cannot distinguish invalid memcpy() calls by the programmer from invalid memcpy() calls emitted by GCC. You can, of course, redefine every standard interface you like and simply document it. That would be awful engineering -- as in this case -- but you could do it.
