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

[Nikita Popov via Phabricator via cfe-commits]

nikic added a comment.

Sorry for the delay, this took more time than expected. I've created an initial draft here: https://docs.google.com/document/d/1guH_HgibKrX7t9JfKGfWX2UCPyZOTLsnRfR6UleD1F8/edit?usp=sharing

While writing this I remembered another bit that is somewhat relevant here: Clang explicitly ignores the nonnull attributes on declarations in order to avoid miscompilations for uses of these libc functions. There are sanitizer checks for them, but Clang will not optimize based on nonnull assumptions, even if a libc implementation is used that adds the attributes.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86993