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

[Joerg Sonnenberger]

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