And just for reference, yes, GCC does call the libc function. But that doesn't seem like useful behavior to me, and we have survived quite some time without this. http://reviews.llvm.org/D3806