[cfe-dev] [LLVMdev] RFC: Adding attribute(nonnull) to things in libc++
joerg at britannica.bec.de
Mon Jun 1 14:14:15 PDT 2015
On Mon, Jun 01, 2015 at 10:52:20AM -0700, Marshall Clow wrote:
> P.S. recent gcc (at least 4.8.x and later) make optimizations based on
> this UB (i.e, if you pass a pointer to memcpy, then it can't be NULL).
BTW, this seems to be more an issue with glibc adding the tagging and
not behavior of GCC itself.
More information about the cfe-dev