[Cfp-interest 2817] Re: CFP review of TS-5 revisions

[Fred J. Tydeman]

On Sun, 6 Aug 2023 08:58:54 -0700 Jim Thomas wrote:
>
>https://wiki.edg.com/pub/CFP/WebHome/cfp5r-20230806.pdf

Fred's comments on 18661-5r

References to 'page' are printed page numbers.

5.1 page 2, line 9:  Is there a problem with freestanding conformance
and the use of <math.h> for the #pragmas?

7.1 page 4, line 4 and line 31.  If width is not supported, I think it
should be a constraint violation (that ends translation).

For both FP_FLT_EVAL_METHOD and FP_DEC_EVAL_METHOD, what are their
conditions at the start of translation?  Need to know so can restore
at end of compound statement.  That is:  The default state of the pragma is ...

7.3 page 5, line 3.  Why in <math.h> instead of <float.h>?

8.0 page 6, line 30. To me, "operators" are part of user code.

For all of the 8.* pragmas, what are their conditions at the start of
translation?  Need to know so can restore at end of compound
statement.  That is:  The default state of the pragma is ...

Why <math.h> for these 8.* pragmas?

8.5 Do we need to anything about the sign of the zero (same as sign of
subnormal or unspecified)?

8.6, 8.7 Should some words be added on how is these are subset of
FP_CONTRACT?  Or, perhaps, have 8.8 come before 8.6 and 8.7.

10.1 page 16, line 7:  Do we need to list all the logarithm functions?

10.1 page 16, last line:  Should something like this be added:
The default state of the pragma is DEFAULT FE_ALL_EXCEPT.

10.1 page 20, line 18:  Shift to left to match other #pragma.

10.1 page 21, table: Do not understand why f[0] is not 2.0 for
try-catch case.  Page 22 lines 9-10 have some words.  Perhaps, we need
to add:  Sequence points may not be honored for try-catch.




---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (702) 608-6093      Vice-chair of INCITS/C (ANSI "C")
Sample C17+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.