efriedma added a comment.

I think you're understanding the semantics correctly.

For r265521, look again at the implementation of 
llvm::checkUnaryFloatSignature; if "I.onlyReadsMemory()" is true, we somehow 
proved the call doesn't set errno (mostly likely because we know something 
about the target's libm).


https://reviews.llvm.org/D39204



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to