[cfp-interest 3636] Re: occurs vs shall occur

[Vincent Lefevre]

On 2025-09-26 17:59:43 +0800, Fred J. Tydeman wrote:
> In at least 7.12.12.1 fdim, there is:
> 
> A range error occurs for some finite arguments.
> 
> Would it be better as:
> 
> A range error shall occur for some finite arguments.

I don't think that this is correct. The use of "shall" needs
well-defined conditions.

Moreover, this is here not a requirement, just an observation
about something that is already defined[*]: this is just the
consequence of a possible overflow. I think that this should
just be a note.

[*] 7.12.1 says "a range error can occur if and only if the result
overflows or underflows".

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)