[PATCH] D86993: Document Clang's expectations of the C standard library.

[John McCall via Phabricator via cfe-commits]

rjmccall added a comment.

You can't just consider the declared function signatures; `memcpy`ing two non-empty objects with perfect overlap is a violation of `restrict`, and yet IIRC GCC is known to assume that that works in some places.  (I can't duplicate that off-hand, though — GCC seems determined to generate inlined `memcpy`s in my quick efforts to test this.)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86993/new/

https://reviews.llvm.org/D86993