
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>EXAMPLE 3 in 6.7.13.8.3 (in N3467) seems wrong. I understand that if a function is declared with the <font face="Courier New">[[reproducible]]</font> attribute then the compiler can elide repeated calls with the same arguments. But two such calls to the <font face="Courier New">distance</font> function in the example could not be elided if status flags are cleared after the first call and tested after the second. The function can raise “overflow”, “underflow”, and “inexact” floating-point exceptions.<br><br>- Jim Thomas<br></div></body></html>