[Cfp-interest 2924] updated suggested change for action item about UB in TS-18661 part 5

[Jim Thomas]

The previous suggested changes neglected to remove the statements about undefined behavior.

Below are suggested changes to address the action item:

>   For TS-18661 part 5, for FP_{FLT,DEC}_EVAL_METHOD "Use of unsupported values of width" UB, make it diagnosed rather than UB. Ex. As a constraint violation (needs a new constraints section).

- Jim Thomas


Referring to N3164 (TS-5) …

Page 3, before line 28
Insert:

Constraints

The width parameter shall be -1, 0, DEFAULT, or another value supported by the implementation.

Page 4, line 5
Remove the sentence:

Use of unsupported values of width results in undefined behavior.

Page 4, before line 19
Insert:

Constraints

The width parameter shall be -1, 1, DEFAULT, or another value supported by the implementation.

Page 4, line 32
Remove the sentence:

Use of unsupported values of width results in undefined behavior.

Page 6, lines 19-21
Remove:

Recommended practice
If the value of width appearing in an evaluation method pragma (7.1, 7.2) is not supported, the implementation is encouraged to issue a diagnostic message.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20231017/407f6258/attachment.htm>