[cfe-dev] [LLVMdev] RFC: Adding attribute(nonnull) to things in libc++

Joerg Sonnenberger 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.

Joerg



More information about the cfe-dev mailing list