[cfp-interest 3437] [[reproducible]] EXAMPLE 3 in 6.7.13.8

[Jim Thomas]

EXAMPLE 3 in 6.7.13.8.3 (in N3467) seems wrong. I understand that if a function is declared with the [[reproducible]] attribute then the compiler can elide repeated calls with the same arguments. But two such calls to the distance 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.

- Jim Thomas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20250414/1b3e6058/attachment-0001.htm>