[LLVMdev] [cfe-dev] 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 llvm-dev
mailing list